6.1. 強烈な強さの型付け¶ これまでの「 (本当に)始めましょう! 」での例や、「 モジュール 」と「 関数の構文 」でモジュールや関数での型付けの例に気づいたかもしれませんが、変数の型を書いたり、関数の型を書いたりする必要はありませんでした。 パターンマッチをするときは、書いたコードがどんなものが適用するか分かっていませんでした。 {X,Y} というタプルに対して {atom, 123} でもいいし {"A string", <<"binary stuff!">>} でも {2.0, ["string","and",atoms]} でもなんでも適用します。 うまく動かない場合は、実行時に目の前にエラーが投げらます。これはErlangが動的型付けだからです。 すべてのエラーはランタイムに取得され、コンパイラは常にモジュールをコンパイルするときに、 「(本当に)始めましょう! 」での "