functor 相关问题

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

为什么在空白列表上的函子组成会返回显示错误？

[调用以下命令时，GHCI返回错误：使用'print'产生的含糊类型变量'f0'，'b0'阻止解决约束'（Show（f0 b0））'。据我了解，...

haskell functor

回答 1 投票 0

学习如何在预期的时候使用对比度图（a->也许b）而不是（a-> b）作为第一个参数（Haskell）

我正在研究Haskell，并要求我解决此练习：实现一个名为NovoPred的新数据类型，该数据类型应具有一个具有相同名称的值构造函数。还应该有一个名为...

haskell functional-programming functor maybe contravariant

回答 1 投票 0

为什么unsafePartial在PureScript中不能与简单的函子一起使用？

除非我犯了一些简单的错误，否则以下代码在功能上应该相同：-此代码不会编译pg :: forall a。 PG a->路由pg sql = connect $ apply（runPG sql）...

functor purescript

回答 1 投票 0

读取错误为Prelude.read的自定义数据类型：未解析

我对函数式编程非常陌生，我几乎没有以下自定义数据类型来代表一副纸牌。西装数据的数据类型西装=黑桃|俱乐部|钻石|心衍生（...

haskell functional-programming monads functor applicative

回答 1 投票 1

如何实现对应用性计算的协同程序？

这里要说的是避免了像嵌套图案的协程（链（米）（链（...））为一元计算：const的一些= X =>无=>一些=>一些（X）; const的无=无=>一些=>无; ...

javascript functional-programming monads functor applicative

回答 1 投票 3

功能由一个自动R选择图像文件中的一个

我有100多个图像的文件夹。我想在同一时间，我想创建将访问函数运行一个图像的分析，而不是运行R.他们每个人的谷歌视觉分析...

r loops functor google-vision

回答 1 投票 0

为什么unary_function，binary_function从C ++ 11取出？

我发现binary_function选自C ++ 11移除。我想知道这是为什么。 C ++ 98：模板结构少：binary_function {布尔运算符（）（常量T＆X，常数T＆...

c++ c++11 stl functor unary-function

回答 2 投票 13

constexpr仿函数中的成员导致运行时执行

我正在使用仿函数以下列方式生成编译时计算代码（我为长代码道歉，但这是我发现重现行为的唯一方法）：＃include ...

c++ lambda constexpr functor compile-time

回答 2 投票 4

为什么（a，a）不是算子？ [重复]

可能重复：制作（a，a）一个Functor我编写了以下quicksort实现：import Data.List（partition）quicksort [] = [] quicksort（x：xs）= let（small，notSmaller）= ...

haskell typeclass functor type-systems

回答 1 投票 7

在Coq中将高阶函数表示为容器

按照这种方法，我试图基于Haskell中的实现，使用Coq中的效果处理程序对函数程序进行建模。本文介绍了两种方法：效果语法是......

containers coq functor

回答 2 投票 4

Fmap在包含单个元素和列表的列表上

我有一个数据结构，如数据ShoppingList an = Empty |项目a项目列表[购物清单a]派生（显示）我正在尝试为此实例编写Fmap Functor ShoppingList ...

haskell compiler-errors functor type-mismatch algebraic-data-types

回答 1 投票 1

加用于在c ++中连接的预定义仿函数？

看起来像plus（）预定义的仿函数应该适用于字符串，因为它转换为使用operator +。但是这不会编译。 string one =“one”，two =“two”; string result = std :: plus

c++ functor

回答 2 投票 -1

如何存储一个仿函数，以便以后在C ++中调用

这个问题可能是天真的，如果是这样的话请原谅我，因为我正在学习。请考虑以下C ++ - 类似伪代码：#include ＃包括＃包括

c++ lambda callback invoke functor

回答 1 投票 -1

“（\ x y z - > [x，y，z]）（+ 3）（* 2）（/ 2）5美元”真的有用吗？ [重复]

在这个来自了解你的Haskell的例子中，作者展示了如何为函数声明一个Applicative实例 - > r instance Applicative（（ - >）r）其中pure x =（\ _ - > x）f＆...

haskell functor

回答 2 投票 0

强大和封闭的教育者的概括

我正在研究强大和封闭的运算符类：类Profunctor p其中dimap ::（a' - > a） - >（b - > b'） - > pab - > pa'b'类Profunctor p => Strong p哪里......

haskell functor category-theory

回答 2 投票 9

Haskell - 带有函数构造函数的数据类型的自定义函数实例

我无法为自定义数据类型（我无法更改）编写自己的仿函数实例。数据类型定义为：data Foo a = Baz String（Qux - > Foo a）|条形数据Qux =无| ...

haskell functor

回答 2 投票 1

无法用仿函数构造无限类型

我正在尝试为以下类型定义Functor，Applicative和Monad的实例：数据BTree a = Leaf a | Node（BTree a）（BTree a）派生（Eq，Show）我试过实现Functor ...

haskell functor

回答 2 投票 0

如何使用函子或应用程序在元组列表上重写此Haskell函数

有没有更好的方法来编写以下函数fs'与仿函数或应用程序？ fncnB =（* 2）fncnA =（* 3）fs'fs = zip（map（fncnA.fst）fs）$ map（fncnB.snd）fs我从中看到...

haskell functor applicative

回答 2 投票 1

Haskell为替代Either数据类型定义Functor实例

通过Typeclassopedia获取一些使用类型类的路由。想要替代Functor的一个实例，甚至检查Either的定义作为实例...

haskell compiler-errors functor type-mismatch either

回答 1 投票 5

是`x >>纯y`相当于`liftM（const y）x`

两个表达式y >> pure x liftM（const x）y在Haskell中具有相同的类型签名。我很好奇他们是否相同，但我既不能证明事实也不能......

haskell monads functor applicative

回答 3 投票 15

functor 相关问题

最新问题