Y
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