<story><title>The Little Typer (2018)</title><url>https://thelittletyper.com/</url></story><parent_chain></parent_chain><comment><author>ProllyInfamous</author><text>As a retired electrician attempting hobby-level &amp;quot;learn to code&amp;quot; (i.e. I don&amp;#x27;t know anything about modern programming and did not even understand anything from OP&amp;#x27;s link), this Amazon review helped me understand OP&amp;#x27;s link:&lt;p&gt;&amp;gt;..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).&lt;p&gt;&amp;gt;..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 ;-)&lt;p&gt;Maybe some day I&amp;#x27;ll motivate myself to even figure out how to first &lt;i&gt;install Racket&amp;#x2F;Pie&lt;/i&gt; (first, I have to figure out what even these are).&lt;p&gt;Thanks for the motivation&amp;#x2F;educational resource, OP.</text></comment>
<story><title>The Little Typer (2018)</title><url>https://thelittletyper.com/</url></story><parent_chain></parent_chain><comment><author>kevindamm</author><text>I liked the dialogue-driven format of this and the others in the series (I&amp;#x27;ve read Schemer and Learner too), at least once I got used to the split-mind feel of it, but I feel it would be better as an interactive media instead of the books.&lt;p&gt;There&amp;#x27;s an expectation that you&amp;#x27;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.&lt;p&gt;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.&lt;p&gt;The typesetting in the hardcopies is really unique and impressive.</text></comment>