Sat Apr 20 10:59:58 EDT 2019

Why encoding in types can be useful

A lot of "structurizing" is needed to make complex types work at all.
This then solves most of the implementation issues along the way.

It acts as a guidance.

Turning things into a logic is maybe a more difficult problem, but it
forces you to take a route that will shed a whole lot more light on
the problem.

Instead of spending your time getting arbitrary details right, spend
it by finding the intrinsic structure, or how to translate a problem
description to make it more structured.