时间戳

首页 > 解决方案 > Haskell 中 MonadPlus 的默认类型评估是什么？

haskell - Haskell 中 MonadPlus 的默认类型评估是什么？

问题描述

我有以下代码：

import Control.Monad

coin :: MonadPlus m => m Int
coin = return 0 `mplus` return 1

如果我对coin :: Maybe Int解释器进行评估，它会优先级Just 0。这是正常的，因为将 Maybe 实现为 MonadPlus 的实例。

如果我对解释器进行评估coin :: [Int]，它会打印[0, 1]，因为mpluson list 的实现是append.

coin但是，如果我在没有任何类型装饰器的情况下评估0. 为什么？解释器“转换”什么类型coin来评估它？

此代码摘自：http ://homes.sice.indiana.edu/ccshan/rational/S0956796811000189a.pdf

标签： haskellioghcinon-deterministicmonadplus

解决方案

是的，这是 ghci 的一个没有很好记录的角落。当你在 ghci 中输入一个表达式时，它使用表达式的类型来决定做什么：

  1. IO (): 运行动作，什么也不做。
  2. Show a => IO a：运行动作和print结果。
  3. 任何其他IO a：运行动作，不做任何进一步的事情。
  4. 其他任何东西：用 . 包裹整个表达式print。

它如何决定一个事物具有这些类型中的哪一种？简单：它尝试统一上述每个签名的表达式类型，并解决所有产生的约束。（对于行家来说：这是对扩展默认规则的补充！这解释了为什么它似乎默认了m，即使标准默认规则和扩展默认规则都没有说明要使用什么默认值。）

因此，由于您的表达式不与 统一，IO ()但与 统一Show a => IO a，ghci 在统一期间找到m ~ IO(and a ~ Int)，发现有一个MonadPlus IO(and a Show Int) 实例来解决约束，运行您的操作并打印结果。

推荐阅读