3回答
我对范畴理论的知识不是很好。所以请容忍我。
我一直在读
看到了下面的定义。
class (Category c, Category d) => Functor c d t where
fmap :: c a b -> d (t a) (t b)
我从那个网站上读到，Haskell前奏曲中的函子类型实际上是一个内函子。(上述类别中的C及d类均为Hask)
读完这一页后，我想知道。如果Haskell使用的是实数函子而不仅仅是内函子，它会更适合元编程吗？
假设我们有以下内容( Js代表Javascript)
data Js a where
litInt :: Integer -&
浏览 7提问于2015-04-12得票数 8
回答已采纳
函子是范畴间保持结构的变换.这是一种将对象从一个类别映射到另一个类别的对象的方法，同时也保留了对象之间的箭头--把它看作是一个类别同态。
内切程序是从一个类别返回到同一个类别的函子。
在JavaScript中，Array.map通常可以被链接，因为它总是返回数组。
someArray
.map(f1)
.map(f2)
.map(f3)
...
因此，在第一次考虑(2)时，我只是想"ok，因为Array是一个特殊类型，它有一个方法映射，并且它返回相同的类型，所以JavaScript数组必须是内皮函数。“
然而，考虑到(1)，我想“等等，这仅仅是所有函子的一种结构保存
浏览 0提问于2018-07-07得票数 0
回答已采纳
2回答
函子结合律混淆
、、、、
几个星期以来，我一直被函子的结合定律(内函子)弄糊涂。
我知道每一个内射体都会形成构图/联想特征。
作文是联想式的。基本上，这意味着当您组合多个函数时(如果您感觉很花哨的话)，您不需要括号：
h∘(g∘f) = (h∘g)∘f = h∘g∘f
让我们再看一看JavaScript中的合成定律：
给定函子，F：
const F = [1, 2, 3];
以下内容相当于：
F.map(x => f(g(x)));
// is equivalent to...
F.map(g).map(f);
但是，如下所示，特别是后面的部分：
console.log("====
浏览 1提问于2018-07-16得票数 1
在中引入了身份函子：
const Box = x =>
({
map: f => Box(f(x)),
fold: f => f(x) // for testing
})
我花了一天的大部分时间来理解函子，以及为什么上面的JavaScript代码实际上是身份函子。所以我想我会修改它，得到一个“真实的”函子，而不是身份函子。我想出了这个：
const Endo = x =>
({
map: f => Endo(f(x).split('')),
fo
浏览 3提问于2017-07-17得票数 2
回答已采纳
1回答
日安，
我正在写一个程序“地理计算器”作为我们大学的一项任务。我面对一个设计问题。接口包含两个组:A和B。每个组由两个组合框和一个表组成。第一个组合框允许用户在两个参考系统(WGS-84、SK-42、SK-95等)之间进行选择。大地坐标系、空间坐标系和平面坐标系之间的第二个。该表用于输入一组点(标号、X(或B)、Y(或L)、Z(或H))。转换函数涉及大量的常数和大量的公式。
我的问题是:为了调用适当的转换函数，组织代码、连接组合框和函数的最佳方法是什么？
让我们来谈谈重点。我子类化了一个抽象模型(PointsModel)，其中存储了我所有的观点。它对组合框和算法一无所知。组合框在MainWin
浏览 2提问于2014-11-25得票数 0
回答已采纳
1回答
使用字符串映射行为
、、、
考虑到map是：
map :: (a -> b) -> [a] -> [b]
为什么R.map(R.toUpper, 'hello')返回['H', 'E', 'L', 'L', 'O']而不是"HELLO"
例如，在haskell中，字符串是一个字符列表，因此map toUpper "hello"的行为与预期(HELLO)相同。
兰达的map不应该做同样的事吗？
这可能是一种设计选择，但我认为Ramda的映射可能违反了函子定律：，如果我们在函子上
浏览 0提问于2019-07-26得票数 4
回答已采纳
我在试着理解埃尔姆。我对Bacon.js有一点经验，在我看来lift基本上是Bacon.js的内部map()函数重命名的。
还有比这更重要的吗？
浏览 3提问于2013-08-16得票数 3
回答已采纳
2回答
在比较函数和函子时，常提到函子比函数的一个优点是函子是有状态的。
然而，在这段代码中，在我看来，函数可能也是有状态的。那么我在做什么/理解错了什么？
struct Accumulator
{
int counter = 0;
int operator()(int i)
{
counter += i;
return counter;
}
};
int Accumulate(int i)
{
static int counter = 0;
counter += i;
return counter;
};
int main()
{
Accum
浏览 4提问于2014-06-13得票数 6
回答已采纳
18回答
在阅读关于函数式编程的各种文章时，我遇到过几次“函数式”这个术语，但作者通常认为读者已经理解了这个术语。环顾网络，要么提供了过于技术性的描述(参见)，要么提供了令人难以置信的模糊描述(参见中关于函子的一节)。
有人能很好地定义这个词，解释它的用法，或者提供一个如何创建和使用函子的例子吗？
编辑：虽然我对术语背后的理论感兴趣，但我对理论的兴趣不如对这个概念的实现和实际使用的兴趣。
编辑2：看起来出现了一些跨术语的情况:我专门指的是函数式编程的函子，而不是C++的函数对象。
浏览 6提问于2010-01-08得票数 241
回答已采纳
当我尝试运行业力测试运行程序时，我从我的一个文件中得到一个错误，如下所示:我的库google是未定义的？
Chrome 36.0.1985 (Mac OS X 10.9.4) ERROR
Uncaught ReferenceError: google is not defined
at /Users/giowong/rails_project/doctible_pre_treatment/app/assets/javascripts/angular-google-maps.min.js:7
我的karma.conf.js文件
// Karma configura
浏览 3提问于2014-08-10得票数 11
回答已采纳
1回答
我试图包装一个HTMLElement来创建一个Ext.Element，但是这会神秘地用一些ID覆盖Ext.id函数，并使ExtJ在这一点之后无法使用。
我试着制作这个简单的例子来说明这个问题，尽管我不得不在原始应用程序中挖掘大量的代码来发现这个微妙的错误，例如，尝试这段代码在线或使用以下代码
<html>
<head>
<script type="text/javascript" src="adapter/ext/ext-base.js"></script>
<script type="text/j
浏览 3提问于2011-01-06得票数 1
回答已采纳
3回答
调用如下函数之间有什么区别/相似之处？
这两种方式的目的是什么？
他们的利弊是什么？
有人能解释一下这个呼叫是如何工作的吗，-> sum(2)(3);？还有其他传统的电话吗？
这两个调用的sum函数都可以创建如下代码
function sum(x) {
if (arguments.length == 2) {
return arguments[0] + arguments[1];
} else {
return function(y) { return x + y; };
}
}
console.log(sum(2,3));
浏览 7提问于2017-10-10得票数 7
回答已采纳
我正在尝试使用推力的min_element约简来找到Prim算法中的下一个边缘。我在图边上迭代。这是我的比较功能：
struct compareEdge {
__host__ /*__device__*/ bool operator()(Edge l, Edge r) {
if (visited[l.u] != visited[l.v] && visited[r.u] != visited[r.v]) {
return l.cost < r.cost;
} else if (visited[l.u] != v
浏览 3提问于2014-05-29得票数 0
回答已采纳
2回答
在阅读了这个主题：和之后，我编写了一个小小的测试来测量开关/用例样式的编码和一个函数数组之间的性能差异。函数调用(F类成员)只使用cpu容量(算术部分)：没有系统调用，没有控制台输出等I/O。
最后，这两种方法之间的差异大约是30%的切换方法！好的，函数指针比开关/大小写慢一点。
所以我的问题是：，我的测试在你看来是有效的吗?，还是我引入了任何导致这些难以置信的结果的偏见? 30%！
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Diagnos
浏览 3提问于2014-05-28得票数 2
我对在Java中使用函子(函数对象)感兴趣。通过快速搜索，我找到了以下3个包：
Java通用算法：
公域函子：
芒果：
而在3个中，JGA似乎有最好的设计。但是，我怀疑这里实际使用了一个或多个包的其他人可能能够更深入地了解这些(也许还有其他)函式包的优缺点。
浏览 2提问于2009-03-16得票数 7
回答已采纳
2回答
我正在尝试熟悉JavaScript中的函数式编程。我只是指针函子是：
一个具有of函数的对象，它将任何单个值都放入其中。
ES2015添加了Array.of，使数组成为一个尖头函子。
我的问题是，“单一价值”到底是什么意思？
我想制作一个函子/容器(如)，它将给定尺寸(宽度、高度)的网格作为一维数组，并允许我对其进行转换。作为一个普通的对象，我会将它存储为{ width: 2, height: 2, list: [1, 2, 3, 4] }，但是我想把它放在函子中，我不知道如何正确地操作。
我知道使用这样的点函子来存储单个值是非常好的：
Container.of(47)
但是，是否可以
浏览 7提问于2016-08-27得票数 9
回答已采纳
1回答
我正在尝试重新排序一个具有标签值对的关联数组。我正在使标签数据以字母顺序order.but对齐，我需要以月份数组的形式对数组进行排序。我的输入如下：
Array
(
[0] => Array
(
[label] => August
[value] => 100.55
)
[1] => Array
(
[label] => November
[value] => 100.24
)
浏览 3提问于2017-11-28得票数 1
回答已采纳
我想在单击In按钮后，从material-ui dialog下拉框中传递一个选项(material-ui dialog或Out)。
问题
我已将select字段命名为dailyinput，并希望在进行axios调用(PUT)时将所选的value输入其中。
目前，我正在把value作为undefined。
我添加了一个演示链接：
// Availability.js
import DailyStatusDialog from "../modal/DailyStatus";
const Availability = () => {
const [
浏览 5提问于2020-06-20得票数 1
1回答
Scala的Option既是单子又是函子吗？
据我所知，functor只是一个数据类型，它公开了以下API：
函子
包装(或apply)，它接受一个原语，并将它包装在函子中
map，它接受一个函式，解开它，应用一些函数并重新包装它。
所以Option是一个函子。因为我可以将Option应用于原语，从而给出Option[T]。我还可以在map上Option上获取函子中的内容，并在Option中重新打包。
monad有什么不同？我原以为monad也有一个apply函数和一个map函数。从，我知道一个单曲和有flatMap？它被定义为简单的map，但不需要在monad中重新打包结果？
浏览 0提问于2019-05-29得票数 0
回答已采纳
1回答
我正在试图计算一组C++文件的一些代码度量。我发现可用的工具要么很贵要么很旧，所以我选择
用gccxml解析文件
分析输出的xml文件。
然后，我遇到了一些标题还没有准备好的问题：
错误: js-config.h:文件夹中没有这样的文件或目录//但js-config.h.in
错误: jsautocfg.h:没有这样的文件或目录
因为我想要的是每个C++文件的基本结构，所以是否可以让gccxml输出xml文件？
浏览 0提问于2013-08-08得票数 0
1回答
在Scala (如List )中，我们有一个map方法将List[A]转换为List[B]，如下所示：
trait List[A] {
def map[B](f: (A) => B): List[B]
}
我有类似的东西，除了map方法只接受从A到A的函数，如下所示：
trait State[A] {
def map(f: (A) => A): State[A]
}
有像这样的退化map方法的monad的名称吗？它已经不是真正的单身汉了，是吗？
浏览 6提问于2015-10-28得票数 1
回答已采纳
1回答
我确实为我的函子重载了操作符()，因为它现在接收了两个params。我知道这是可能的，但我是如何调用的呢？据我所见，函数为std::transform或std::for_each，每次在单个param上迭代。
最起码的例子：
struct Functor
{
Functor(double epsilon, double delta): ...
float operator()(int a, int b) const;
private:
_epsilon, _delta;
}
Functor f(.1, .2);
std::vector v =
浏览 2提问于2021-05-24得票数 0
回答已采纳
据我所知，我们可以通过Coyoneda导出函子。但是存在一些haskell软件包
我的问题是，Coyoneda和有什么区别？
浏览 0提问于2018-02-23得票数 6
在Haskell中，函子类型函子的定义如下(例如，见哈斯克尔维基)：
class Functor (f :: * -> *) where
fmap :: (a -> b) -> f a -> f b
据我所知(如果我错了请纠正我)，这样的函子只能有一个用类型构造函数(如[]、Maybe等)构造的范畴作为目标范畴。另一方面，人们可能认为函子的任何范畴都是函子的目标，例如所有类型的范畴。例如，Int可以是函子目标类别中的对象，而不仅仅是Maybe Int或[Int]。
Haskell函子受到这种限制的动机是什么？
浏览 0提问于2014-07-19得票数 12
我对Qt相当陌生，我正在尝试做一些Android开发。我正在使用Qt并使用QAndroidJNIEnvironment。在代码中，我使用QMetaObject::invokeMethod实现我的本机方法来调用QMainWindow头中的一个槽。问题是，java文件中的本机方法有一个参数，即java整数数组(我认为QAndroindJniObject是jintArray的等价类型)。我无法在Q_ARG( type，value )宏中找到相应的c++/Qt类型来解析参数。请帮助我理解我做错了什么，因为我认为与jintArray等效的类型是int []，但是当我使用它时会收到错误。提前谢谢你的帮助。
浏览 1提问于2015-09-18得票数 0
1回答
偶尔，我会看到对的引用。
被描述为：
Hask是Haskell类型和函数的范畴。
这是一件很公平的事情，可以试着去定义。如果一个人喜欢尝试并找到描述事物的方法。但一般来说，在这样做的时候，人们希望能对事物的本质有特别的了解，或者从中产生一些东西。
定义帽子的目的是什么？
是否有从这方面获得洞察力的好例子？
它仅仅是一种谈论某些事情的方式，否则将很难简明地定义？
浏览 0提问于2019-12-22得票数 6
回答已采纳
1回答
猫头鹰旋转木马自动播放不正常？
、、、、
我有问题的猫头鹰旋转木马‘自动播放’功能。我已经上传并包括了所有需要的文件。它在负荷下正常工作。自动游戏工作得很好。但是当我在任何一个滑梯上悬停时，它就停止了(&我想在悬停时停止)。当我释放鼠标时，它就不再播放了。另外，当我在浏览器的不同选项卡之间切换并返回到旋转木马打开的选项卡时，它也会永久停止。我需要拖动鼠标点击或鼠标球，然后它再次播放。
不知道问题出在哪里。我已经咨询了官方的“猫头鹰”网站和这些线程，以及，，。尝试并应用这些线程中提供的所有解决方案。什么都没变。
这是我的代码.
<section id="demos">
<div class=
浏览 2提问于2017-02-15得票数 2
回答已采纳
我想将它们排除在包之外，这样浏览器就可以缓存它们。我尝试过这个和一些变体，但在webpack.config.js中没有成功。反应和反应--工作很好。
externals: {
"react": "React",
"react-dom": "ReactDOM",
'mobx': "observable",
'mobx-react': "observer"
},
我要把他们带进我的index.html
<script src="
浏览 5提问于2016-11-22得票数 1
回答已采纳
我们都知道，爱/恨的成分从右到左：
(.) :: (b -> c) -> (a -> b) -> a -> c
自然/左向右组合的“最标准”操作符(如某种公共库)是什么：
(???) :: (a -> b) -> (b -> c) -> a -> c
它概括了值的常识运算符，被看作是来自()的函数：
(&) :: a -> (a -> b) -> b
可以在几个librairies中找到
如果没有的话，有谁能告诉我这个经营者的名字呢？在数学中，自然作文经常被写成";“但是第二好的名字是什么呢?也许
浏览 2提问于2018-12-01得票数 3
回答已采纳
我是C++新手，所以我试图理解为什么下面的代码不能工作：
std::sort(arr, arr + j);
for (int i = 0; i < j; i++) {
cout << arr[i] << "\n";
}
输入I测试：a, u, m
我期望的输出：a, m, u
但仍然是a, u, m。
我假设这是因为我将指向数组的指针放入sort() (代码的那一部分在函数中)？但是我在这里读了很多关于如何排序数组的指针的问题，但是我真的被困住了。请有人用一种简单易懂的方式解释一下，为什么我的代码不能工作，以及如何修复它？
更新
stru
浏览 1提问于2021-08-29得票数 0
我在python中遇到了一个正则搜索的问题。
所以我有：
testVariable = re.findall(r'functest(.*?)1', 'functest exampleOne [2] functest exampleTwo [1] functest exampleOne throw [2] functest exampleThree [1]')
目前的产出是：
[' exampleOne [2] functest exampleTwo [', ' exampleOne throw [2] functest exampleTh
浏览 6提问于2022-11-18得票数 0
回答已采纳
1回答
在C++11中，线程对象可以被移动。众所周知，我们创建的每个线程都拥有一个函子。显然，移动一个未执行其函子的线程是合理的。但是，移动一个正在调用或已经执行了一段时间的函数的线程又如何呢？
为了更进一步，如果我实现了一个线程包装类，如：
//noncopyable is a tag class of which copy constructor and copy assignment are deleted.
class Thread:noncopyable{
private:
using ThreadFunc = std::function<void()>;
boo
浏览 0提问于2020-10-21得票数 1
回答已采纳
我有两个简单的例子：
1) xt函数(这是什么？)
Prelude> :t fmap
fmap :: Functor f => (a -> b) -> f a -> f b
Prelude> :{
Prelude| f::Int->Int
Prelude| f x = x
Prelude| :}
Prelude> xt = fmap f // ?
Prelude> :t xt
xt :: Functor f => f Int -> f Int
Prelude> xt (+2) 1
3
2) xq函数(通过组合)
Prelu
浏览 3提问于2018-01-11得票数 0
回答已采纳
我正在教自己Prolog，并给出了一些例子。
其中之一使用dynamic/1内置指令：
:- dynamic(items/1).
我知道动态的概念。可以通过断言修改谓词，并撤回谓词。
但是，该程序还在一些地方使用了以下内容：
:- dynamic(location/2).
这两种/1和/2的区别是它们也是一种/3 ./n？
浏览 2提问于2014-04-22得票数 2
回答已采纳
例如，如果您有下一行Prolog声明：
move(state(middle, onbox, middle, hasnot),
grasp,
state(middle, onbox, middle, has)).
移动和状态函子都是？
我被事实，函子，术语弄糊涂了.
浏览 6提问于2013-10-01得票数 11
回答已采纳
我正在用Qt进行实验，为一个正在工作的仪器模拟程序提供一个新的布局。我们当前的sim是在一个窗口中运行所有的东西(我们使用了glut (旧的)和fltk)，它使用glViewport(...)和glScissor(...)将仪器读数分割成他们自己的视图，然后使用某种形式的"ortho2D“调用来创建他们自己的虚拟像素空间。模拟器当前更新仪器，然后在各自的视口中一个接一个地绘制，所有这些都在同一个线程中。
我们想要找到一个更好的方法，于是我们决定了Qt。我在几个大的限制下工作：
每个仪表板仍然需要在他们的OpenGL视口。有很多纽扣和很多乐器。我的初步解决方案是为每个用户使用一个QO
浏览 7提问于2016-08-19得票数 4
回答已采纳
我正在将一个C++03项目重构为C++11。
我有一个类，其中定义了一个函子，用于排序：
class Widget
{
public:
class SortByRules
{
public:
bool operator()(const Widget &lhs, const Widget &rhs) const;
}
}
这个函子在我整个项目的各个地方都使用过。一个示例用法：
std::vector<Widget> widgets;
// ...
std::sort(widgets.begin(), widgets.end(), Widg
浏览 0提问于2019-09-24得票数 1
回答已采纳
3回答
最近，我遇到了这个关于函数编程的不同方面的有用资源的，例如monads和monoids等。
但问题是，一个普通的程序员能从这些概念中得到什么用呢？我经常会遇到关于这些问题的“学术”研究。然而，我从来没有见过在实践中(在一个真正的项目)任何人使用它们。
所以问题是，在Haskell，是否有任何广泛使用的开源项目真正利用了这些东西，这些项目证明了这种概念在“生产”软件中的实际必要性，而不是在“学术”软件中所写的“只是为了好玩”。列一张这样的单子是很酷的：
Monads在A和B这样的项目中使用，因为否则这样的代码看起来要复杂得多。
单子星也是如此。
函子也是如此。
箭也是一样。
浏览 5提问于2011-11-28得票数 6
回答已采纳
2回答
两个非函子能组成一个函子吗？
、、、、
我们可以有两种类型的f, g :: * -> *，使它们不是单子，但它们的组成是。例如，对于任意固定的s
f a := s -> a
g a := (s, a)
g a不是monad (除非我们将s限制为单半群)，但是f (g a)是状态monad s -> (s, a)。(与函子和应用函子不同，即使f和g都是monads，。)
函子和应用函子有类似的例子吗？也就是说，f和g的组合是函子(或应用函子)，尽管
f和g中的一个不是(应用程序)函子，另一个是
它们都不是(应用)函子，
浏览 5提问于2014-09-21得票数 7
1回答
考虑这个函数，它应该将一个范围内的每个数乘以所提供的值，还可以选择使用函子来获得对要乘以的数字的引用：
template <typename TIter, typename TNumber, typename TTransformer = self_reference<iterator_traits<TIter>::value_type>>
void multiply_range(TIter begin, TIter end, TNumber multiplicand, TTransformer transformer = TTransformer()) {
浏览 3提问于2016-08-27得票数 3
回答已采纳
2回答
正如引用者在CLion IDE上所说的那样，我声明了一个CLion。
priority_queue<int, vector<int>, greater<int>> pq;
沃尼格说
Clang-Tidy: Prefer transparent functors 'greater<>'
这段代码没有任何警告。
priority_queue<int, vector<int>, greater<>> pq;
我照推荐信说的那样做了：
std::priority_queue<int, std::v
浏览 1提问于2019-08-06得票数 2
回答已采纳
7回答
在中，我试图解决问题。问题是从std::string中删除重复字符。
std::string s= "saaangeetha";
由于顺序并不重要，所以我首先对s进行排序，然后使用std::unique并最终调整大小以获得：
aeghnst
这是正确的！
现在我也想做同样的事情，但同时我想要完整的字符顺序。意思是，我要这个输出：
sangeth
所以我写了
template<typename T>
struct is_repeated
{
std::set<T> unique;
bool operator()(T c) { retur
浏览 15提问于2011-03-22得票数 21
回答已采纳
1回答
Haskell中有类似于以下类型类的东西吗？
class Mergeable (f :: Type -> Type -> Type) where
merge :: f a b -> f c d -> f (a, c) (Either b d)
特别是，假设在某些值和路由上有一个Site类型的索引：
data Site a r
我们希望“合并”两个站点，例如和都将其数据(值)保存在内存中，同时支持路由的或。
instance Mergeable Site where
merge site1 site2 = ...
还有另一种类型，称为RouteEncoder
浏览 4提问于2022-02-18得票数 4
我和模特有一条路：
export default Ember.Route.extend({
model: function(){
return this.store.findAll('person');
}
});
我想在我的控制器中修改这个模型中的数据：
export default Ember.Controller.extend({
actions:{
justLog: function(){
this.get('model') // ???
}
}
});
但是this.get('model
浏览 0提问于2016-05-22得票数 2
回答已采纳
在有状态计算中，我会使用相同的镜头作为设置器和getter。GHC似乎无法推导出函子f的一般类型。
import Lens.Family
import Lens.Family.State
import Control.Monad.State
-- | Run computation inside modified state
with :: Functor f => LensLike' f s a -> a -> State s b -> State s b
with lens value comp = do
value' <- use le
浏览 3提问于2014-08-07得票数 3
回答已采纳
我正在尝试学习如何在javascript中使用应用程序函子，并遇到了ap方法。我试图用它来组合三个数组，如下所示：
const products = ['teeshirt', 'sweater']
const options = ['large', 'medium', 'small']
const colors = ['red', 'black']
因此，根据，我正在试验以下内容：
const buildMerch = product => option => color
浏览 9提问于2017-10-15得票数 3
回答已采纳
1回答
阅读对这个博客帖子的评论，我意识到我不太了解Haskell、OCaml和Standard等语言之间的一些真正有趣的功能机制。我想要的不是语法的高级概述，而是这三种事物的一般概念。
浏览 0提问于2016-08-01得票数 3
回答已采纳
我试图编写一个过程来检查一个图中的两个节点是相邻的还是相邻的。
我用的是SWI-prolog。
我正在努力：
adjacent(X,Y,graph(_,E)):-
member(e(X,Y), E).
然而，这是行不通的，我很困惑为什么。
我用这个做测试图。
tem(graph([s,t,u,v], [e(a,b), e(b,d), e(b,c), e(c,d)])).
我像这样在爬虫上检查：
?- tem(graph(_, E)), adjacent(a, b, E).
false.
但这两个人都是邻居，所以应该是真的。
浏览 0提问于2016-12-27得票数 0
回答已采纳
2回答
在范畴理论中，函子是两个范畴之间的同态。在Haskell中，有人说应用函子允许我们应用函数“在函子内”。一个人能把“函子中的函数”这个词翻译回数学，或者给出一些其他的见解吗？(我知道函子可以是Maybe、[]等，但仍然难以理解这个概念。)
浏览 5提问于2012-12-06得票数 9
回答已采纳
我正在把GHC/Arr.hs移植到Frege。
数组定义如下：
data Array i e = Array{u,l::i,n::Int,elems::(JArray e)}
有以下功能：
amap :: (Ix i, ArrayElem e) => (a -> b) -> Array i a -> Array i b
现在，我不知道如何为它定义Functor实例，因为
instance (Ix i) => Functor (Array i) where
fmap = amap
但是编译器抱怨推断的类型比预期的要受更多的约束，这似乎是真的。我能使Array
浏览 5提问于2015-10-19得票数 3
回答已采纳
云服务器
ICP备案
实时音视频
对象存储
即时通信 IM
腾讯云开发者
