[swift-evolution] Proposal: An Either Type in the STL

Matthew Johnson matthew at anandabits.com
Thu Dec 10 19:59:04 CST 2015

> Structural sum types containing dependent types.

Dependent in what sense?  Swift doesn't support anything like dependent types in the usual sense of being dependent on a value (modulo the pretty limited ability to abuse the type system).

More information about the swift-evolution mailing list