Mon Dec 31 14:44:28 CET 2018
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)