3 ms·
Rudy, Haskell, Ocaml are obvious examples.
by FridgeSeal 2y ago
Rudy, Haskell, Ocaml are obvious examples.
- mardifoufs 2y agoAgreed. I just think that those are (sadly, as I like OCaml) apparently not very practical, at least not according to most people. As far as "widely used languages" (which is a totally subjective concept I realize that!), TypeScript has a pretty solid type system. One of the most robust that is widely used.