タグ

関連タグで絞り込む (0)

  • 関連タグはありません

タグの絞り込みを解除

typeとerlangとErlangに関するHashのブックマーク (1)

  • Introduction | Learn You Some Erlang for Great Good!

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

    Hash
    Hash 2012/11/15
    このへんの型の話面白い. 参考論文もある
  • 1