In 麦克布莱德和帕特森的“带有效果的应用程序编程” http://strictlypositive.org/IdiomLite.pdf他们引入了一些可爱的语法糖来提升纯函数:
[| f x y z |]
for
f <$> x <*> y <*> z
我记得有人在其他地方使用过li f w x y z il
or il f v w x y z li
,我认为/希望这可能是因为它可以使用一些现有的语言功能和巧妙的定义来定义li
and il
.
除了论文之外,我找不到任何对此的参考,并假设[|
and |]
不太可能很快出现在 ghc 中,是否有可能实施li
and il
不知何故?我想不出对它们来说合理的类型,所以我认为我需要 Template Haskell 或类似的,但知道的还不足以完成此任务。[af| f x y ]
没问题,但在开始尝试之前我不知道是否可行,如果可行的话当然需要帮助。
I think this http://www.haskell.org/haskellwiki/Idiom_brackets就是您正在寻找的。如果我没记错的话,haskell-cafe 邮件列表上也有关于这种类型的应用程序的讨论。
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)