3 ms·

What do you mean? Afaik the type system does not affect run time speed, it’s just static analysis

• imjonse 2y ago
  dynamic typing incurs runtime overhead
  • bjoli 2y ago
    That is obviously not what they meant since ocaml is not dynamically typed.
  • dkersten 2y ago
    HM is type inference for static typing, though, so wouldn’t have runtime overhead?
• wk_end 2y ago
  If anything the type system improves the run time speed, because the static analysis enables better code generation. But I think what OP meant was more about the "functional programming" side of things than the "HM-typed" side of things. Naively, anyway, you might think that "the FP-style" of avoiding mutation and preferring recursion would require lots of garbage and high-latency garbage collection, copying, function call overhead...of course, that's not the whole story, but having Jane Street to point to as a crushing counter-example is nice.