3 ms·

And ML was originally written in Lisp. https://github.com/theoremprover-museum/LCF77/tree/master/src https://github.com/theoremprover-museum/LCF77/tree/master/

by lispm 10y ago

And ML was originally written in Lisp. https://github.com/theoremprover-museum/LCF77/tree/master/src https://github.com/theoremprover-museum/LCF77/tree/master/sr... https://github.com/theoremprover-museum/HOL88/tree/master/src/lisp https://github.com/theoremprover-museum/HOL88/tree/master/sr...

groovy2shoes 10y ago
And [O]Caml was originally called "Le-ML" because it was written in Le-Lisp (and targeted the same VM, LLM3).
agumonkey 10y ago
someone tweeted that dan ingalls first smalltalk was in BASIC, I always assumed it was in lisp (considering Kay mention lisp in influences and that lisp was teh PL clay)
- lispm 10y ago
  https://en.wikipedia.org/wiki/L_Peter_Deutsch https://en.wikipedia.org/wiki/L_Peter_Deutsch He worked on both the Lisp and Smalltalk low-level implementations at Xerox PARC.
  - agumonkey 10y ago
    I have a deja vu, didn't we have that discussion before ?
agumonkey 10y ago
ps: I didn't bother to check those repos. Very nice to see old lisp code. It's very very clean. I often fear messy lisp 1.5 style but that's quite pretty.