CTM. Could be labelled as SICP's sequel.
https://mitpress.mit.edu/books/concepts-techniques-and-model...
71–80 of 201 posts
CTM. Could be labelled as SICP's sequel.
https://mitpress.mit.edu/books/concepts-techniques-and-model...
CTM. Could be labelled as SICP's sequel.
https://mitpress.mit.edu/books/concepts-techniques-and-model...
Type-driven development with Idris ( https://www.manning.com/books/type-driven-development-with-i... ). It was a real eye-opener of what types can do.
I've been looking at this but I don't really know Haskell (just f#). In your opinion is it worth trying before knowing a Haskell? I'm mostly interested because I wish to learn f-star as well, which also has dependent types.
The Elements of Computing Systems: Building a Modern Computer from First Principles by Noam Nisan and Shimon Schocken Basically it has you hands on work through the basics of every concept active in a modern computer save for networks and web. You use software tools provided with the book to design memory, ALUs, intepreters, VMs, compilers Operating Systems and applications. Available as a free online class at http:/…
https://en.wikipedia.org/wiki/The_Mythical_Man-Month
It was written 40 years ago, but it is still relevant to today. Its so important to think about how to build effective engineering teams.
Like others in this thread, this is more (only, in fact) about programming but I found The Go Programming Language to be an absolutely perfect introduction to Go with fantastic examples and succinct prose. It's beautifully typeset as well, which doesn't hurt. http://www.gopl.io ISBN: 978-0134190440
The Elements of Computing Systems: Building a Modern Computer from First Principles by Noam Nisan and Shimon Schocken Basically it has you hands on work through the basics of every concept active in a modern computer save for networks and web. You use software tools provided with the book to design memory, ALUs, intepreters, VMs, compilers Operating Systems and applications. Available as a free online class at http:/…
Engineering a Compiler 2nd Ed by Cooper & Torczon I used it to supplement my prescribed compiler construction textbook and it's incredibly useful! Also surprisingly easy to read compared to some texts with a very math-heavy approach.
This book was my greatest buy ever! I once went to Fry's electronics to their book section - my expectation was to find only popular books there, when lo and behold, I see this book on compilers. I turn it over to look at the price tag, thinking I'll have to shell out something like $80 for the book and to my shock and surprise the tag says,... wait for it... $0.01 That's right one cent! At first I think this is some…
For anyone interested in other books on compiler construction, I would recommend these:
- "The Basics of Compiler Design" by Torben Mogensen
- "Modern Compiler Implementation in C" by Andrew Appel (ML and Java versions available too)
- "Modern Compiler Design" by Grune, Bal et al.
The Dragon Book is obviously infamous for this topic, but I would recommend covering at least two slightly more basic texts before taking it on.