Skip to content

Latest commit

 

History

History
115 lines (86 loc) · 4.11 KB

0049-noescape-autoclosure-type-attrs.md

File metadata and controls

115 lines (86 loc) · 4.11 KB

Move @noescape and @autoclosure to be type attributes

Introduction

This proposal suggests moving the existing @noescape and @autoclosure attributes from being declaration attributes on a parameter to being type attributes. This improves consistency and reduces redundancy within the language, e.g. aligning with SE-0031, which moved inout, making declaration and type syntax more consistent.

Swift-evolution thread: here

Motivation

Chris Eidhof noticed an emergent result of removing our currying syntax: it broke some useful code using @noescape, because we only allowed it on parameter declarations, not on general things-of-function-type. This meant that manually curried code like this:

func curriedFlatMap<A, B>(x: [A]) -> (@noescape A -> [B]) -> [B] {
  return { f in
    x.flatMap(f)
  }
}

Was rejected. Fixing this was straight-forward, but required @noescape being allowed on arbitrary function types. Now that we have that, these two declarations are equivalent:

func f(@noescape fn : () -> ()) {}  // declaration attribute
func f(fn : @noescape () -> ()) {}  // type attribute.

Further evaluation of the situation found that @autoclosure (while less pressing) has the exact same problem. That said, it is currently in a worse place than @noescape because you cannot actually spell the type of a function that involves it. Consider an autoclosure-taking function like this:

func f2(@autoclosure a : () -> ()) {}

You can use it as you'd expect, e.g.:

f2(print("hello”))

Of course, f2 is a first class value, so you can assign it:

let x = f2
x(print("hello"))

This works, because x has type (@autoclosure () -> ()) -> (). You can see this if you force a type error:

let y : Int = x // error: cannot convert value of type '(@autoclosure () -> ()) -> ()' to specified type 'Int'

However, you can’t write this out explicitly:

let x2 : (@autoclosure () -> ()) -> () = f2
// error: attribute can only be applied to declarations, not types

This is unfortunate because it is an arbitrary inconsistency in the language, and seems silly that you can use type inference but not manual specification for the declaration of x2.

Proposed Solution

The solution solution is straight-forward: disallow @noescape and @autoclosure on declarations, and instead require them on the types. This means that only the type-attribute syntax is supported:

func f(fn : @noescape () -> ()) {}     // type attribute.
func f2(a : @autoclosure () -> ()) {}  // type attribute.

This aligns with the syntax used for types, since the type of f is (_: @noescape () -> ()) -> (), and the type of f2 is (_ : @autoclosure () -> ()) -> (). This fixes the problem with x2, and eliminates the redundancy between the @noescape forms.

Impact on existing code

This breaks existing code that uses these in the old position, so it would be great to roll this out with the other disruptive changes happening in Swift 3. The Swift 3 migrator should move these over, and has the information it needs to do a perfect migration in this case.

For the compiler behavior, given that Swift 2.2 code will be source incompatible with Swift 3 code in general, it seems best to make these a hard error in the final Swift 3 release. It would make sense to have a deprecation warning period for swift.org projects like corelibs and swiftpm, and other open source users tracking the public releases.