Haskell Servant 入門 (Strongly Typing) - Qiita

Strongly typing in Haskell with Servant 強い型付けを使って servant server のアプリケーションを実装する方法を紹介します。 本記事のソースコードは以下のリポジトリにおいてあります。 http://github.com/algas/haskell-servant-cookbook 強い型付けによる効果 Servant ではクライアントおよびサーバで取り扱うデータに対して強い型付けが適用できます。 すなわち、扱うデータに対して型を適用するだけで制限をかけることができます。 ちなみに同じ Haskell の Web フレームワークでも Scotty などでは弱い型付け(型情報の欠落？)しか行われません(Scotty では Text 型として扱われる)。 強い型付けを導入した場合のメリットとデメリットを並べてみます。 メリット 型だけで値の v