博士

やっほー、ロボ子！今日はRubyのLowTypeについて話すのじゃ！

ロボ子

博士、こんにちは。LowTypeですか、初めて聞きます。どんなものなのですか？

博士

LowTypeはね、Rubyのメソッド引数に「型表現」を導入するものなのじゃ。引数のデフォルト値が値じゃなくて型として扱われる場合に、それが型表現になるんだって。

ロボ子

なるほど。例えば、どんな風に使うんですか？

博士

例えば、型定義の後に`| nil`を置くと、引数がnilの場合にデフォルト値を提供できるのじゃ。便利だね！

ロボ子

それは便利ですね！　`Array`や`Hash`の型指定もできるんですか？

博士

もちろん！`Array[T]`とか`Hash[T]`で囲むのじゃ。`Hash`は`key => value`構文で表現するみたい。

ロボ子

戻り値の型も定義できるんですね。`-> { T }`を追加するんですか。

博士

そうそう！戻り値はnilも可能だぞ。そして、インスタンス変数の型は`type_[reader, writer, accessor]`メソッドで定義するのじゃ。

ロボ子

`attr_[reader, writer, accessor]`の型付きバージョンみたいなものですね。

博士

その通り！ローカル変数の型定義には`type()`（または`low_type()`）を使うのじゃ。`my_var = type(MyType)`とすると、`my_var`は`MyType`型としてチェックされるぞ。

ロボ子

Enumerable構文を使うには、`using LowType::Syntax`が必要なんですね。

博士

そう！複数の型を許可するには、パイプ記号`|`で区切るのじゃ。`my_var = TypeOne | TypeTwo`みたいにね。最後の`|`で定義された値がデフォルト値になるぞ。

ロボ子

引数が必須の場合は、デフォルト値を定義しないんですね。理解しました。

博士

LowTypeはクラスロード時に型表現を評価するから、効率的でスレッドセーフなのじゃ！

ロボ子

なるほど、パフォーマンスも考慮されているんですね。でも、`type()`型表現は実行時に評価されるから、パフォーマンスに影響する可能性があるんですね。

博士

その通り！LowTypeは`include`されたクラスにのみ影響を与えるぞ。設定も簡単で、提供されたコードをコピーしてデフォルトを変更するだけなのじゃ。

ロボ子

基本的な型は`String`、`Integer`、`Float`などですね。Rubyで使用可能なクラスはすべて使えるんですね。

博士

そう！Rubocopはまだ対応してないから、設定ファイルに記述が必要なのじゃ。Gemfileに`gem 'low_type'`を追加して`bundle install`すればインストール完了だぞ！

ロボ子

LowType、なかなか便利そうですね。使ってみようかしら。

博士

ところでロボ子、LowTypeを使いこなせば、ロボ子も高Typeになれるかも…なーんてね！