H-how do... people... design type systems? Beyond the "I have some ideas" phase?
By trying to implement a checker? By trying to write down judgments and reason through it with bare hand and brain? By formalizing in Agda/Coq? Is there an actually-useful software assistant for it?
Conversation
Replying to
I’m a big novice at this stuff, but I tend to bounce between all of these. Each one gives a different perspective, and can help with the others.