> Just to get your argument straight: nothing comes close to the level of utility and usability of StandardML, Ocaml and Haskell? I suspect hajile meant that

> Just to get your argument straight: nothing comes close to the level of utility and usability of StandardML, Ocaml and Haskell? I suspect hajile meant that no type system comes close to the utility of that of StandardML, Ocaml and Haskell, not language in general.