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

Matthew Johnson matthew at anandabits.com
Thu Dec 10 21:06:17 CST 2015

> I think John means 'dependent' in the more prosaic C++ sense of 'dependent on generic type parameters', e.g. 'Array<T>' inside a function generic on <T>, not dependent types in the Coq/Agda/Idris sense.

Thanks for the clarification. Makes sense now.

More information about the swift-evolution mailing list