Sat Feb 2 08:40:53 EST 2019

Dynamic typing is the default

Why?  Protocols are just data.  There are no guarantees about who is
talking on the other end.  This is an important insight.

Hardware modules are best separated by wires.  It is the physical
constraint that determines the structure of the software.

Static types only work inside the walled garden.