Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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


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.


dynamic typing incurs runtime overhead


HM is type inference for static typing, though, so wouldn’t have runtime overhead?


That is obviously not what they meant since ocaml is not dynamically typed.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: