これは、もし複数の型チェックエラーがあった場合、全ての情報を出したいという要求から生まれました。より、複数の型エラーがあった場合、全てのエラーを列挙してくれるので、一つなおしては実行してエラーを確認してまた一つなおす。いったストレスを緩和します。ドキュメント化として読み手にもメリットがあり、デバッグのしやすさに力を入れているので書き手にもメリットがあるライブラリーなのです。この二つをTypeStructと組み合わせることで、より柔軟なデータ構造が表現できます。定義できるようになります。するようにしています。どちらかのうちの一つ」を表す型です。ありえるメンバーでしょう。メソッドが定義され、以下の様な書き方ができるようになります。ようでカッコイイですね。オブジェクトに変換します。変換は定義にそって__再帰的__に行われます。メリット(意味ある名前・期待した値・ドキュメント化)を享受できるようにと開発しました。使う前と使った後で比較し丁寧に解説します。実装する場合を考えます。上で丸や三角などの図形を様々に配置して、配置情報をサーバーに保存する架空のアプリケーションです。座標・大きさ・回転角度などの情報を持っています。形式でクライアントからバックエンドへと送られます。情報を元に一枚の画像として合成され、チーム間でシェアできる。そんな架空アプリです。図形画像を参照して座標情報から合成する。いったプログラムが想像できます。endendcomposition.to_pngこんなプログラムで怖いのは、プログラムのtypoによるミスではないでしょうか。」というオチで時間を取られてしまったという経験はないでしょうか。did_you_meanでも対応できません。最新版では対応されています。メソッドが使われます。それに「数字を期待していたが文字列だった」のようなケースは防げません。