3 ms·
How so? Can we program Haskell's Hindley-Milner based type checking into Lisp with macros and homoiconicity, and have it run during compile-time? Take
by soegaard 9y ago
How so? Can we program Haskell's Hindley-Milner based
type checking into Lisp with macros and homoiconicity,
and have it run during compile-time?
Take a look at Hackett "a fanciful sketch of a programming language from a far-off land with Haskell’s type system and Racket’s macros."
https://lexi-lambda.github.io/blog/2017/05/27/realizing-hackett-a-metaprogrammable-haskell/ https://lexi-lambda.github.io/blog/2017/05/27/realizing-hack...