Where Do Type Systems Come From?

285 points by philix001

Read the article

Discussion on Hacker News