33. 型仕様とErlang 33.1. PLTは最高のサンドイッチ | Learn You Some Erlang for Great Good!

33.1. PLTは最高のサンドイッチ¶ 型（あるいはそれを欠いています） で、Dialyzerという、Erlangの型エラーを検知するツールを紹介しました。 この翔では、Dialyzerに完全に焦点を当てて、実際にErlangでの型エラーの検知を行う方法やその他の矛盾を検知するためのDialyzerの使い方を紹介します。 なぜDialyzerが作られたかを見ていくことから始めて、その次にその指針となる原則は何か、そして型に関連するエラーを検知する性能、最後にその使い方の例を紹介します。 Dialyzerは、Erlangコードを解析するときに非常に効率的なツールです。 Dialyzerはあらゆる種類の矛盾、例えば1度も実行されないコードを検知するために使われますが、主な用途はErlangコードベース内の型エラーの検知に関することです。 多くを見る前に、DialyzerのPersistent

[Hash]

後半の関数の型付けが面白い