5 ms·dynamic typing incurs runtime overheadby imjonse 2y agodynamic typing incurs runtime overheadbjoli 2y agoThat is obviously not what they meant since ocaml is not dynamically typed.dkersten 2y agoHM is type inference for static typing, though, so wouldn’t have runtime overhead?