[swift-evolution] [pitch] Eliminate the "T1 -> T2" syntax, require "(T1) -> T2"

Alan Skipp al_skipp at icloud.com
Fri Apr 22 17:58:46 CDT 2016


> On 22 Apr 2016, at 23:43, Vladimir.S via swift-evolution <swift-evolution at swift.org> wrote:
> 
> 3. Disallow putting empty tuple () in parentheses

The thing is, Void is a typealias for ()

Therefore the impermissible:
(()) -> ()

Is identical to:
(Void) -> ()

So to follow these rules, it must instead be:
Void -> ()

… and we’re back to T1 -> T2  

: )


More information about the swift-evolution mailing list