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.