Mon Dec 31 14:44:28 CET 2018

Distributed systems

This is mostly about fixing some issues with Erlang.  While Erlang is
great to express distributed designs, it is not great to evolve them.
I especially miss "type error propagation" I use a lot while
refactoring.  How to fix this?

- typed protocols

- better understand supervisor trees, and structure programs

The latter is just learning an existing mechanism.  The former is
something special.  (see erlang.txt)