3 ms·
It lets you create languages like Pie which is designed to teach others about dependent types: https://thelittletyper.com/ https://thelittletyper.com/
by nequo 4y ago
It lets you create languages like Pie which is designed to teach others about dependent types:
https://thelittletyper.com/ https://thelittletyper.com/
- CyberDildonics 4y agoThat seems like an extreme niche use that isn't suited for general purpose programming.
- nequo 4y agoRacket's main use case is pedagogy and PL research.