回答情况：
提问时间：
问题标签：
我有以下使用recursion-schemes库的代码：{-# LANGUAGE TypeFamilies #-}有没有更好的使用recursion-schemes实现reduceBy的方法？alter的论点看起来很脆弱，那么cata真的适合这里吗？
浏览 6提问于2017-02-10得票数 4
回答已采纳
2回答
写完后，我决定把钱放在嘴边，并开始将我以前的一个项目转换为使用recursion-schemes。
这是相关的吗？是newtype Fix f = Fix (f (Fix f))不是“免费”吗？
浏览 3修改于2016-09-15得票数 35
回答已采纳
1回答
我希望能够使用cata从recursion-schemes包在教会编码的列表。fromList l = \cons nil -> foldr cons nil l
因此，它的基函子与列表是相同的，应该可以为它实现project，并使用来自recursion-schemes
浏览 4修改于2018-01-02得票数 5
这里有一个优雅的斐波那契数列表定义：fibs = fib 1 1 where可以翻译成使用recursion-schemes
浏览 7修改于2017-03-11得票数 3
在泛型编程中应用类别理论时，Haskell做得很好，例如，它使用了recursion-schemes这样的库。但是，我不确定的一件事是如何为多态类型创建泛型函式实例。如果是这样的话，是否也有可能使其与recursion-schemes兼容？
浏览 1修改于2015-12-04得票数 11
回答已采纳
但是编译器抱怨类型不匹配： Actual type: CofreeF Term E (E, Fix Term)
但是在recursion-schemes
浏览 0修改于2018-07-02得票数 2
回答已采纳
我正在试图了解这个来自Haskell recursion-schemes包的非常抽象的递归函数是如何工作的(或者，实际上，它是如何工作的！)
浏览 1提问于2016-09-25得票数 2
回答已采纳
2回答
我使用来自filter黑客库的非变态功能实现了一个破碎的recursion-schemes函数：
xfilter :: (a -> Bool)
浏览 6修改于2019-04-30得票数 11
回答已采纳
1回答
我的问题是:我可以使用来自现代递归方案库(如processTerm )的库存函数来构建recursion-schemes/Data.Functor.Foldable吗？
浏览 2修改于2016-09-15得票数 11
回答已采纳
1回答
使用recursion-schemes库，我们可以派生一个基本函子ExprF，它也自动具有Functor、Foldable和Traversable实例。
浏览 1修改于2017-06-07得票数 5
回答已采纳
这让我不禁纳闷:为什么recursion-schemes的实现不使用这个版本？它有什么问题吗，还是有更好的方法来实现我想要的？
浏览 3修改于2019-07-15得票数 5
回答已采纳
1回答
main-is: Main.hs build-depends: base >=4.10 && <4.11 , recursion-schemes
浏览 0提问于2018-03-06得票数 7
回答已采纳
String | Branch Label [Tree a]
我想在这棵树上写一些折叠，它们都以变态的形式出现，所以让我们让recursion-schemes
浏览 2修改于2021-12-22得票数 8
回答已采纳
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号