If you replace “conjunction” by “O(n) search with early-exit on failure” and “disjunction” by just “O(n) search”, you’ll see why this can lead to computationally painful systems of constraints. Each disjunctive constraint may further contain or create disjunctions ad nauseum, each time incrementing the exponent in the worst-case time it takes to solve the system. Introduction of disjunction into an already complex system (say, one that supports constrained parametric polymorphism and subtyping AND disjunctions through overloads) makes an already difficult problem even harder.
~Robert Widmann 2018/01/13 4:45、Daryle Walker via swift-evolution <swift-evolution@swift.org>のメール: > 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 > > _______________________________________________ > swift-evolution mailing list > swift-evolution@swift.org > https://lists.swift.org/mailman/listinfo/swift-evolution
_______________________________________________ swift-evolution mailing list swift-evolution@swift.org https://lists.swift.org/mailman/listinfo/swift-evolution
