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
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.