Hacker News Reader

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/...

View on HN

do you know uses of ml modules for network protocols or rendering systems (gui or else) ?

Sadly I don't. I have only used SML for theorem proving and formal transformations from initial axioms to code.

yeah it would be cool to explore some different domains with ml, outside the usual logic/fp thing

You 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

Reply on news.ycombinator.com