Question

我正在为解析器编写Monad实例，并且在尝试实现bind时遇到了一些类型检查错误。以下代码未键入check：

parse (f a) i

GHCi抱怨最后一行代码ParseResult b期待ParseResult a类型但收到类型f =<< p = P (\s -> let x = parse p s in let (Result i a) = x in parse (f a) i)。但是，如果我删除错误检查代码，那么所有类型检查都很好：

import java.time.LocalDate
val now = LocalDate.now()

那么if-then-else表达式导致类型混淆的是什么呢？

Answer 1

比较

data Boring a = Boring

doesn'tTypeCheck :: Boring a -> Boring b
doesn'tTypeCheck x = x

doesTypeCheck :: Boring a -> Boring b
doesTypeCheck Boring = Boring

您的情况类似：虽然您的错误结果x可能实际上并未包含任何a值，但其类型仍标有a。你需要＆＃34;重拍＆＃34;它与b。通过从if切换到case语句，这可能是最干净的，如

case parse p s of
    Error e {- :: ParseResult a -} -> Error e {- :: ParseResult b -}
    Result i a -> parse (f a) i

在If-then-else表达式中键入检查

1 个答案: