Cool idea, dramatic writing. I can deal with linear types without the hand-wringing. As someone famous in CS once said, “simplicity is a great virtue but it ta

Cool idea, dramatic writing. I can deal with linear types without the hand-wringing. As someone famous in CS once said, “simplicity is a great virtue but it takes hard work to achieve it and education to appreciate it.” Let’s face it: programming is hard and no amount of waving our hands and refusing to learn anything new is going to make anything better. If this linear type system is great, skip to why it’s great. Again, a lot of neat ideas in here. The parser is a good idea. Langsec and a security focused language is nice to see!