Erlearng+ | 死なないシステムを作るためのメモ死なないシステムの構築のために考えたり、調べたりしたことのメモ。開発環境や手法等の気になる技術の記録など。Erlangの型チェックを簡単にするためのライブラリを教えてもらったので、試してみた。 コンパイル時にエラーを検出するものだと思っていたが、どうやら、-typeで定義した型のチェックを簡単にできるようにするものらしい。 以下のようなトランプのカードであるかを判定するコードを書いてみた。 -compile({parse_transform, sheriff}).を記載することで利用できるようになるよう。 実行してみる。 1>card:check_trump({14,heart}). No TrumpMark {heart, 14} ok 2>card:check_trump({13,heart}). Trump card is heart 13 ok 3>card:check_tr
