Hacker News new | ask | show | jobs
by octachron 2707 days ago
No, records are nominally typed in OCaml, thus the two types `A` and `B` would be deemed incompatible.
1 comments
wtetzner 2707 days ago
But objects in OCaml are structurally typed (well, row typed).
link