CDuce is interesting, an XML oriented functional programming language. That's where they draw semantic subtyping from, worth checking out for language nerds: ht

CDuce is interesting, an XML oriented functional programming language. That's where they draw semantic subtyping from, worth checking out for language nerds: https://www.cduce.org/design_features.html https://www.cduce.org/design_features.html