IzumiSy https://blog.hatena.ne.jp/IzumiSy/ Runner in the High https://izumisy.work/ Elm プログラミング Elmは静的型付言語なので、型のチカラを活かすことでコンパイラに「あっては行けない状態や組み合わせ」をチェックさせることができる。 高度な例としては前回書いた以下の幽霊型（Phantom Type）の記事があるが、もう少し簡単な例を紹介しようと思う。 izumisy.work 自作Error型の例 以下は自作のError型を定義した例だ。Error型はカスタムタイプになっていて、エラーのパターンを表現している。 それぞれのエラーはエラーのメッセージを持っていて、それらをtoString関数で取り出す事ができる module Error exposing (Error, handle, toSt… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fizumisy.work%2Fentry%2F2020%2F01%2F28%2F092542" title="Elmにおける「型によるルールづけ」の考え方 - Runner in the High" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2020-01-28 09:25:42 rich https://izumisy.work/entry/2020/01/28/092542 1.0 100%