Juliaの型アノテーション

Type Annotation

変数宣言時に型を宣言できる

引数への型アノテーション

引数に他の型を受けつけたくないとき

戻り値への型アノテーション

戻り値を制限したいとき

指定することで型推論が有効に働くことがわかっているとき

Type Inference

型安定性につながるとき

Type Stability

それ以外のときはとくに型アノテーションをつけなくてもよい

引数のチェック

出力の制御