Haskell による型安全プログラミングの実装例(和暦) - Qiita

概要 型安全プログラミングがどのように役に立つかを Haskell を使った和暦(元号)の実装を例に紹介します。 実装は下記の repository にあります。 https://github.com/algas/haskell-example-date 対象読者 Haskell の最低限の知識と haskell stack の使用経験があることを前提とします。 基本的な文法や言語構文の説明は入門書に任せることにします。 使い方 以下の単体テストを動作させることができます。 git clone git@github.com:algas/haskell-example-date.git stack build stack test 実装の概要 Data.Time.Wareki で公開している関数を説明します。 data Gengoh = Meiji | Taisho | Showa | He

[ryskosn]

こういうの興味深い