4 ms·Dynamic witnesses for static type errors in OCaml, or, ill-typed programs usuall1 points by fanf2 1y ago