4 ms·

I'm certainly not well versed in OCaml, but my understanding is that it is also structurally typed. This particular example would also be permitted in OCaml, co

I'm certainly not well versed in OCaml, but my understanding is that it is also structurally typed. This particular example would also be permitted in OCaml, correct?

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