equational-reasoning

45熱

1答えて

a = return bを返したら、a = bですか？

return a = return bの場合はa=b？ =を使用すると、私は法律と証明の意味ではなく、Eqのクラスセンスを意味します。 私が知っているすべてのモナドはこれを満たすようだ、と私は（Const aはファンクタと応用的ではなく、モナドである。）

haskell monads semantics equality equational-reasoning 2016-01-25

---