関数の戻り値の型のところにいる アロー関数? ( -> ) ←こいつの意味

Question

わからないこと

以下のswiftコードに意味がわからない部分があるのでご教授ください。

その1.
コード1行目func makeIncrementer() -> ((Int) -> Int) {と、引数を設定していないのにコード9行目increment(7)のように呼び出し時に引数があってもエラーにならない理由がわからない

その2.
コード1行目func makeIncrementer() -> ((Int) -> Int) {の、((Int) -> Int)の部分には「関数の戻り値の型」が入るはずなのに、(int)と->が入っていて意味がわからない

該当のソースコード

N予備校-スマートフォンアプリ iPhoneアプリ コースより引用

/* l.1 */  func makeIncrementer() -> ((Int) -> Int) {
/* l.2 */    func addOne(number: Int) -> Int {
/* l.3 */      return 1 + number
/* l.4 */    }
/* l.5 */    return addOne
/* l.6 */  }
/* l.7 */  
/* l.8 */  var increment = makeIncrementer()
/* l.9 */  increment(7)

補足情報（FW/ツールのバージョンなど）

引用したソースコードはXcode ver.10.2.1 (10E1001) で記述されています。
質問者の動作環境はXcode ver.11.3 です。

Answer 1

その定義の仕方はmakeIncrementerが、

(Int) -> Int {}

という、Int型の値を返す関数自体を返すからです。
ユーザー定義関数makeIncrementer自体が、上記の型の関数自体を返すって意味です。
なので、increment(7)と実行した際には、
引数は、その上記関数の中の(Int)に格納されます。
よって、var i = makeIncrementer(7)としたら、エラーが起きるはずです。
（未検証です。すみません。）

Comments

[ymatsutera]

自己解決したリンクではわからなかった、わからないこと その1. について詳しく理解できました！！！！！！！
var i = makeIncrementer(7) で試してみたところ、確かに
「 (7) が引数をとらないものに入れられています」
とエラーが出ました！！！！！！！！！！

[miyabi_pudding]

お、エラー起きるで合っててよかったです。
メソッドやブロックが、"何を返すのか"を段階別に見れるようにすると、
パッと見でもわかるようになるかと思います。
しかし、Swiftはクラスベースのオブジェクト指向の割には、わりとそういうところの制約が緩めなので、
パッとみでわからないこともありそうですね。
（逆に緩さがメリットではありますが）

Answer 2

https://teratail.com/questions/99658?link=qa_related_pc