型安全性と型推論 Swift

型安全性

Swiftは型安全な言語である．型安全な言語では，型を明確にすることでプログラムを正常に動作させることを推奨します．例えば，String型が求められる箇所で，誤ってInt型を渡すことはできない．

タイプチェック

Swiftは型安全を保証するため，コンパイル時にタイプチェックを行い，型の不一致に対してフラグ付けする．

型推論

明示的に型が指定されていない場合，Swiftは適切な型を推論する．この型推論により，型を指定する作業をユーザーに代わって行うため，少ない型宣言でプログラミングすることができる．
型推論は，定数または変数を宣言，初期化するときに役立つ．

let meaningOfLife = 42 //Int型と推論
let pi = 3.14 //Double型と推論

let anotherPi = 3 + 0.1415 //コンテキストからDouble型と推論

THE SWIFT PROGRAMMING LANGUAGE