Yes. But it's a rare programmer, or even a programming language designer, who th...

		Sharlin on July 8, 2017 \| parent \| context \| favorite \| on: Where Do Type Systems Come From? Yes. But it's a rare programmer, or even a programming language designer, who thinks of well-typed programs in terms of proving theorems.