4 ms·
SML is a ML but ML is it's own pre-SML language too.
by NikkiA 7y ago
SML is a ML but ML is it's own pre-SML language too.
- mumblemumble 7y agoRight, but one that died before what I'm guessing is the average birth date of hacker news readers. It's probably at least as hard to find a pre-SML ML compiler that will run on a microcomputer as it is to find a SML compiler that can understand the code examples from any SML book written before 1997.
- NikkiA 7y agoProbably, i've tried once or twice to find a pre-SML ML compiler, but not had any luck so far.
- mumblemumble 7y agoYou'd be hard-pressed. Pre-SML, it mostly only saw the light of day as a the metalanguage of a theorem prover named LCF. Which I think ran on a PDP-11 or a VAX or something like that. https://apps.dtic.mil/dtic/tr/fulltext/u2/785072.pdf https://apps.dtic.mil/dtic/tr/fulltext/u2/785072.pdf