> In reality what I predict is that languages will become a little bit more "loose", lazy typing, argument defaults will become the norm. That misses the point

> In reality what I predict is that languages will become a little bit more "loose", lazy typing, argument defaults will become the norm. That misses the point completely. Beginners are annoyed at the rigorousness of programming languages, but the rigorousness is there as a helper for correctness.