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


this is how you avoid making semantics decisions that seem good on paper and then make everything horrifying later. this is how you do it


· · Web · 0 · 0 · 5
Sign in to participate in the conversation

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.