functor 相关问题

术语“仿函数”有几个常见的含义：1。函数对象。在面向对象语言中，它是一种允许使用对象的功能，就像它们是普通函数一样。 2.处理类别之间映射的数学结构。这个概念在一些编程语言中是一个有用的抽象，特别是Haskell，它被实现为一个类型类。 3.在OCaml中，一个以另一个模块作为参数的模块。

从分类的角度来看，仿函数是一对两个映射（一个在对象之间，另一个在类别的箭头之间），遵循一些公理。我假设，每个Functor实例都是......

math haskell monads functor category-theory

回答 4 投票 14

我最近学习了SML，当我开始了解术语 - 应用和生成的函子。我也知道SML使用生成函子。我试图谷歌的条款，但找不到...

functional-programming terminology sml functor

回答 1 投票 6

我试图在java中编写一些函子，monad和applicatives。我发现了一些，并选择了下面的一个。在类别理论方面，什么是get（）返回？单位（）似乎某种......

java functional-programming functor applicative category-theory

回答 1 投票 -1

我正在关注这个关于F代数的博客它解释了终端代数通常在编程中被解释为生成（可能是无限的）数据结构或转换的秘诀......

haskell functor

回答 1 投票 1

我想这样做：#include ＃包括 class Comparator {public：Comparator（SomeObject＆rTool）：mrTools（rTool）{} bool operator（）（const std :: string＆a，...

c++ constructor priority-queue functor

回答 2 投票 5

我一直在阅读一篇文章（http://comonad.com/reader/2012/abstracting-with-applicative/）并在那里找到以下代码片段：newtype Compose fga = Compose（f（ga））派生.. 。

haskell functor

回答 3 投票 19

我理解parens强制执行不同的操作顺序，但我不太明白第一个结果：>>（fmap length Just）[1,2,3] 1以下是完全合理的 - ...

haskell functional-programming functor

回答 1 投票 4

考虑以下代码，其中派生出一个函数，继承自两个基类base1和base2，每个基类提供不同的重载：//前言#include ＃包括

c++ overloading c++17 template-meta-programming functor

回答 1 投票 6

我写了一个简短的函数：swapMaybe：Monad m => Maybe（m a） - > m（也许是）swapMaybe Nothing = pure Nothing swapMaybe（Just x）= map Just x然后我试图证明它的一个属性：...

functor idris theorem-proving

回答 1 投票 0

为什么在fmap的方法参数之后会对getArgs进行求值？ main :: IO（）main = do fpath

haskell io functor

回答 1 投票 0

这是对我之前问题的回答的后续行动。我们知道仿函数组成。我可以使用scalaz编写一个仿函数List [_]和Option [_]的组合：import scalaz._，Scalaz ....

scala functional-programming composition functor scalaz

回答 3 投票 1