2回答
我正在尝试编写F-代数，就像中那样。不同之处在于，与使用元组组合不同，如下所示： val a = fa(fab.map(_._1)) (a, b)我想使用Seq，如下所示：
def algebraSeq[<em
浏览 23提问于2018-01-25得票数 2
回答已采纳
我正试着把我的头放在F-代数上，做得很好。我理解范畴中对偶的概念，但我很难理解F-余代数(F-代数的对偶)与Haskell中的惰性数据结构的关系。作为F-代数的对偶，F-余代数的对应函数是-> F_ a，说F-余代数可以用来建立无限<
浏览 2提问于2014-07-21得票数 10
回答已采纳
如果我正确理解，我们可以将归纳数据类型建模为初始F-代数，将共归纳数据类型建模为最终F-余代数(对于适当的内切函数F) []。我知道，根据Lambek引理，初始代数(和最终余代数)是同构T ≅ F T的不动点解，但我不明白为什么初始代数是最小不动点，而最终余代数是最大不动点。(显然，同构T ≅ F T有一个解决方案吗？)另外，我不太清楚归纳和共归纳数据类型是如何在
浏览 0提问于2018-08-22得票数 7
在Haskell关于不动点的文本中，经常提到最小和最大的不动点。例如在文档或中。
最小和最大的含义是关于所涉及的类型的顺序(或者仅仅在不动点上定义它就足够了吗？)
浏览 3提问于2020-05-13得票数 8
回答已采纳
1回答
F-代数的有状态实现
、、、
考虑下面的简单F-代数 trait Test[F[_]] {} 我想提供它的实现，跟踪所有的附加值，并添加那些尚未添加的值。它必须以线程安全的方式完成。 我能想到的“最好”的实现是使用MVar[F, Ref[F, List[Int]]]。下面是它看起来的样子 def statefulMutexTest[F[_
浏览 30提问于2020-07-08得票数 1
回答已采纳
根据Bartosz的文章(，)，我定义了一个F-代数：
(这并不是说我的代码完全体现了巴托兹的思想，这只是我对它们的有限理解，任何错误都是我的。)一个人确实可以折叠和替换任何部分的结构，因为你运行一个变态，用一个适当选择的代数。所以，我很确定一个F-代数包含一个可折叠的，它甚至似乎也包括可遍历的。现在，我可以用F-代数<
浏览 0提问于2018-01-28得票数 12
回答已采纳
1回答
= Free { getFree :: forall s. f s -> s }
mempty = Free (mempty . f),freeGenerator = mkGenerato
浏览 1提问于2013-02-13得票数 16
回答已采纳
2回答
最聪明的方法是什么？在评论和回答中，许多人声称fold/reduce可以在浅层上合成地图，但在范畴理论中，从根本上说约/折叠被推广到变质作用，它都是关于函子(map)的，称为F-代数。
浏览 1提问于2015-01-07得票数 0
回答已采纳
下面是列表的一些简单F-代数。它们使用来自cata库的函数。这两个代数都是保持结构的，它们不改变列表的长度，所以cata可以将这两个代数应用到列表的每一项。cata $ algFilterSmall . project . algFilterBig -- [20,30]
这里两个代数都不是结构保持的，但是
浏览 1提问于2018-02-17得票数 5
回答已采纳
1回答
导出无限流的函子
、、
我遵循关于F-代数的，它解释说
deriving Functordata Stream e = Stream e (Stream e)有关部分是
浏览 1提问于2017-12-29得票数 3
回答已采纳
1回答
在阅读了之后，我尝试实现它并使用于一个现实世界的问题。但是，我似乎不知道如何为Fix编写实例，cata alg = alg . fmap (cata alg) . unFixdata NatF a =
浏览 4提问于2014-01-03得票数 10
回答已采纳
我正试着通过一些教科书上的问题来学习症状。我有一个要求得到Rankine的开尔文公式。这很容易解决，而不需要simpy (给定公式)：加上一些代数，=5r/9import sympy as speq1 = sp.Eq(f, r-459.4)
浏览 1提问于2020-06-12得票数 0
1回答
现在假设我想定义一个简单的函数：根据给定的映射f::v -> w (感觉像fmap)替换公式中的变量subst f (asFormula -> Belong x y) = belong (f x) (f y)
到目前为止还不错..。但是，当尝试编写subst f p->q = (subst f
浏览 1提问于2017-04-21得票数 2
回答已采纳
我在一个无法解决的类中遇到了一个问题，当我在while中调用getAlojamiento()时，循环在getImagenes()中中断。以下是涉及到的方法：
浏览 1提问于2012-02-02得票数 0
回答已采纳
1回答
对问题的回答表明，Scala中关于选项的折叠方法是一种catamoprhism。在维基百科中，是“从初始代数到其他代数的唯一同态，这个概念已经作为折叠应用于函数式编程”。因此，这似乎是公平的，但我要介绍一个，它是类别中的初始对象。
所以，如果折叠上的选项真的是一种屈光论，那么需要一些函子F，来创建F-代数的范畴，其中选项将是初始的对象。我不知道这个函子会是什么。对
浏览 1提问于2014-05-18得票数 7
回答已采纳
= $dest){ copy($f->getRealPath(), ($dest.'/'.$f->isDot() && $f->isDir()) {
浏览 27提问于2017-03-14得票数 1
回答已采纳
1回答
Neo4j路径采样
、、、、
我有类似于这样的CALL apoc.algo.allSimplePaths(A, B, '', 3)结果：
A ->BA->->relation2->BA->关系2->BA->关系5->D->关系3->>关系1->B>H 215/代码><>H 116/代码>关系>F->关系>F->关系>F->F->关系>A->关
浏览 23提问于2022-07-03得票数 1
我刚刚开始使用框架缓冲区对象，并且很难弄清楚为什么我不能将我的框架缓冲区放到我的viewport中。因为我可以使用glReadPixels读取它的像素，并将其保存为图像，所以我知道我的框架缓冲区有被绘制到它的数据。然而，当我试图把它画到我的后缓冲区，以便我可以在窗口中看到它，它什么都不画--我看到的只是我清除了视口的颜色。
我做错了什么？>glBindFramebuffer(GL_FRAMEBUFFER, _frameBuffe
浏览 0提问于2021-01-24得票数 0
回答已采纳
2回答
grade_chemistry']*df['CS_chemistry']) + (df['grade_physic']*df['CS_physic']df['total'] = sum(df[f'grade{i}'] * df[f'CS{i}'] for i in range(1, 3))
但我意识到，这种逻辑是完全错误的。
浏览 6提问于2022-06-19得票数 2
回答已采纳
\n", f->angle * 90 / atan2(1,0), f->minorAxis, f->normalized.pos.y,
f->normalized.vel.x,<em
浏览 1提问于2011-04-27得票数 3
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
云直播活动推荐
腾讯云开发者
