before implementing a programming language, please talk to a type theorist
you don't even have to know type theory
just throw something at them and ask if it's a good idea
I beg you
@hazel amusing myself with the idea of asking a homotopy type theorist with a math degree and who doesn't program how the operational semantics of my mutation operators should work
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.