Follow

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

· · Web · 3 · 8 · 10

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

(usually)

@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

@ionchy @hazel I have a very mutate-y Logo/Smalltalk hybrid I should probably talk to a type theorist about sometime

@hazel I just write down whatever ideas make them cry.

Sign in to participate in the conversation
types.pl

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