This is Scala. It has dependent type support and loops with global state. Basically, there's no unified community. No one agrees on anything, except that everyo

This is Scala. It has dependent type support and loops with global state. Basically, there's no unified community. No one agrees on anything, except that everyone else's code sucks.