El agente secreto Double-Null0111

Tipos de función

Si se eliminaran todos los nombres y etiquetas de la firma de una función de Swift, solo quedaría el tipo de la función.

func shoppingList(item: String, quantity: Int) -> String {
  "You need to buy \(quantity) \(item)."
}
// shoppingList: (String, Int) -> String

func repeater(_ phrase: String, times: Int) -> String {
  var result = ""
  for _ in 1...times {
    result += phrase
  }
  return result
}
// repeater: (String, Int) -> String

func printString(line: String) {
  print(line)
}
// printString: (String) -> ()

Fíjate en que los tipos de las dos primeras funciones son el mismo, (String, Int) -> String, aunque las dos firmas son diferentes y las dos funciones funcionan de manera muy distinta. Ambas reciben un String y un Int como entrada y devuelven un String. Y, como se puede ver en el tipo de la tercera función, aunque el cuerpo de la función no parece devolver nada, en realidad devuelve implícitamente (), el único valor de tipo Void.

Estos tipos de función se pueden usar de la misma manera que cualquier otro tipo en Swift; por ejemplo, se pueden usar en la declaración de variables o constantes. Y, como las funciones son valores en Swift, las funciones ya existentes se pueden asignar a estas constantes o variables:

var stringAndIntToString: (String, Int) -> String

stringAndIntToString = shoppingList
stringAndIntToString("carrots", 3)
// => "You need to buy 3 carrots."

Al igual que con otras variables o constantes, el valor que le asignes debe ser del tipo correcto:

stringAndIntToString = printShoppingList
// Error: Cannot assign value of type '(String) -> ()' to type '(String, Int) -> String'

Tipos de función como tipos de parámetros

Como los tipos de función se pueden usar en cualquier lugar donde se pueda usar cualquier otro tipo, se deduce que se pueden usar como tipos de parámetros, pasarse a otras funciones y llamarse desde dentro de esas funciones.

func apply3(to str: String, function f: (String, Int) -> String) -> String {
  f(str,3)
}
// apply3: ([String], (String, Int) -> String) -> [String]

apply3(to: "eggs", function: shoppingList)
// => "You need to buy 3 eggs."

apply3(to: "eggs", function: repeater)
// => "eggseggseggs"

Tipos de función como tipos de retorno

Del mismo modo, los tipos de función se pueden usar como tipos de retorno de funciones. En otras palabras, se pueden escribir funciones que crean y devuelven otras funciones. Al crear estas funciones, la función que se devuelve puede usar los otros parámetros que se pasan a la función o las variables locales creadas dentro de la función padre.

func makeAdder(base: Int) -> (Int) -> Int {
  func adder(_ i: Int) -> Int {
    base + i
  }
  return adder
}
// makeAdder: (Int) -> (Int) -> Int

let add10 = makeAdder(base: 10)
// add10: (Int) -> Int

let subtract20 = makeAdder(base: -20)
// subtract10: (Int) -> Int

add10(5)
// => 15

subtract20(5)
// => -15