On Nov 20, 2017, at 6:31 PM, Tony Allevato <tony.allev...@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


_______________________________________________
swift-evolution mailing list
swift-evolution@swift.org
https://lists.swift.org/mailman/listinfo/swift-evolution

Reply via email to