Fri May 17 16:26:06 EDT 2019

Types are really necessary

Types make it possible to work with higher order functions as building
blocks in a way that would be impossible to understand without being
able to look at the types.

I.e. implementation really becomes a detail, and might be
counterintuitive even, but often the basic idea is quite clear in the

Pick "impractical" instead or "intractable" instead of "impossible" if
you like, but I think the idea stands.

This only seems to happen (for me) in compiler work.