Type as Constraint: Why we need more type?
For me, programming was about how to map my mind to the world; from this view, it probably shows why...
Tags: plt, language