applicative

applicative

文章 1 浏览 94

如何映射Applicative形式?

我想映射应用形式。 类地图函数的类型如下: mapX :: (Applicative f) =&gt (f a -&gt f b) -&gt f [a] -&gt f [b] 用作: result :: (Applicative f)…

酷炫老祖宗 2024-11-07 22:42:09 0 0

应用(和朋友)方法是否有人类友好的名称?

Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers. 这个问题似乎与帮助中心中定义的范围内…

撧情箌佬 2024-11-04 00:57:30 2 0

ap 在 Haskell 中如何以及为何被定义为 liftM2 id

在试图更好地理解 Applicative 的同时,我查看了 &lt*&gt 的定义,它往往被定义为 ap,而 ap 又被定义为: ap :: (Monad m) =&gt m (a -&gt b) -&gt m…

花海 2024-10-25 05:53:38 1 0

证明流的相等性

我有玫瑰树的数据类型 data N a = N a [N a] 和应用实例 instance Applicative N where pure a = N a (repeat (pure a)) (N f xs) &lt*&gt (N a ys) =…

所谓喜欢 2024-10-20 15:31:37 3 0

Haskell 中状态的函子/应用实例

在阅读(并浏览了 Wadler 关于 monad 的论文的某些部分)后,我决定更仔细地研究这篇论文,为他描述的每个 monad 定义函子和应用实例。 类型同义词 ty…

╭⌒浅淡时光〆 2024-09-15 03:38:34 4 0

Control.Applicative 中“pure”函数的命名

Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers. 这个问题似乎与帮助中心中定义的范围内…

乱了心跳 2024-09-13 05:43:32 8 0

Scala 中是否有与 Python 更通用的映射函数等效的函数?

我知道 Scala 的列表有一个 map 实现,带有签名 (f: (A) =&gt B):List[B] 和 foreach 实现带有签名 ( f: (A) =&gt Unit):Unit 但我正在寻找与 Python …

初心未许 2024-08-28 17:23:29 7 0

Haskell 应用程序和 ErrorT?

为什么我可以执行以下操作: import Data.Word import Data.Binary.Get import Control.Applicative import Control.Monad.Error getW1 :: ErrorT Str…

对你而言 2024-08-25 11:40:34 4 0
更多

推荐作者

linfzu01

文章 0 评论 0

可遇━不可求

文章 0 评论 0

枕梦

文章 0 评论 0

qq_3LFa8Q

文章 0 评论 0

JP

文章 0 评论 0

    我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
    原文