4 ms·
> It seems inevitable to me that eventually (might take decades), Haskell-level type systems will be the norm That would be exciting, but I can't help but wond
by bcherny 9y ago
> It seems inevitable to me that eventually (might take decades), Haskell-level type systems will be the norm
That would be exciting, but I can't help but wonder if FP is just a matter of taste. We had Smalltalk and ML in the 70s, C++ and Erlang in the 80s, Java and Haskell in the 90s, and now it feels like all the best languages at least nod to a multi-paradigm approach: Scala, Swift, Python, JavaScript, C#, Rust, etc. The right tool for the right job, you know?
> and people will learn them in highschool
I'm actually working on a book along these lines! Look for it on HN in a few months :)