Tue Jun 19 12:36:14 EDT 2018


So this is true: refactoring is made a whole lot easier with strong
static types.  The "wrapping" is there to add the proper semantics to
the actual representation, leaving it possible to think only in vague
isomorphisms, which is really how human abstraction seems to work

We really do see the essence of structure, and gloss over the
implementation details.

The great thing about this is that I can actually do this kind of work
when I'm tired and cannot deal with details very well.  Still the big
intuitive picture is usually accessible.