Haskell中另一个Functor中的Map Functor
在Haskell中，除了常见的列表(List)和Maybe类型的Functor，还有一个非常有用的Functor是Map Functor。Map Functor是指将函数应用于Map数据结构中的值，而保持Map的键不变。
Map是一种关联数组，它将键和值进行映射。在Haskell中，Map通常使用Data.Map模块来实现。Map Functor允许我们对Map中的值进行操作，而不需要关心键的变化。
Map Functor的定义如下：
instance Functor (Map k) where
fmap f = Map.map f这里的k表示Map的键的类型。通过实现了Functor类型类的Map类型，我们可以使用fmap函数来对Map中的值进行映射。
Map Functor的优势在于它提供了一种方便的方式来对Map中的值进行转换和操作。通过使用Map Functor，我们可以避免直接操作Map的值，而是将操作函数应用于值，从而保持了Map的不变性。
Map Functor的应用场景包括但不限于：
- 数据转换：通过对Map中的值应用函数，可以将Map中的数据转换为另一种形式，例如将Map中的字符串转换为大写或小写。
- 数据处理：通过对Map中的值应用函数，可以对Map中的数据进行处理，例如对Map中的数字进行加减乘除操作。
- 数据过滤：通过对Map中的值应用函数，可以根据特定条件过滤Map中的数据，例如筛选出Map中大于某个阈值的值。
腾讯云提供了一系列与云计算相关的产品，其中包括数据库、服务器运维、云原生、网络通信、网络安全、音视频、多媒体处理、人工智能、物联网、移动开发、存储、区块链、元宇宙等。具体推荐的腾讯云产品和产品介绍链接地址可以根据具体的应用场景和需求进行选择。
相关·内容
1回答
我正试图通过创建一个棋盘游戏来学习Haskell。我目前有一个游戏是[Char]，我正在尝试创建另一个板的相同的列和行填充字符"a“。我该如何做呢？另外，您能解释一下存储值和访问将如何工作吗？
浏览 0提问于2017-03-28得票数 5
在学习更多关于Haskell的类型系统时，我遇到了这个问题。当我编译以下代码时：
data SingleData a = SingleData a Int String -- etc.
data DataFail a = DataFail [SingleData a]
instance Functor DataFail where
fmap f (DataFail xs) = DataFail (map f xs)
在fmap的定义上，我得到了可怕的“发生检查:无法构造无限类型:b= SingleData b”消息。奇怪的是，如果fmap位于实例声明之外，同样的fmap定义也会起作用：
浏览 1提问于2011-09-20得票数 1
2回答
Scala GADT实例函子
、、、、
在Haskell我得到了：
data Foo a where
Bar :: a -> Foo a
Map :: (a -> b) -> Foo a -> Foo b
instance Functor Foo where
fmap = Map
在Scala中，我想到了：
import cats.Functor
trait Foo[A]
case class Bar[A](t: A) extends Foo[A]
case class Map[A,B](fun: A => B,foo: Foo[A]) extends Foo[B]
implicit
浏览 2提问于2016-02-08得票数 1
回答已采纳
2回答
树上的映射
、、、
我是Haskell的新手，在实践中，我一直在使用map和foldl实现一系列函数(如foldr、length等)。现在我想搬到树上去！
我的树数据结构：
data Tree a = Node a [Tree a] deriving (Show)
我写了一个Haskell函数来折叠树木：
treeFold :: (b->a->b) -> b -> Tree a -> b
treeFold f s (Node a []) = f s a
treeFold f s (Node a xs) = foldl f (f s a) (dFSList xs)
其中dFSList
浏览 0提问于2015-10-01得票数 2
回答已采纳
Scala集合api有一些非常有趣的属性，我想知道如何在Haskell中实现它；或者它是否可能(或者总体上是一个好主意)。我是haskell的新手，所以我想听听你的想法。
scala映射定义如下所示：
def map[B, That](f: A => B)(implicit bf: CanBuildFrom[Repr, B, That]): That
此API的一个有趣特性是，如果在字符串上进行映射，而map函数返回一个字符，则结果将是string类型(而不是字符列表)。
浏览 2提问于2011-01-14得票数 6
回答已采纳
我想要做的是使用infix (我将其定义为<^>)来处理多种类型，例如选项和任意类型(自定义类型)。
给予：
type Either<'a, 'b> = Left of 'a | Right of 'b
在代码中，我希望能够：
let fO (a : int option) = None
let fE (a : Either<string,int>) = Left "dummy"
let mO = Some 1
let mE = Right 1
let testO =
浏览 5提问于2017-08-17得票数 4
回答已采纳
1回答
给出了关于函数式类型类的描述。
我可以看到，对于list，它的实现如下：
instance Functor [] where
fmap = map
但是这是如何工作的呢？
在类型类函数器中，fmap甚至没有实现。它所拥有的就是这样的类型声明：
class Functor f where
fmap :: (a -> b) -> f a -> f b
仅仅通过类型声明，Haskell如何正确地计算出列表的映射操作？
浏览 1提问于2013-04-03得票数 5
回答已采纳
我正在从学习Haskell的基础知识
书中有一个练习，您需要将Data.Map变成函子。
我正在尝试制作我自己的函子类型，并将Data.Map变成它的一个实例。
所以我试过的是：
import Data.Map as DataMap
import Data.List as DataList
class MyFunctor f where
myfmap :: (a -> b) -> f a -> f b
instance MyFunctor (Ord k) => (DataMap.Map k) where
myfmap
浏览 5提问于2014-01-07得票数 12
回答已采纳
1回答
我试图理解函子是如何工作的，所以我在这里读到了它：
我有一个函数，它接受一个映射并计算值的和(这是一个列表)。
reduce :: Map String [Int] -> Map String Int
reduce = fmap sum
我不太明白fmap是如何工作的，所以我读到了它，并尝试制作自己的版本。我不能真正测试它，因为Map已经在Haskell库中定义了。
这是对的吗？
instance Functor (Map k) where
fmap f fromList[] = []
fmap f fromList[(k, v): xs] = (f v) fmap
浏览 3提问于2014-11-29得票数 5
回答已采纳
我编写了一个Haskell风格的Functor类型类：
Class Functor (f: Type -> Type) := {
map {a b: Type}: (a -> b) -> (f a -> f b);
map_id: forall (a: Type) (x: f a), map id x = x
}
其中id有着明显的定义。
现在，我已经证明了Functor用于list的实例和函数类型。但我想证明关于任何函子的陈述。首先，我想证明本质上是重言式的东西:对任何函子的map_id的重述。
Theorem map_id_restatement: fora
浏览 0提问于2015-01-09得票数 3
回答已采纳
在我尝试使用map的所有地方，fmap都运行得很好。为什么Haskell的创建者觉得需要一个map函数？难道它不能仅仅是目前所知的fmap和fmap可以从语言中删除吗？
浏览 2提问于2011-07-26得票数 108
回答已采纳
在Haskell中，函数是函子，下列代码按预期工作：
(*3) `fmap` (+100) $ 1
当然，输出是303。但是，在Idris (使用fmap ->映射)中，它给出了以下错误：
找不到Functor (\uv => Integer -> uv)的实现
在我看来，在Idris中，函数似乎不是作为函子来实现的，至少不像在Haskell中那样，但是为什么呢？
此外，类型签名(\uv => Integer -> uv)到底意味着什么？它看起来像是一些部分应用的函数，这就是函子实现所期望的，但是语法有点混乱，特别是应该用于lambda/文字的\在那里所做
浏览 0提问于2018-05-09得票数 12
回答已采纳
我知道它们都是不同的语言，但它们本质上不是一样的吗？fmap在函数器上应用函数，而Python的map在迭代器上应用函数。因此，如果两者之间有任何区别，您能提供一个示例，说明我们可以使用Python的map而不是Haskell的fmap (反之亦然)来做一些事情吗？
浏览 0提问于2017-07-17得票数 5
1回答
C++函子(映射)
、、、
我创建了一个类either<l, r>，非常类似于Haskell的Either a b。我还在类中直接实现了一个函数map；代码如下所示：
template<typename l, typename r>
class either
{
template<typename b>
either<l, b> map(const std::function<b (r)> &f)
{
// ...
}
};
现在，我想隔离map函数，以便创建一个名为functor的抽象基类。
template<typen
浏览 7提问于2014-07-21得票数 1
回答已采纳
假设我有一个BST数据类型：
data tree a = Empty | Node a (tree a) (tree a)
deriving (Show, Read, Eq)
我正在做一个简单的map函数来应用BST的每个元素。
treeMap :: (a -> b) -> tree a -> tree b
treeMap f (Empty) = Empty
treeMap f (Node left right) = Node (treeMap f left) (treeMap f right)
然而，它给了我一个错误，说：
Const
浏览 1提问于2015-06-04得票数 2
1回答
monad的一般情况在Java 6中可以表达吗？注意"general“一词-虽然许多monad的特殊情况(即许多特定的monad )都是可表达的，但是monad的一般情况可能是不可表达的。
这里的问题是(缺少) ；但是，我看到样例Haskell代码实际上是使用类似于 (即public class Fix<F extends Fix<F>>)的方法移植到Java上的。
当然，非类型安全的实现(比如使用对象和下传)并不有趣。
更新：有两个常见的单一定义:join和绑定-返回。虽然它们(在数学上)是等价的，但它们可能不是等价的，因为一个定义可以用Java表示，而另一个
浏览 2提问于2012-11-25得票数 5
3回答
我已经写了下面的Haskell函数，它接受两个一元值，并将它们组合成一个一元值(它只是为了说明Haskell类型系统可以支持的泛型(或泛型)程度)。
combine x y = do
a <- x
b <- y
return (a, b)
我用三种不同的monads对其进行了测试：
main = do
putStrLn $ show $ combine (Just 10) (Just 20) -- Maybe a
putStrLn $ show $ combine [100] [10, 20] -- [] a
a <- combine g
浏览 1提问于2018-04-14得票数 4
我是haskell的初学者，我想知道如何计算haskell文件中的字符。在中，我编写了任何字符串中任何字符的计数，但我不知道是否可以对文件执行相同的函数。代码类似于下面的代码；
count :: Char -> String -> Int
count x xs = length [x'|x'<-xs, x==x']
任何帮助都是很好的。谢谢!
编辑:我对haskell非常陌生，所以这可能是一个非常愚蠢的问题:)
浏览 1提问于2015-12-16得票数 1
回答已采纳
这是我在这里的第一篇文章，我必须通过说我是一个Haskell初学者来自我介绍。我喜欢纯函数式编程的承诺，但经过20年的命令式编程(主要是Java)，Haskell对我来说并不是自然而然的。
这是我的第一个问题。我试图将一个函数映射到一个多层次的列表中。这段代码可以工作，但是发生映射的列表的深度级别预设在3：
(map . map . map) (+1) [[[1,4],[2,3]],[[5]]]
我需要更一般的内容，指定映射发生的级别(下面一行中的深度参数)，如下所示：
let depth = 3 :: Int
(foldl (.) id (replicate depth map)) (+1)
浏览 3提问于2014-03-24得票数 8
4回答
我如何定义一个Haskell函数，将一个函数应用于二叉树中的每个值？所以我知道它类似于map函数-它的类型是：
mapT :: (a -> b) -> Tree a -> Tree b
但仅此而已……
浏览 0提问于2010-05-03得票数 2
3回答
我正致力于在Haskell中重建一些基本的范畴理论，我遇到了一个问题。我的代码看起来像这样--非常标准。当然，这是隐藏id和(.)。
class Category c where
id :: forall a. c a a
(.) :: c b d -> c a b -> c a d
-- Recover usual behavior of . and id
instance Category (->) where
id = \x -> x
(.) = \f g x -> f $ g x
class (Category c, C
浏览 0提问于2018-05-31得票数 4
据我所知，函子是两个类别之间的映射，例如
中的对象
哪里
和
都是类别。
在Haskell中有Hask，其中对象是Haskell类型，而态射是Haskell函数。但是，Functor类型类有一个函数fmap，它在这些类型之间映射(因此是对象，而不是类别本身)：
fmap :: (a -> b) -> f a -> f b
f a和f b都是Hask中的对象。这是否意味着Haskell中的每个Functor实例都是一个函数，如果不是，Functor是否真的表示一个函子？
我在这里错过了什么？类型也在Haskell中吗？
浏览 4提问于2013-02-11得票数 23
回答已采纳
我正在学习Haskell，并开始注意到函数中常见的后缀，如：
debugM
mapM_
mapCE
被称为匈牙利符号。但同时，我可以使用类型类编写明确的代码，如：
show
return
既然像map这样的函数是如此常见，并且在许多上下文中使用，那么为什么不让类型检查器来选择map、fmap、mapM、mapM_或mapCE的正确多态版本呢？
浏览 4提问于2014-11-09得票数 14
回答已采纳
1回答
所以我必须为一种简单的语言构建一个简单的编译器，我使用Haskell的Alex和快乐来构建解析器，它已经打印了正确的AST，所以下一步我必须做的是将数据结构转换成另一个，它代表了三个地址码中的程序。
我还有点搞不懂如何做到这一点，所以，使用Haskell数据结构，我如何将AST转换成三个地址码？会非常感谢你的帮助:)
提前谢谢！
浏览 2提问于2014-05-20得票数 1
回答已采纳
我想弄清楚到底是什么规定Haskell里的deriving Functor。 我见过讯息张贴关于这件事，我已经看到测试代码但我似乎找不到关于这些规则的官方文件。
浏览 237提问于2018-02-06
1回答
什么是双函子？
、、
我对Haskell比较陌生，很难理解双函子的效用。我想我从理论上理解了它们:例如，如果我想要映射一个抽象多个具体类型的类型，例如，或者可能，我需要将它们封装在一个双函子中。但一方面，这些例子似乎是特别人为的，另一方面，似乎你可以通过简单的合成来实现同样的功能。
例如，我在中看到了由Jeremy和BrunoC.D.S.Oliveira编写的代码：
import Data.Bifunctor
data Fix s a = In {out::s a (Fix s a) }
map' :: Bifunctor s => (a -> b) -> Fix s a ->
浏览 5提问于2016-12-10得票数 14
回答已采纳
2回答
我正在尝试弄清楚deriving Functor在Haskell中的具体规则是什么。
我见过，也见过，但我似乎找不到有关规则的官方文档。有没有人能给我澄清和/或指出正确的地方？
浏览 23提问于2013-12-03得票数 27
在中，他认为所有的单子都是应用函子。
在Haskell7.7编译器输出中，我看到了以下内容(另一个示例)：
‘’Parser‘是Monad的一个实例，但不是应用性的--这将成为GHC 7.10中的一个错误，根据应用-Monad的建议。
这是否意味着Haskell目前容忍不是应用函子的Monads但计划是纠正这一点？
浏览 5提问于2013-11-17得票数 9
回答已采纳
我试图理解fmap与一个函数的关系，我想知道是否有一种“简单”的方法来写出一个函数来完成相同的fmap，而不是从函数库中调用它？
我对haskell并不熟悉，所以当我检查参考资料时，我看到了很多我的课还没有完成的事情--而且我试图保持在曲线的前面，因为它非常困难，而且移动很快。
fmap的库定义是：
fmap :: (a -> b) -> f a -> f b
我想知道，是否可以用其他函数编写fmap，就像编写实现fmap的函数一样。
然后，输出将完全像使用fmap一样，但是我们取而代之的是一个完成相同任务的助手函数。有可能吗？
浏览 0提问于2019-04-11得票数 1
回答已采纳
我试着比较Haskell的类型类和C‘S接口，假设有一个Functor。
哈斯克尔：
class Functor f where
fmap :: (a -> b) -> f a -> f b
如何在C#中实现此类型类作为接口？
我试过的是：
interface Functor<A, B>
{
F<B> fmap(Func<A, B> f, F<A> x);
}
这是无效的实现，实际上我使用了应该由F返回的泛型fmap类型。它应该如何定义，在哪里？
用Functor实现C#是不可能的吗?为什么？还是有别的办法？
浏览 0提问于2013-11-25得票数 15
回答已采纳
5回答
为什么函数类没有返回函数？
、、、、
从范畴的角度来看，函子是两个映射对(一个在对象之间，另一个在类别的箭头之间)，遵循一些公理。
我假设，每个函子实例都类似于数学定义，即可以同时映射对象和函数，但是Haskell的Functor类只有映射函数的函数fmap。
为什么会这样呢？
换句话说，UPD：
每个Monad类型的M都有一个函数return :: a -> M a。
而函子类型F没有函数return :: a -> F a，只有F x构造函数。
浏览 7提问于2014-02-08得票数 20
回答已采纳
在非常好的教程“向你学习Haskell for a Great Good”的倒数第二章中，作者定义了以下monad：
import Data.Ratio
newtype Prob a = Prob { getProb :: [(a,Rational)] } deriving Show
flatten :: Prob (Prob a) -> Prob a
flatten (Prob xs) = Prob $ concat $ map multAll xs
where multAll (Prob innerxs,p) = map (\(x,r) -> (x,p*r))
浏览 0提问于2013-03-04得票数 5
回答已采纳
问题描述
看来，自从Haskell出版以来，Haskell发生了一些变化，“为伟大的利益而学习你一个Haskell”。在创建Monads时，您不仅必须定义Functor，而且现在还要定义Applicative实现。
在书的第14章中，在关于的一节中，我们定义了一个类似于.
newtype Prob a = Prob { getProb :: [(a, Rational)] } deriving Show
然后它的Functor实例..。
instance Functor Prob where
fmap f (Prob xs) = Prob $ map (\(x, p) -> (f x
浏览 3提问于2021-05-23得票数 1
回答已采纳
如何使用以下属性编写函数"fmap“：
>>> l = [1, 2]; fmap(lambda x: 2*x, l)
[2, 4]
>>> l = (1, 2); fmap(lambda x: 2*x, l)
(2, 4)
>>> l = {1, 2}; fmap(lambda x: 2*x, l)
{2, 4}
(我在haskell中搜索一种"fmap“，但在python3中搜索)。
我有一个非常丑陋的解决方案，但肯定有更多的丙酮和通用的解决方案？：
def fmap(f, container):
t = cont
浏览 0提问于2019-01-02得票数 6
回答已采纳
2回答
为了学习Haskell，我试着改编了Conrad Barski的优秀著作“Lisp的土地”中的一些练习。这个想法是做一个简单的文本游戏引擎。
具体地说，我尝试了：
type Clau = String
type Descripcio = String
type Valors = [String]
-- NOTE : Ideas of types http://learnyouahaskell.com/making-our-own-types-and-typeclasses
data Lloc = Lloc String String String deriving (Show)
llocS
浏览 15提问于2021-06-02得票数 2
我对Haskell很陌生，我有一些关于对网格中的每个元素应用函数(例如f)的问题。
网格类型：
data Grid a = Grid [[a]] deriving (Show, Eq)
gridG :: Grid a -> [[a]]
功能定义：
mapGrid :: (a -> b) -> Grid a -> Grid b
我该怎么做呢？让我失望的是，网格是由列表组成的。通常，您只需应用map函数，但会引发意外类型错误。
例如：
mapGrid :: (a -> b) -> Grid a -> Grid b
mapGrid f (Grid g) =
浏览 3提问于2021-11-06得票数 0
回答已采纳
2回答
更高等级的类型？
、、、、
我最近才了解到更高的类型，但我提供的每一个例子都只使用了第2级的(* -> *) -> *，比如Functor。
在Scala中，使用了一个奇怪的特性定义，而在Haskell中，使用了类型类。这两种方法似乎不能更好地使用一种抽象(即((* -> *) -> *) -> *)。
我既不是Scala方面的专家，也不是Haskell方面的专家，所以如果您能够提供这样高级别类型的简单示例，如果它们是可表达的，那将是有帮助的。
浏览 4提问于2017-11-24得票数 2
函数式编程语言中的一种常见模式，具有足够先进的类型系统，可以有一种类型的“异构列表”。例如，给定一个定义为：
data List a = Nil | Cons a (List a)
(注意:为了具体起见，我将在这个问题中使用Idris，但这也可以在Haskell (有正确的扩展)、Agda等语言中得到回答。)
我们可以定义HList
data HList : List a -> Type where
Nil : HList []
(::) : a -> HList as -> HList (a :: as)
这是一个列表，它在List数据类型的每个“位置”保存一个
浏览 3提问于2021-06-13得票数 3
回答已采纳
1回答
在Haskell中，当使用typeclass时，很容易声明它的“实例”类型类型的约束。
class Functor (f :: * -> *) where
...
* -> *代表HKT (Higher-Kinded Types)，即任何符合Functor的类型都必须是HKT。
如何使用Swift的protocol实现这一点？
浏览 0提问于2018-10-20得票数 5
3回答
我才刚刚开始接触Haskell。我正在尝试创建一个函数，它模仿Haskell中的标准replicate函数，但使用了递归。例如,
Prelude> replicate 3 "Ha!"
["Ha!","Ha!","Ha!"]
它的类型应该是Int -> a -> [a]。到目前为止，我有：
myReplicate :: Int -> a -> [a]
myReplicate x y = y : myReplicate (x-1) y
myReplicate 0 y = [ ]
但是，我的函数总是生成无限
浏览 3提问于2015-06-21得票数 3
1回答
我正在学习haskell，并试图理解函数编程中泛化意味着什么。
考虑下面的代码片段：
twiceLifted :: (Functor f1, Functor f) =>
f (f1 a) -> f (f1 Char)
twiceLifted = (fmap . fmap) replaceWithP
twiceLifted' :: [Maybe String] -> [Maybe Char]
twiceLifted' = twiceLifted
如您所见，第一个函数没有具体的类型，必须实现函子。
第二个函数看起来更有趣。它重用了第
浏览 0提问于2017-07-03得票数 1
回答已采纳
假设我们有一个quickcheck属性来验证Functor的一个实例是否满足标识规则：
-- | A covariant functor.
class Map m where
(<@>) :: (a -> b) -> m a -> m b
data Proxy a = Proxy
-- | The functor identity law.
prop_mapIdentityLaw :: (Eq (m a), Show (m a), Map m)
=> Proxy (m a)
浏览 2提问于2016-06-16得票数 1
回答已采纳
1回答
我正在开发一个库，它将二进制格式解析为Haskell值。第一步创建一个ADT，它提供一些基本值的额外类型信息。我在下面编写了一个简化的版本，名为Object。
我希望库的用户可以将这个值作为一个Functor来处理，或者使用其他一些方法从结构中提取值。我无法为Functor编写一个有效的Object实例。是否可以这样做呢？
data Object a
= N
| B Bool
| I Int
| L [Object a]
deriving (Eq, Show)
instance Functor Object where
fmap f N = N
fmap
浏览 2提问于2015-06-01得票数 2
回答已采纳
我正在尝试定义一个抽象代数，它允许我推迟选择我将使用什么Monad来包装有效的操作(IO、Task、Future等)，直到我运行程序。
trait MyAlg[F[_]]
def isValid(v: int): F[Boolean]
def getElements(): F[List[Int]]
def filterValidElements(vs: F[List[Int]]): F[List[Int]]
想象一下，我需要在isValid中做一些可能会产生副作用的事情，比如检查数据库。
如果我能让isValid和getElements保持抽象就好了-这样一来，一个实现可以连接到数
浏览 14提问于2018-09-05得票数 1
回答已采纳
1回答
递归鉴别联合与映射
、、、
我需要一种树和一张地图，所以我这样做：
type 'a grouping =
G of ('a * 'a grouping) list
with
member g.map f =
let (G gs) = g
gs |> List.map (fun (s, g) -> f s, g.map f) |> G
但这让我怀疑：
map成员是样板。在Haskell，GHC将为我实现fmap (... deriving (Functor))。我知道F#没有打字机，但是有其他
浏览 2提问于2014-03-25得票数 2
回答已采纳
2回答
我经常发现自己想要将常规函数插入到“绑定”序列中。就像这个人为设计的例子：
getLine >>= lift (map toUpper) >>= putStrLn
我需要定义lift函数lift :: (a -> b) -> a -> m b才能使其工作。问题是我不知道有这样一个函数，似乎也不知道。我觉得这很奇怪，因为这对我来说是完全有意义的。
现在，可能还有其他方法来实现这一点，但我喜欢无指针样式的代码允许我在一遍中扫描一行来弄清楚发生了什么。
let lift f x = return (f x) in
getLine >>= lift
浏览 0提问于2012-03-15得票数 8
回答已采纳
我正在研究如何实现Data.Map#map，以便将函数f应用于Data.Map的每个值。
让我们考虑一下map'在List上的Haskell
map' :: [a] -> (a -> b) -> [b]
map' [] _ = []
map' (x:xs) f = f x : map' xs f
请注意，我可以在(x:xs)上进行模式匹配以递归调用map' xs f。
如何匹配模式以递归地将f应用于Data.Map的每个值？
浏览 6提问于2014-06-11得票数 2
回答已采纳
在学习了基于MacLane，Awodey和Spivak书籍的范畴理论之后，我试图理解Haskell中的自由/操作monad。
我们可以通过使用Data.Functor.Coyoneda将数据类型转换为函数式，然后使用Control.Monad.Free从数据类型中获得monad，这是基于名为Yoneda引理的数学背景。
但我并不完全理解函子可以由GHC中的派生函子扩展自动生成，而不是依赖于Yoneda引理。
与Data.Functor.Coyoneda相比，在GHC中使用派生函数有什么限制吗？
浏览 0提问于2016-06-06得票数 6
我对函数式的使用感到困惑
Functor是否用于定义映射的属性，以及如何在Haskell中编写映射的属性？
如果是这样的话，haskell是否可以在编写定义后用于生成函数或其他东西
类型或类声明的报头格式不正确:流x y
import Control.Applicative
class flow x y where { f :: x y -> x; } // this line i do not know whether is enforced to write
// how to write thi
浏览 0提问于2011-04-03得票数 0
回答已采纳
在Learn You A Haskell的" Functors，Applicative Functors and Monoid“一章中，Miran做了以下工作：
ghci> (pure 3) "blah"
3
然而，我得到了这个：
ghci> (pure 3) "blah"
<interactive>:1:2:
No instance for (Functor ((->) [Char]))
arising from a use of `pure'
Possible fix:
a
浏览 0提问于2011-10-07得票数 6
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
对象存储
即时通信 IM活动推荐
腾讯云开发者
