I completely agree with you… It enables more confidence in how we code, less tests, and less code to check for stuff that should be work of the compiler or runtime.
I am looking forward to see how gleam by @lpil will develop