操作monad与任意monad的翻译

作者: Autistic
发布时间: 2025-02-05 07:13:09 (21天前)
转自：

2 条回复

0#
回复此人
1号 | 2019-08-31 10-32

<div class =“post-text”itemprop =“text”> <P> 那是因为 <code> m </code> 在本地类型签名是新的类型变量，所以他们承诺使用 <EM> 任何 </EM> 单子。如果你使用 <code> display </code> ， <code> eval </code> 只能为特定的monad工作 <code> display </code> 使用。如果你a）删除本地类型签名，或b）带来类型变量，它应该工作 <code> m </code> 进入范围 </p> <pre> <code> {-# LANGUAGE ScopedTypeVariables #-} ... interpret :: forall m. (Int -> m ()) -> Elo a -> Int -> m a </code> </pre> </DIV>

编辑

登录后才能参与评论