)をネストするよりずっとわかりやすいと思います。同様の仕組みがあります。記法を使うとなります。実用上はその言語で欠けている部分を諦めて別の方法で妥協する必要があります。型を書く機会は多いので、簡潔な記法が用意されているのはうれしいところです。シンタックスシュガーです。シンタックスシュガーとして用意されていれば便利です。時点でこのようなシンタックスシュガーはありません。ように極力コード中に型を書かず推論させる言語であれば不要だと思います。快適にするために重要だと考えています。関するエラーを型を使ってコンパイル時(または静的解析時)に検出する仕組みです。そのため、言語に静的型付けであることを強制します。取るのか、動的型付けの書き心地を取るのかという話になってしまいます。変数や引数、戻り値の型を書かなくてよいのであれば、動的型付けに近い書き心地を実現できます。同じような簡潔さでコードが書けているのがわかると思います。言ってもその実現方法は様々です。大きく分けると二つに分けられます。型をネストできるかできないかです。いう型は何を表すのでしょうか。変わらないように思えます。何の役に立つのかは例を見てみるのが一番です。ハッシュを使うときです。型の値を引くためのクラスです。キーで値を引くと、キーに対応した値が存在する場合としない場合があります。