3 ms·
> One of my complaints... Then build a language and type system atop, like with Coalton [0]. Lisp is for language building. Even Hindley-Milner was first imple
by reikonomusha 6y ago
> One of my complaints...
Then build a language and type system atop, like with Coalton [0]. Lisp is for language building. Even Hindley-Milner was first implemented atop Lisp in 1973 [1].
[0] https://github.com/stylewarning/coalton https://github.com/stylewarning/coalton
[1] http://www-public.imtbs-tsp.eu/~gibson/Teaching/CSC4504/ReadingMaterial/GordonMMNW78.pdf http://www-public.imtbs-tsp.eu/~gibson/Teaching/CSC4504/Read...