category-theory 相关问题

*类别理论*是抽象数学的一个分支，涉及揭示和描述逻辑和数学系统的基础结构。事实证明，类别理论中的概念作为构建编程语言和程序本身语义的工具非常有效。各种类别的理论结构被用作编程抽象的工具，包括仿函数，monad和代数。

是否有两个函子之间不存在自然变换？

我有一个Task，它基本上是具有合并错误情况的延续类型，并且是Optional，它表示可能不会产生结果的计算。似乎是自然的...

javascript functional-programming functor category-theory

回答 1 投票 0

将代码从Haskell转换为SML时遇到麻烦

我正在尝试将以下代码从SML转换为haskell，但遇到了一些麻烦。类型List_alg x u =（u，x-> u-> u）list_cata :: :: List_alg x u-> [x]-> u list_cata ...

haskell functional-programming sml category-theory catamorphism

回答 1 投票 0

Haskell中的身份函数有多个居民？

在范畴论中，可以证明身份函数是唯一的。也有人说，用参数推理，该类型为a。 a-> a只有一个居民。在Haskell中...

haskell category-theory

回答 1 投票 0

是否存在一个非等式单子态M〜> M在M中是单子自然的？

已知类型签名为a-> a的自然转换必须是身份函数。这源于米田引理，但也可以直接得出。这个问题要求相同的...

haskell monads category-theory

回答 1 投票 7

每个替代的Monad是否可以过滤？

集合的类别既是笛卡尔单曲面的又是笛卡尔笛卡尔的。下面列出了见证这两个单曲面结构的规范同构的类型：类型x + y =任意x y ...

haskell filter monads functor category-theory

回答 1 投票 8

C ++中的阅读器函子

我正在尝试用C ++实现阅读器函子。对应的Haskell定义为fmap ::（（a-> b）->（r-> a）->（r-> b）我的C ++版本为：template B fmap（...

c++ templates haskell functor category-theory

回答 2 投票 0

所有固定大小的容器是否都具有强大的单曲面函子，和/或反之亦然？

haskell functor applicative category-theory

回答 1 投票 4

所有固定大小的容器是否都具有强大的单曲面函子，反之亦然？

haskell functor applicative category-theory

回答 1 投票 3

为什么将无用的孤立的“静态”函数视为不纯？

在Wikipedia上有关纯函数的文章中，有一个不纯函数的示例，如下所示：void f（）{static int x = 0; ++ x; }带有“由于局部静态变量的突变”的评论。 ...

c++ functional-programming category-theory

回答 1 投票 2

为此Monad变压器编写地图

我有一个monad转换器：newtype ChoiceT fma = ChoiceT（forall x。fx-> mx）-> ma现在，我认为这是Monads类别的仿函数，我想为此绘制一个地图。。

haskell monads functor monad-transformers category-theory

回答 1 投票 0

FP中的Lambda演算与类别理论[关闭]

haskell functional-programming lambda-calculus category-theory

回答 1 投票 -2

为什么“身份”在范畴论中很重要，为什么将其称为“身份”？

[阅读类别理论，类别是具有形态学”转换”的对象“类型”的集合，它具有两个属性：关联性：对于每个对象，其所有的形态学都应该是...

math functional-programming identity category-theory

回答 1 投票 0

Cats的Monoid实例在合并数组映射时抛出异常

[我为Map [Int，Array [Int]]定义了一个Monoid实例，并尝试使用它来合并这样的地图列表：import cats.Monoid import cats.implicits._ hidden val m：Monoid [Map [Int， Array [Int]]] = ...

scala functional-programming scala-cats category-theory monoids

回答 1 投票 1

Scala-创建类型集合的惯用方式

问题假设我有一个ADT，它看起来像密封特征TT案例类A（...）扩展了TT案例类B（...）扩展了TT案例类C（...）扩展了TT //。 ..很多其他人，我还有...

scala shapeless category-theory

回答 1 投票 1

提升（在函数式编程环境中如何与类别理论联系？

查看Haskell文档，从本质上讲，提升似乎是fmap的概括，它允许使用多个参数进行函数映射。维基百科有关解除......>

haskell category-theory

回答 2 投票 20

Fantasy-land / id是做什么的？

fantasy-land / id ::类别c =>（）-> c a我真的不明白这个签名在说什么？ id是一种方法，它接受零个参数，并返回一个类别和另外两个类别的内容...

javascript category-theory fantasyland

回答 1 投票 1

为什么将循环定义包含在多态函数中会引起类型定义的问题？

涉及循环定义的多态函数存在问题，而且您不能拥有所有集合的集合。上面的句子来自类型和函数，其中...

type-systems category-theory

回答 1 投票 0

考虑这个liftA2函数：liftA2 ::（也许a->也许b->也许c）->也许a->也许b->也许c liftA2 f什么都没有=什么都没有liftA2 f（只是x）什么都没有。 ..

haskell monads applicative category-theory

回答 2 投票 0

身份函子看起来如何？

在Haskell中，有一个标识函数，它只返回输入的值。 id :: a-> a还有身份仿函数，以及在Haskell中如何定义这种仿函数？

haskell category-theory

回答 1 投票 -5

什么是常数函子？

我正在尝试从https://en.wikipedia.org/wiki/Functor网站了解Constant Functor，并且无法进行视觉成像。如果有人可以将其显示为haskell代码，那也将很好，... ... >>>

haskell category-theory

回答 3 投票 0

category-theory 相关问题

最新问题