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

Dave Abrahams dabrahams at apple.com
Mon Apr 18 17:22:46 CDT 2016


on Thu Apr 14 2016, Chris Lattner <swift-evolution at swift.org> wrote:

> We currently accept function type syntax without parentheses, like:
>
>   Int -> Float
>   String -> ()
>
> etc.  The original rationale aligned with the fact that we wanted to
> treat all functions as taking a single parameter (which was often of
> tuple type) and producing a tuple value (which was sometimes a tuple,
> in the case of void and multiple return values).  However, we’ve long
> since moved on from that early design point: there are a number of
> things that you can only do in a parameter list now (varargs, default
> args, etc), implicit tuple splat has been removed, and the compiler
> has long ago stopped modeling function parameters this way.  Beyond
> that, it eliminates one potential style war.
>
> Given all this, I think it makes sense to go for syntactic uniformity
> between parameter list and function types, and just require
> parenthesis on the argument list.  The types above can be trivially
> written as:
>
>   (Int) -> Float
>   (String) -> ()
>
> Thoughts?

+1, as I've always said.

By everyone but the purely-functional-programming crowd, ()s are
associated with functions; it makes sense to see them in the type, and
the non-uniformity created by seeing A->B in the places it's allowed is
not balanced by a widespread drop in syntactic noise.

-- 
Dave



More information about the swift-evolution mailing list