This makes me happy! Phoenix and RoR before it have proven to be incredibly productive but the issues with types and runtime errors IMHO made it easy to break s

This makes me happy! Phoenix and RoR before it have proven to be incredibly productive but the issues with types and runtime errors IMHO made it easy to break stuff. Types should pass a whole range of runtime errors to build time error, which is a huge plus for reliable software!