*类别理论*是抽象数学的一个分支，涉及揭示和描述逻辑和数学系统的基础结构。事实证明，类别理论中的概念作为构建编程语言和程序本身语义的工具非常有效。各种类别的理论结构被用作编程抽象的工具，包括仿函数，monad和代数。
[我为Map [Int，Array [Int]]定义了一个Monoid实例，并尝试使用它来合并这样的地图列表：import cats.Monoid import cats.implicits._ hidden val m：Monoid [Map [Int， Array [Int]]] = ...
问题假设我有一个ADT，它看起来像密封特征TT案例类A（...）扩展了TT案例类B（...）扩展了TT案例类C（...）扩展了TT //。 ..很多其他人，我还有...
查看Haskell文档，从本质上讲，提升似乎是fmap的概括，它允许使用多个参数进行函数映射。维基百科有关解除......>
fantasy-land / id ::类别c =>（）-> c a我真的不明白这个签名在说什么？ id是一种方法，它接受零个参数，并返回一个类别和另外两个类别的内容...
涉及循环定义的多态函数存在问题，而且您不能拥有所有集合的集合。上面的句子来自类型和函数，其中...
正在寻找与liftA2相关的Haskell函数，但其 作用类似于从Alternative
考虑这个liftA2函数：liftA2 ::（也许a->也许b->也许c）->也许a->也许b->也许c liftA2 f什么都没有=什么都没有liftA2 f（只是x）什么都没有。 ..
在Haskell中，有一个标识函数，它只返回输入的值。 id :: a-> a还有身份仿函数，以及在Haskell中如何定义这种仿函数？
我正在尝试从https://en.wikipedia.org/wiki/Functor网站了解Constant Functor，并且无法进行视觉成像。如果有人可以将其显示为haskell代码，那也将很好，... ... >>>
我读http://www.haskellforall.com/2013/06/from-zero-to-cooperative-threads-in-33.html其中抽象语法树推导函子表示一组自由单子...
貌似我有一个很清楚的认识是什么一个Monoid是在Haskell，但我最后一次听到关于所谓的自由幺。什么是自由幺？它涉及幺？能够 ...
到目前为止，我遇到的每个monad（可以表示为数据类型）都有相应的monad变换器，或者可以有一个。有这样一个不能有一个单子吗？或者做所有......
我正在研究强大和封闭的运算符类：类Profunctor p其中dimap ::（a' - > a） - >（b - > b'） - > pab - > pa'b'类Profunctor p => Strong p哪里......
类别理论和抽象代数处理函数可以与其他函数组合的方式。复杂性理论处理函数的计算难度。我没有......我很奇怪
将“最佳”产品类型映射到“次优”产品类型的独特态射`m`真正独特吗？
我正在通过Bartosz Milewski关于类别理论的精彩博客。我坚持使用产品和副产品。巴托斯说，两个物体a和b的产物是对象c ...
试图扩展我对Haskell中符号的理解：（$）：Function Application运算符（允许你在函数上应用参数）（＆）：函数应用程序的翻转版本......
Monads不是“flatMap”而是“flatUnit”？ [关闭]
类别理论中的Monads由三元组T，单位，flat⟩定义。 class Monad t where map ::（a - > b） - >（t a - > t b） - functorial action unit :: a - > t a flat :: t（t a） - > t a ...
阅读了这本书，了解了一本非常好的Haskell，以及非常有用的维基书籍Haskell分类理论，它帮助我克服了混淆类别的常见类别错误......
我正在尝试扩展我对Haskell中符号的理解：$：Function Application操作符（允许您在函数上应用参数）＆：函数应用程序的翻转版本...
当我说1-arity | 2-arity | n-arity，我指的是grap理论中的树k-ary树：k-ary树是一棵有根的树，其中每个节点只有k个孩子我一直在使用Free ...
我知道Applicative类在类别理论中被描述为“松散的monoidal仿函数”，但我之前从未听过“lax”这个术语，而且lax functor上的nlab页面是一堆我不知道的东西......