代码之家 › 专栏 › 技术社区 › Maja Piechotka

把存在主义放到单子里

polymorphism monads haskell

Maja Piechotka · 技术社区 · 15 年前

我有以下问题。我有类型的值 (forall r. MyType r) 我需要 ParsecT s u m (forall r. MyType r) . 是否可以在不提供额外的 data 结构?

1 回复 | 直到 15 年前

C. A. McCann Ravikant Cherukuri 15 年前

(forall r. MyType r) MyType r r Nothing forall a. Maybe a MyType

forall t. (forall r. MyType r -> t) -> t data ExistMyType = forall r. ExistMyType (MyType r)

推荐文章

Piskator · 在Haskell中提取、操作和累积monad列表中的值

3 年前

Piskator · Haskells绑定运算符和>>运算符及其关系

3 年前

kaqqao · 理解读者单子

8 年前

user1 · 制作哈斯克尔单子

8 年前

Pedro Rolo · 生成解析器,该解析器在另一个解析器的输出上运行接收到的解析器,并以一元方式连接结果

8 年前

maiermic · 使用带透镜的一元函数修改状态

9 年前

Nathan Ringo · 将单子添加到transformer堆栈的中间

9 年前

Saurabh Nanda · 如何创建允许IO但不是MonadIO的monad?

9 年前

Bailey Parker · 处理optparse应用程序ReadM中openFile的异常

9 年前

Savenkov Alexey · Scalaz:如何组合OptionT[State[_],T]类型的单子,这样它就不会终止于None

9 年前