Comment by jkmcf
3 years ago
Are there other books written in this format?
I know _why wrote his books as a conversation between two foxes.
3 years ago
Are there other books written in this format?
I know _why wrote his books as a conversation between two foxes.
The Little Schemer (formerly LISPer) - Intro to Scheme, or perhaps an introduction to computing with Scheme. Guess it depends on perspective.
The Seasoned Schemer - More on Scheme.
The Reasoned Schemer - Minikanren in Scheme
The Little Prover - Proofs about programs
The Little Typer - Dependent types
The Little MLer - The ML language, not machine learning.
A Little Java - Java
I have the first 5 books, but never got around to finishing Little Prover or Typer (got married and moved that year, probably not the best time to try and start something like that). Definitely like the first three and what I read in those other two.
Smullyan, but those are decades old and not application focused.
Yes, a whole series. Look until the author for more.