Probably, i've tried once or twice to find a pre-SML ML compiler, but not had an... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		NikkiA on Sept 8, 2019 \| parent \| context \| favorite \| on: Julia Academy: Learn ML, Parallel Programming, Jul... Probably, i've tried once or twice to find a pre-SML ML compiler, but not had any luck so far.

mumblemumble on Sept 9, 2019 [–]

You'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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact