型推論付きの静的型付け言語