3 ms·
No, records are nominally typed in OCaml, thus the two types `A` and `B` would be deemed incompatible.
by octachron 8y ago
No, records are nominally typed in OCaml, thus the two types `A` and `B` would be deemed incompatible.
- wtetzner 8y agoBut objects in OCaml are structurally typed (well, row typed).