クロージャの型宣言の省略は、『型推論』ですか？

Question

##　クロージャの型宣言の省略は、『型推論』ですか？

このサイトにて、

クロージャの型宣言は必ずしも指定する必要はありません。

とあったのですが、これは型推論でしょうか？

---

• 型推論について調べると、以下のように出たので、

クロージャの型宣言の省略とは異なる気もするのですが...、ご返答頂きたいです。

型の指定をしなくても代入した値に応じて値の型を推論してくれる機能。

つまり、Swiftは変数の宣言時に型の指定を省略できる。

##　なぜ「異なる」気がしたのか

「代入した値に応じて値の型を推論」とありますが、
代入する側であるクロージャの型を省略したら、"代入した値"の情報が削がれるので、

その値に応じて推論する事なんてできるのかな？と思った感じです。

// 型を指定
let closure_4: ( (Int, Int) -> Void) = { (num1: Int, num2: Int) -> Void in print(num1 + num2) }
// 型推論? 
let closure_5: ( (Int, Int) -> Void) = { (num1, num2) -> Void in print(num1 + num2) }

まだ型推論について学び始めたばかりですので、
認識の誤りがあれば教えていただきたいです。

質問は以上です。
お時間あるときに、ご返信頂けましたら幸いです????

Comments

[fuzzball]

なぜ「異なる気」がしたのか教えて下さい。

[kazuki_user]

追記致しました。

[fuzzball]

その記事の、
>> 1. var cl : ((Int, Int) -> Void)
>> クロージャの型宣言は必ずしも指定する必要はありません。
の部分を読んで、「クロージャの型宣言」というのは「: ((Int, Int) -> Void)」の部分のことだと私は思いました。

[fuzzball]

質問に追記されたコードでいうと、
let closure_4 = { (num1: Int, num2: Int) -> Void in print(num1 + num2) }
ということです。

Answer 1

文脈からして、

これを

let cl: ( (Int, Int) -> Void) = { (num1: Int, num2: Int) -> Void in print(num1 + num2) }

こう省略しても

let cl = { (num1: Int, num2: Int) -> Void in print(num1 + num2) }

clに代入しようとしている物が(Int, Int) -> Void型であることが明らかなので型推論が働くよ
ってことが言いたいんじゃないかなと

もちろん、さらに引数の型まで省略したら型が確定しないのでエラーになります。

let cl = { (num1, num2) -> Void in print(num1 + num2) }