Open variants (the sum-type version of extensible records) might be on that list too, but I’m not familiar with any prior uses of them so I guess there’s probably something that makes them difficult? Maybe they’re just not very ergonomic in actual use, in which case cool, they’ll fit right in.
OCaml has polymorphic variants which might be related to what you're thinking of.
Yes, thanks! Someone on reddit also pointed me at purescript.
I've realized that since the only language I know with extensible records is Elm, it doesn't say much that I don't know any with open variants.
OCaml has polymorphic variants which might be related to what you're thinking of.