[swift-evolution] No disjunctions in type constraints: why?

Daryle Walker darylew at mac.com
Sat Jan 13 03:45:20 CST 2018

From <https://github.com/apple/swift-evolution/blob/master/commonly_proposed.md#miscellaneous>.

Maybe I’m not up on my Type Theory, but why should type constraint disjunctions be banned?

Daryle Walker
Mac, Internet, and Video Game Junkie
darylew AT mac DOT com 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20180113/2d4d7b6a/attachment.html>

More information about the swift-evolution mailing list