3 ms·
Are there any good examples of these minimal lisps which include typechecking? I'd personally like to learn more about incorporating that aspect, but it seems f
by thurn 6y ago
Are there any good examples of these minimal lisps which include typechecking? I'd personally like to learn more about incorporating that aspect, but it seems fairly uncommon.
- zeckalpha 6y agoHackett: https://github.com/lexi-lambda/hackett https://github.com/lexi-lambda/hackett Based on this paper: http://www.ccs.neu.edu/home/stchang/pubs/ckg-popl2017.pdf http://www.ccs.neu.edu/home/stchang/pubs/ckg-popl2017.pdf
- girvo 6y agoI highly recommend people check out Alexis’ other projects too. An excellent programmer, and great writer. https://lexi-lambda.github.io https://lexi-lambda.github.io