4 ms·
What, to you, is an ultra strong type system? Both OCaml and Haskell are used in plenty of non academic contexts. Do you mean something like Coq or F*?
by unstruktured 2y ago
What, to you, is an ultra strong type system? Both OCaml and Haskell are used in plenty of non academic contexts. Do you mean something like Coq or F*?
- BiteCode_dev 2y ago"plenty" is relative. You don't see many GAFAM products created in either, and that's because of the trade off OP talks about.
- randomdata 2y agoI don't see many GAFAM products created in any functional language, even those with primitive type systems. Are you sure it is the type system that is scaring people away?
- pydry 2y agoI was thinking of Haskell and F#. Neither one is completely unused outside of academic contexts but it is rare. Rust is an example where a stronger type system has an associated payoff and it's being used all over.