Hacker News new | ask | show | jobs
by imjonse 498 days ago
dynamic typing incurs runtime overhead
2 comments

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.