PureScript 等价于 Haskell 的 >> 运算符

Posted

技术标签:

【中文标题】PureScript 等价于 Haskell 的 >> 运算符【英文标题】:PureScript equivalent to Haskell’s >> operator 【发布时间】:2020-08-16 19:52:05 【问题描述】:

是否有与 Haskell 的 >> 运算符等效的 PureScript 标准库?

class Monad m where
...
(>>) :: m a -> m b -> m b
...

显然定义很简单,但如果有库版本,我更愿意使用。

【问题讨论】:

【参考方案1】:

我实际上并没有使用过 Purescript,但从查看库文档看来,等效的名称称为 applySecond,它还有一个运算符别名 *>

(同样的操作符存在于 Haskell 中,(>>) 只是仅在 monad 上操作的受限版本。据我所知,Purescript 避免了 Haskell 的类型类层次结构中由于历史原因而出现的许多冗余.)

【讨论】:

啊。我看到了,但没有比名字更进一步(这听起来不像我想要的)。应该看看类型..谢谢! @Roly 来补充这个答案我想指出可以在 Pursuit 上使用类型搜索:pursuit.purescript.org/search?q=+m+a+-%3E+m+b+-%3E+m+b

以上是关于PureScript 等价于 Haskell 的 >> 运算符的主要内容,如果未能解决你的问题,请参考以下文章

Haskell 演示 OOP 设计模式的等价物 [重复]

Haskell入门篇八:高阶函数(上)

Purescript无法从键盘获取键码

证明转置定理

Scala中的Haskell“forall”翻译

查看 Haskell 中的缩减步骤