I'm kinda bored with trying to implement linear dependent types. It's a really hard problem. Instead, I think I'm gonna implement a cute lil untyped lambda calculus named Alonzo. Additionally, I want to write a linear lambda calculus, with arbitrary rank polymorphism.
Conversation
Replying to
What were you following to implement this linear dependent types (if anything)? Been planning to try implementing these in my lang:
- bentnib.org/quantitative-t
- bentnib.org/context-constr
