There's an expectation that you're following along and typing nearly every line into the appropriate REPL. I found this difficult to do while juggling the hardcopies and not any easier on an ebook reader -- I could stop worrying about cracking the spine but the digital copies I sampled or purchased always completely ruined the typesetting. All the REPL interactions are transcribed as images, and the constant focus-and-pinch-zoom disrupts the engagement.
I ended up just reading through and hoping to catch enough of the gist of things then doing my usual side-project-as-learning instrument thing. I hope somebody tries to build an interactive playground for this book or the Little Learner, complete with guiding dialog.
The typesetting in the hardcopies is really unique and impressive.
1: Terence Parr's chapter "Enforcing Static Typing Rules" from Language Design Patterns.
2: Eli Bendersky's Python implementation of Hindley-Milner type inference.
--
1: https://pragprog.com/titles/tpdsl/language-implementation-pa...
https://news.ycombinator.com/item?id=18046745 - Sept 22, 2018 (132 comments)
https://news.ycombinator.com/item?id=31465368 - May 22, 2022 (23 comments)
https://news.ycombinator.com/item?id=33162971 - Oct 11, 2022 (96 comments)
Here is the result of my research so far, in order of preference according to the above requirements:
Guile: most active community, GNU glue language, Guix
Chicken: most pragmatic one with a package manager but older
Chez: most performant one, less active community and libraries
>..I’ve been (slowly) working my way through The Little Typer. It’s a deep dive on dependent types, starting with the very basics and building up a toy language one step at a time. I can feel it gradually changing how I think about programming (heck, how I think about thinking).
>..It’s really, really enjoyable. The format is very approachable, even fun. Rigorous and demanding, yet doesn’t take itself too seriously. Some lisp experience is helpful, but probably (maybe?) not necessary. But do yourself a favor and learn lisp anyway ;-)
Maybe some day I'll motivate myself to even figure out how to first install Racket/Pie (first, I have to figure out what even these are).
Thanks for the motivation/educational resource, OP.