applicative

applicative

文章 1 浏览 97

Applicative IO 是基于 Monad IO 的函数实现的吗?

在“为大善而学 Haskell!”作者声称 Applicative IO 实例是这样实现的: instance Applicative IO where pure = return a b = do f <- a x <- b retu…

画中仙 2024-11-18 01:28:32 11 0

如何映射Applicative形式?

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

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

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

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

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

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

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

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

证明流的相等性

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

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

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

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

╭⌒浅淡时光〆 2024-09-15 03:38:34 12 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 18 0

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

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

初心未许 2024-08-28 17:23:29 21 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 12 0
更多

推荐作者

十二

文章 0 评论 0

飞烟轻若梦

文章 0 评论 0

OPleyuhuo

文章 0 评论 0

wxb0109

文章 0 评论 0

旧城空念

文章 0 评论 0

-小熊_

文章 0 评论 0

更多

友情链接

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