*类别理论*是抽象数学的一个分支，涉及揭示和描述逻辑和数学系统的基础结构。事实证明，类别理论中的概念作为构建编程语言和程序本身语义的工具非常有效。各种类别的理论结构被用作编程抽象的工具，包括仿函数，monad和代数。
在范畴论中，可以证明身份函数是唯一的。也有人说，用参数推理，该类型为a。 a-> a只有一个居民。在Haskell中...
已知类型签名为a-> a的自然转换必须是身份函数。这源于米田引理，但也可以直接得出。这个问题要求相同的...
集合的类别既是笛卡尔单曲面的又是笛卡尔笛卡尔的。下面列出了见证这两个单曲面结构的规范同构的类型：类型x + y =任意x y ...
我正在尝试用C ++实现阅读器函子。对应的Haskell定义为fmap ::（（a-> b）->（r-> a）->（r-> b）我的C ++版本为：template B fmap（...
在Wikipedia上有关纯函数的文章中，有一个不纯函数的示例，如下所示：void f（）{static int x = 0; ++ x; }带有“由于局部静态变量的突变”的评论。 ...
我有一个monad转换器：newtype ChoiceT fma = ChoiceT（forall x。fx-> mx）-> ma现在，我认为这是Monads类别的仿函数，我想为此绘制一个地图。 。
[阅读类别理论，类别是具有形态学”转换”的对象“类型”的集合，它具有两个属性：关联性：对于每个对象，其所有的形态学都应该是...
[我为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，但我最后一次听到关于所谓的自由幺。什么是自由幺？它涉及幺？能够 ...