CODEWITHSUNDEEP
standardsdefinitionsml
lulinzh
lulinzh

Reputation: 13

Prerequisite knowledge for understanding definition of standard ml

could anyone tell me what's the background theories in The Definition of Standard ML, found very interesting and beautiful, i did learn some sml a little, but i want more while don't know how to start (to understand TDSML)

3x in advance

Upvotes: 1

Views: 311

Answers (2)

Andreas Rossberg
Andreas Rossberg

Reputation: 36098

For the old version of the Definition (SML'90) there actually was a separate book called "Commentary on Standard ML", which explained how to interpret the Definition. Both the SML'90 Definition and the Commentary are long out of print, but fortunately, are available as free PDFs.

The SML'90 Definition had some differences to SML'97, in particular regarding the module system. Overall, it was more complicated. But much of the Commentary should still apply, and if you have both versions side by side, it shouldn't be hard to figure out what's still relevant.

Upvotes: 4

waldrumpus
waldrumpus

Reputation: 2590

This is off the top of my head: In order to understand the methods employed in The Definition of Standard ML, you should some basic understanding of:

Additionally, you should be able to read and understand inference rules of which the book makes extensive use.

Upvotes: 3

Related Questions