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

发布于 2024-09-13 05:43:32 字数 1455 浏览 13 评论 0原文

如果你对这篇内容有疑问,欢迎到本站社区发帖提问 参与讨论,获取更多帮助,或者扫码二维码加入 Web 技术交流群。

扫码二维码加入Web技术交流群

发布评论

需要 登录 才能够评论, 你可以免费 注册 一个本站的账号。

评论(2

鹤仙姿 2024-09-20 05:43:32

pure视为形容词。

foo <*>; pure 4 = foo 应用于pure4

(至于它被称为pure的确切原因,可能只有McBride和Paterson知道。)

Think of pure as an adjective.

foo <*> pure 4 = foo applied on a pure value 4.

(As for the exact reason why it's called pure, probably only McBride and Paterson will know.)

千と千尋 2024-09-20 05:43:32

它有点像fromInteger。它的参数始终是一个纯值或函数,将被提升到函子中。也许它应该是 fromPure 但你知道 Haskell 人们多么喜欢缩短名称(例如 fstsnd 而不是 first和<代码>第二个...)。

It's a little like fromInteger. Its argument is always a pure value or function that will be lifted into the functor. Perhaps it should have been fromPure but you know how Haskell people love to shorten names (e.g. fst and snd instead of first and second...).

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