4 ms·
Why not give Pierce’s “Types and programming languages” a spin?
by mietek 9y ago
Why not give Pierce’s “Types and programming languages” a spin?
- cardiffspaceman 9y agoI agree, for sufficiently large values of step. This book could change your life. But I think the C4 self-hosted C compiler (discussed at [1]) might be another next step in a different direction. [1] https://news.ycombinator.com/item?id=8558822 https://news.ycombinator.com/item?id=8558822
- jwdunne 9y agoThis intuitively makes a lot of sense. The short variable names with the legend at the top makes it a little harder to understand but you can see what's going on from a macroscopic view. Perhaps translating this to another language with clearer variable names would be a good exercise for me.
- jwdunne 9y agoI've been working through this book. It's difficult to get through, I'll admit, at my stage. Is there anything you'd recommend as a supplement?