Fri Feb 1 08:37:55 EST 2019

To type or not to type

- I spend A LOT of time trying to get types right by doing incremental
  programming in Erlang.  Without incremental programming, this is
  just completely impossible to do.

- Changes to Rust code do not have this problem.  Even changes to C
  code are less of an issue.

I think that it's quite clear: Erlang needs a static type system, or a
gradual type system.