Tatsächliche Standard-ML-Spezifikation ist The Definition of Standard ML (Revised) , die auf MITPress nur in einer Druckversion verfügbar ist.StandardML 97 Definition
Ist es im elektronischen Format (pdf, ps, d. H.) Verfügbar?
Nr
Ich sehe dies als einen Fehler. Die Spezifikation einer Sprache sollte frei sein. Ansonsten begrenzen Sie automatisch die Anzahl der Interessenten. Um ehrlich zu sein, ist die Definition von SML wirklich eine gute Arbeit - und weit umfassender als jede andere Sprache. Spezifikation. Es hat wahrscheinlich auch viel mehr Zeit zum Schreiben gebraucht!
Die Definition wurde vor kurzem von MIT Press und the source is on Github zur Verfügung gestellt, einschließlich Anweisungen zum Kompilieren einer PDF.
das scheint SML90 zu sein, nicht SML97 – newacct
Sie haben Recht, guter Fang. – spacemanaki
Die Standards für viele standardisierte Sprachen (z.B. C) sind ebenfalls nicht frei. – newacct
Während dies ein echter Punkt ist, denke ich nicht, dass irgendeine moderne Sprache versuchen sollte, den Standard etwas zu machen, das Sie kaufen müssen. Es begrenzt die Darstellung von Implementierungen stark, und in Standard MLs Fall ist es einer der Gründe, warum es nie als eine Sprache ausging. –