Sat Jul 7 17:08:15 EDT 2018

Type directed programming

Sometimes writing down the type gets you out of the rut of thinking in
strict programming terms.  It happens quite a lot that there is a lazy
way to do something that would not have come up in a strict,
imperative mind set.

The type-directed approach says: forget about how exactly this behaves
at run time.. is it possible?  Is there a path?