Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
Haskell 中的分类结构
Hask通常被认为是一个范畴 其对象是类型 态射是函数 然而 我看到 Conor McBride pigworker 警告不要使用Hask多次 1 https stackoverflow com a 45905082 474311 2 ht
Haskell
categorytheory
为什么 Haskell 中有协函子和逆变函子的区别,而范畴论却没有区别?
这个答案是从范畴论的角度来看的 https math stackexchange com a 661989 72174包括以下语句 事实是 协函子和逆变函子之间没有真正的区别 因为每个函子只是一个协变函子 More in details a
Haskell
terminology
functor
categorytheory
comonad 的简洁总结。 (其中 monad 是“不纯计算的类型”)
就简洁的总结而言 这种对 Monad 的描述似乎胜出 https stackoverflow com questions 2488646 why are side effects modeled as monads in haskell 将
monads
categorytheory
comonad
矩阵作为应用函子,不是 Monad
我遇到examples https stackoverflow com questions 7220436 good examples of not a functor functor applicative monad不是 Monad 的
Arrays
scala
monads
applicative
categorytheory
提升(在函数式编程环境中)与范畴论有何关系?
看着Haskell http www haskell org haskellwiki Lifting文档 提升似乎基本上是一个概括fmap 允许映射具有多个参数的函数 The 维基百科 http en wikipedia org wiki
Haskell
categorytheory
扁平列表和免费 monad
我试图说服自己 List monad 具有平面列表 列表串联和按元素映射的列表 不是一个自由 monad 准确地说 是与某个函子 T 关联的自由 monad 据我了解 我应该能够通过以下方式实现这一目标 首先在 monad 列表中找到常用运
list
Haskell
ocaml
monads
categorytheory
`DList` 和 `[]` 与 Co密度的关系
我一直在尝试Codensity最近这应该与DList with 除其他事项外 不管怎样 我从来没有找到说明这种关系的代码 经过一些实验我最终得到了这个 LANGUAGE RankNTypes module Codensity where n
list
Haskell
categorytheory
这个和KleisliFunctor类似的东西是什么?
这是我们如何定义KleisliFunctor https elvishjerricco github io 2016 10 12 kleisli functors html class Monad m Functor f gt Kleisl
Haskell
monads
typeclass
categorytheory
每个替代 Monad 都可以过滤吗?
集合的范畴包括笛卡尔幺半群和柯笛卡尔幺半群 下面列出了这两种幺半群结构的规范同构类型 type x y Either x y type x y x y data Iso a b Iso fwd a gt b bwd b gt a easso
Haskell
filter
monads
categorytheory
alternativefunctor
从分类角度来说,FP 中的 monad 是什么?
每当有人承诺 解释单子 时 我的兴趣就会被激起 但当所谓的 解释 是一长串例子时 我的兴趣就会被挫败感所取代 最后是一些即兴的评论 即 深奥的数学理论 背后的 数学理论 想法 目前太复杂 无法解释 现在我要求相反 我对范畴论有扎实的掌握 而
Haskell
functionalprogramming
monads
categorytheory
绑定和连接之间有什么关系?
我的印象是 gt gt 由 Haskell 使用 和join 数学家更喜欢 是 相等的 因为一个可以用另一个来写 import Control Monad join join x x gt gt id x gt gt f join fmap
Haskell
monads
categorytheory
Haskell 中附加词的用例
我一直在阅读附加语 https en wikipedia org wiki Adjoint functors在过去的几天里 当我开始从理论角度理解它们的重要性时 我想知道人们如何以及为什么在 Haskell 中使用它们 Data Funct
Haskell
functor
categorytheory
函子定律是否证明了结构的完全保留?
在文档中数据函子 http hackage haskell org package base docs Data Functor html以下两条被规定为函子法则 所有函子都应遵守 fmap id id fmap f g fmap f fm
Haskell
functionalprogramming
categorytheory
基于右 Kan 扩展的列表
在 用于程序优化的 Kan 扩展 http www cs ox ac uk ralf hinze Kan pdfRalf Hinze 所著的列表类型的定义基于来自幺半群范畴的健忘函子的右 Kan 扩展 第 7 4 节 论文给出Haskell
Haskell
categorytheory
什么是 zygo/meta/histo/para/futu/dyna/whatever 态射?
是否有一个包含示例的列表 可供没有广泛范畴论知识的人使用 使用香蕉 透镜 信封和铁丝网进行函数式编程 PDF http eprints eemcs utwente nl 7281 01 db utwente 40501F46 pdf也应该有
Haskell
functionalprogramming
combinators
categorytheory
范畴论中的“过滤器”是什么样的态射?
在范畴论中 是filter操作被认为是态射吗 如果是 它是什么样的态射 示例 Scala 中 val myNums Seq Int Seq 1 3 4 2 myNums filter gt 0 Seq Int List 3 2 result
scala
Haskell
functionalprogramming
categorytheory
是否有一个 monad 没有相应的 monad 转换器(IO 除外)?
到目前为止 我遇到的每个 monad 可以表示为一种数据类型 都有一个相应的 monad 转换器 或者可以有一个 是否存在这样一个不可拥有的单子 或者所有的 monad 都有相应的转换器吗 By a 变压器t对应单子m我的意思是t Iden
Haskell
monads
monadtransformers
categorytheory
为什么在证明与 Monad 等价时,ArrowApply 是唯一的选择?
Under 这个问题 https stackoverflow com questions 59869399 why does mutual yielding make arrowapply and monads equivalent unl
Haskell
monads
categorytheory
arrows
所有 Haskell 函子都是内函子吗?
我有点困惑 需要有人来纠正我 让我们概述一下我目前的理解 Where E是一个内函子 并且A是某个类别 E A gt A 由于 Haskell 中的所有类型和态射都在Hask类别 不是任何functor在 Haskell 中还有一个内函子
Haskell
functor
categorytheory
(<*>) 中的 * 有特殊含义吗?
试图扩展我对 Haskell 中符号的理解 函数应用运算符 允许您在函数上应用参数 函数应用运算符的翻转版本 flip lt gt 结合运算符 您可以在半群和幺半群中找到它 lt gt 功能应用 提升到 Functor 结构上 lt gt
Haskell
operators
namingconventions
applicative
categorytheory
1
2
»