[haberman]

I don't think looser typing is the current trend at all. I think the opposite is true: there's a movement towards more typing, particularly among the languages that have traditionally been the most dynamically typed.

- Type hinting is a significant new feature in PHP 7.x: http://php.net/manual/en/migration70.new-features.php

- Python 3.5 introduces type hinting: https://docs.python.org/3/library/typing.html

- Ruby is talking about possibly adding a static typing system to Ruby 3.x (this is very early stage, but there appears to be interest): https://codon.com/consider-static-typing. Also 24 days ago Matz talked about possibly adding type inference to Ruby3x3: https://bugs.ruby-lang.org/issues/9999

- Flow and TypeScript add types to JavaScript.

- JavaScript is adding more structure to its type system with ES6 classes.

- Newer languages such as Swift and Dart are certainly more typed than the Python/Ruby/JavaScript generation.

- Rust is typed to the max.

I guess what I'm saying is that if you like type systems, the future is bright. :)