3 ms·most typed functional languages seem to fit: ocaml, f#, purescript, haskellby systems 6y agomost typed functional languages seem to fit: ocaml, f#, purescript, haskell