functor 相关问题

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

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

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

回答 1 投票 -1

“(\ x y z - > [x,y,z])(+ 3)(* 2)(/ 2)5美元”真的有用吗? [重复]

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

回答 2 投票 0

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

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

回答 2 投票 9

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

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

回答 2 投票 1

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

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

回答 2 投票 0

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

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

回答 2 投票 1

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

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

回答 1 投票 5

是`x >>纯y`相当于`liftM(const y)x`

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

回答 3 投票 15

为什么应用工作默认仅适用于Maybe

我试图理解为什么应用程序仿函数默认工作(不需要实现)对于像Maybe这样的一些仿函数,但对于其他仿函数则不行:示例:Just(+3)(Just 3)工作正常“...

回答 1 投票 0

C ++理解Functors多态性

我尝试实现多态仿函数对象(纯抽象基类和子对象),仅用于理解目的。我的目标是创建使用不同的基类的许多对象...

回答 2 投票 5

函数作为模板参数传递

我正在寻找涉及将C ++模板函数作为参数传递的规则。这由C ++支持,如下例所示:#include void add1(int&v){v + = 1; } ...

回答 6 投票 207

如果f是a-> b类型的函数,则(fmap f)与(f。)相同吗?

我正在尝试实现数据ComplicatedA的Functor实例a b = Con1 a b | Con2 [也许(a - > b)]对于Con2,我的思维过程是fmap需要像fmap f(Con2 ...

回答 1 投票 7

为什么GHC不解析'data Wrap f a = Wrap(f a)'的仿函数实例?

在Haskell Programming From First Principles第16.13节中,Wrap数据类型用于演示一种类型,其Functor实例需要对其中一个参数进行类型类约束:data ...

回答 1 投票 0

在scalaz中将函数提升到〜>

我有以下类型和声明:import scalaz._,Scalaz._ trait Container [T] type FreeContainer [A] = Free [Container,A] type FreeFreeContainer [A] = Free [FreeContainer,A] val fc:.. 。

回答 1 投票 1

Functor实例是唯一的吗?

我想知道Haskell中的Functor实例在多大程度上由函子定律(唯一)确定。由于ghc可以为至少“普通”数据类型派生Functor实例,看起来......

回答 2 投票 19

任何与fmap具有相同多态类型的函数必须等于fmap?

我正在阅读Haskell编程的第二版,我发现了这句话:...只有一种方法可以将任何给定的参数化类型转换为仿函数,因此任何函数......

回答 3 投票 4

可以比较两个仿函数的平等吗?

有没有办法让一个方法接收两个仿函数作为参数,以确定它们是否指向同一个函数?具体来说,有这样的结构:struct FSMAction {void ...

回答 2 投票 6

为什么fmap必须映射List的每个元素?

阅读了这本书,了解了一本非常好的Haskell,以及非常有用的维基书籍Haskell分类理论,它帮助我克服了混淆类别的常见类别错误......

回答 1 投票 11

可以部分应用仿函数

我正在尝试为以下类型实现fmap:data tree a = Leaf a |节点a(树a)(树a)|空导出(Eq,Show)实例Functor Tree,其中fmap _ Empty = Empty fmap f ...

回答 1 投票 6

应用类型类基于两个不同的仿函数

是否有类似于Applicative类型的类,但是应用程序的每一侧有两个仿函数是不同的? ie()::(Functor f,Functor g)=> f(a -...

回答 4 投票 3

© www.soinside.com 2019 - 2024. All rights reserved.