12 ms·
Structural subtyping doesn't imply lack of soundness, OCaml object types have structural subtyping too and OCaml is sound.
by yawaramin 7y ago
Structural subtyping doesn't imply lack of soundness, OCaml object types have structural subtyping too and OCaml is sound.