This hits really close to home! I like thinking of types as a syntactical layer, just like in natural language. Without knowing the meaning of words, we can sh

This hits really close to home! I like thinking of types as a syntactical layer, just like in natural language. Without knowing the meaning of words, we can show that certain compositions of verbs, nouns, etc. can a priori never lead to an intelligible sentence. So trying to actually turn the sentence into a meaning or reading it (compiling/running) is useless. But then again I was trained as a linguist so…