[英]Haskell Infinite Type
我正在尝试使下面的代码工作。 这是一个有限状态机,我在其中传递了功能为下一个状态。 该函数用r
调用,并返回结果列表和下一个作为下一个函数的状态。 继续调用直到列表用完,然后返回结果的串联。 monad是一个错误monad,如果需要的话,允许我抛出一个错误。
fsm f [] = return []
fsm f (r:rs) = do
(xs, f') <- f r
rest <- fsm f' rs
return $ xs ++ rest
错误是:
Occurs check: cannot construct the infinite type: t1 = t0 -> m0 ([a0], t1)
In the first argument of `fsm', namely f'
我之前见过无限类型错误,并且我了解解决此问题的方法是用newtype
包装类型。 但是我不知道如何完成这项工作。
有人可以指出这些见解吗?
我认为这是您想要的:
newtype F m = F { unF :: String -> m ([String], F m) }
fsm :: (Monad m) => F m -> [String] -> m [String]
fsm f [] = return []
fsm f (r:rs) = do
(xs, f') <- unF f r
rest <- fsm f' rs
return $ xs ++ rest
正确的newtype
是,只要需要递归类型,就需要使用data
或新类型。
为了回应您的评论,以下是实现dup
功能的方法:
dup :: (Monad m) => F m
dup = F dup' where dup' xs = return ([xs, xs], F dup')
...或者您可以根据需要将其分为两个单独的定义。
请注意,如果不确定类型签名应该是什么,只需启用NoMonomorphismRestriction
扩展,编译器就不会抱怨并正确地为您推断顶级类型。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.