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
最新の質問