このスウィフトハッカーを理解するのに役立つでしょう

Question

スウィフトコードの適切な量を書いたにもかかわらず、スウィフトコードがどのように動作するのか説明することなく、クールスウィフト技術のこの例にぶつかりました。複雑なSwiftismsのそれは現在、私の頭の周りにねじれている。

スウィフトに十分堪能な人が、それを解剖してその目的を分別していないのであれば、それは本当に自分の言語の理解力とより強力な機能を増やし、おそらく他の人も啓発するでしょう。

extension Array { 
    var match : (head: T, tail: [T])? { 
     return (count > 0) ? (self[0], Array(self[1..<count])) : nil 
    } 
} 

func map<A, B>(f: A -> B, arr: [A]) -> [B] { 
    if let (head, tail) = arr.match { 
     return [f(head)] + map(f, tail) 
    } else { 
     return [] 
    } 
} 

Answer 1

extensionからArrayタイプmatchと呼ばれる新しい計算プロパティを定義します。この特性は、型(head: T, tail: [T])?、（head名前）最初の要素タイプTとはTの型配列である（tailと命名）は、第2の要素であるので、任意のタプルです。 Tは、配列の内部に格納されている要素の型の汎用型にすぎません（Arrayは汎用コレクション自体です）。

var match : (head: T, tail: [T])? { 
    return (count > 0) ? (self[0], Array(self[1..<count])) : nil 
} 

アレイは、任意の要素が含まれていない場合、この計算されたプロパティは、nilを返すか、それが最初のリストの要素（self[0]とリストの末尾（最初を除くすべてのものを含むタプルを返します要素）：。Array(self[1..<count])

今その配列は、この計算された性質を持っている私たちは、再帰的配列の要素に機能fを呼び出し、それらの関数呼び出しの結果が含まれてArray新しいを返すために、それを利用することができます。これはあります。何がmap機能しますか：

func map<A, B>(f: A -> B, arr: [A]) -> [B] { 
    if let (head, tail) = arr.match { 
     return [f(head)] + map(f, tail) 
    } else { 
     return [] 
    } 
} 

マッピング関数fしたがってmapタイプ[A]の配列を通過する必要があり、それはタイプBの要素にタイプAの要素をマッピングすることを意味するtypeA -> Bです。 match変数とオプションのバインディングを使用して、リスト[f(head)]の先頭にあるfを呼び出し、それを新しいリストの中に入れて、残りの配列要素map(f, tail)に対して再帰的なmap呼び出しの結果を追加します。

、彼らがより良い実装しようとしているマップの機能を理解するには、次の