Hacker News new | ask | show | jobs
by int_19h 1438 days ago
Some statically typed languages have union types that are extensible in a similar fashion; e.g. in OCaml:

https://v2.ocaml.org/manual/polyvariant.html