[alkonaut]

> I cannot stand the road that new languages are on, abandoning the type system, or making it optional, or not explicit.

That trend is so 10 years ago. Today the pendulum is swinging the other way again. ML is having a comeback. Look at F#, Rust and Swift. They are mainstream and they are strongly typed (mostly)functional languages.

[bpicolo]

On the swing now that compilers are smart enough to do most of the typing guarantees without your input.

[tatterdemalion]

That was true in 1973.