5 ms·
I too used to, but have realized that almost never is the language referred to as “ML”. It would rather be SML or another dialect name.
by jonsen 7y ago
I too used to, but have realized that almost never is the language referred to as “ML”. It would rather be SML or another dialect name.
- lolinder 7y agoThe one context I've seen ML show up as such is when referring to the family as a whole, rather than a specific dialect. I must admit I had the same reaction to this post, and thought that calling it Julia Academy was odd if they were going to teach other languages.
- NikkiA 7y agoSML 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