」のように読むことができます。他の型と同じように関数の型を使用します。例として、関数型の定数または変数を定義し、適切な関数をその変数に代入することができます。参照するよう設定する。」のように読むことができます。呼び出すことができます。出力また、型が一致する別の関数をこの同じ変数に代入することができます。関数型を推論させることができます。ような関数型を使用することができます。関数を呼び出すときに、関数の呼び出し元で関数の実装を渡すことができます。