3 ms·
I have this book, there's interesting chapters like defining arithmetic recursively in SML. You can do this book without previous programming assuming you have
by hackermailman 7y ago
I have this book, there's interesting chapters like defining arithmetic recursively in SML. You can do this book without previous programming assuming you have domain knowledge to install SML yourself.
There is no answers to the exercises in the book (some selected solutions on the book homepage) but there is an appendix on various patterns and proof techniques, which turned out to be all I needed as many of the exercises you're just writing and checking a program. I assume there's no solutions because the exercises are used for a course. I've always wondered why authors don't have a self-study, Knuth like book with answers contained in it, then sell a seperate instructor pack or something with private exercises to other teachers.
- bsg75 7y ago> You can do this book without previous programming assuming you have domain knowledge to install SML yourself. Via http://www.smlnj.org/ http://www.smlnj.org/ ?
- hackermailman 7y agoWhich is nowhere in the book, it's only referred to as "ML language" so requires assumed domain knowledge such as (1)ML = Standard ML = SML/NJ (2)you know what a REPL is and that it has different commands on different platforms (Ctrl-Z to exit on Windows VS Ctrl-D in *nix) (3)you know commands to load your larger .sml programs into the REPL and all the pitfalls like needing to restart/empty the environment. In the course it's explained but not the book http://cs.wheaton.edu/~tvandrun/previous/spring19/cs243/ml.html http://cs.wheaton.edu/~tvandrun/previous/spring19/cs243/ml.h...
- profquail 7y agoOr PolyML, which is another popular implementation (e.g. used in the Isabelle/HOL theorem prover): https://polyml.org/ https://polyml.org/
- greymalik 7y ago> a self-study, Knuth like book with answers contained in it What book are you referring to? I guess I’m unsure if you’re talking about a book that exists or a book that should exist.
- mhh__ 7y agoTAOCP?