CHECK IN COMRADES A NEW "LITTLE" BOOK IS OUT https://mitpress.mit.edu/books/little-typer …
-
-
Replying to @SrPablo
I really like the idea of these books - if I were to go through a few of the "little" books which ones would you recommend? little schemer and prover look in interesting enough
1 reply 0 retweets 1 like -
Replying to @oacgnol
Oooh! So Little Schemer is cute, but I feel like you have enough of the FP grounding that it'd mostly be repetition until the last chapter, where the do the Lisp Self-Interpreter thing. I'd probably rec Seasoned Schemer and Reasoned Schemer (logic) hardest
1 reply 0 retweets 1 like -
Prover was fun, I should give it another look. Felt a hair too removed from being able to apply it
1 reply 0 retweets 1 like -
also, I can lend them out, neighbor, if you'd like! see if you like them enough before dropping cash
1 reply 0 retweets 1 like
yes, i will gladly accept neighbour
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.