Fri Nov 3 10:48:36 EDT 2017


So more and more, I am pointed in the direction that types really are
the solution to managing complexity.

Basically, complexity is unavoidable.

Types make it possible to make more complex structures with less
congnitive load, including more complex reusable abstractions that
reduce application complexity by shifting complexity.