[swift-evolution] Synthesizing Equatable, Hashable, and Comparable for tuple types

Chris Lattner clattner at nondot.org
Mon Nov 20 20:51:13 CST 2017


On Nov 20, 2017, at 6:31 PM, Tony Allevato <tony.allevato at gmail.com> wrote:
> 
> So (borrowing C++-ish notation), a function of type `(Args...) -> Result` would become sugar for something like `Function<Args..., Result>`? That certainly makes sense.

Yep

> How would throw-ness be handled—would we need ThrowingFunction and Function, with the ability to coerce Function -> ThrowingFunction? (Async might pose similar issues?)

Right, there are several ways we could express that which would have to be designed.  There are other questions as well: e.g. how do we represent inout?

-Chris




More information about the swift-evolution mailing list