> 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.
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.