エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
確率モナドの Cats 実装とモナド則の Discipline テスト - Qiita
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
確率モナドの Cats 実装とモナド則の Discipline テスト - Qiita
はじめに 『すごいHaskellたのしく学ぼう(以下テキスト)』の14章8節に、カスタムモナドのサンプルとし... はじめに 『すごいHaskellたのしく学ぼう(以下テキスト)』の14章8節に、カスタムモナドのサンプルとして「確率モナド」が載っている。今回は、この確率モナドを Scala の圏論ライブラリ Cats を用いて書いてみる。 また、テキストには「できたばかりのモナドが、きちんとモナド則を満たしているか試すことも、とても重要です。」との記述もある。これも大事なので、Discipline を使って確認してみる。 使用ライブラリ compilerPlugin("org.spire-math" %% "kind-projector" % "0.9.8"), "org.typelevel" %% "cats-core" % "1.6.0", "org.typelevel" %% "cats-laws" % "1.6.0", "org.scalacheck" %% "scalacheck" % "1.