5 ms·
ML for the Working Programmer is also an excellent reference. It demonstrates the construction of a theorem prover. As a matter of fact, Isabelle was built with
by nextos 7y ago
ML for the Working Programmer is also an excellent reference. It demonstrates the construction of a theorem prover. As a matter of fact, Isabelle was built with SML.
There's also a famously concise intro to SML (in 22 pages!) by Mads Tofte:
https://condor.depaul.edu/dmumaugh/readings/handouts/CSC447/tofte-tips.pdf https://condor.depaul.edu/dmumaugh/readings/handouts/CSC447/...
- agumonkey 7y agodo you know uses of ml modules for network protocols or rendering systems (gui or else) ?
- nextos 7y agoSadly I don't. I have only used SML for theorem proving and formal transformations from initial axioms to code.
- agumonkey 7y agoyeah it would be cool to explore some different domains with ml, outside the usual logic/fp thing
- earthicus 7y agoYou might want to check out "Unix system programming with Standard ML" by Shipman. The first half of the book covers the basics of SML and the Posix & C interfaces, and also discusses building a simple TCP client and server. The second half of the book is a larger project building a web server: http://www.mlton.org/References.attachments/Shipman02.pdf http://www.mlton.org/References.attachments/Shipman02.pdf