1回答
我知道什么是统一，我解决了大多数问题，但我不能真正理解这些问题的含义。我如何才能统一这两个函数。看起来有点奇怪。
浏览 15提问于2020-12-06得票数 1
1回答
我想要定义一个函数f w/ 2显式参数。参数的类型和f的值是某些g的应用程序。假设参数的类型是g x y和g z w。棘手之处在于，f**'s值必须依赖于** x 和 z.的统一性，这是一种天真的定义f失败的尝试。我应该如何解决这个问题？
Inductive A := a
浏览 1提问于2018-01-14得票数 0
回答已采纳
2回答
我在和函子玩，我注意到一些有趣的事情：
简单地说，id可以在(a -> b) -> a -> b类型下实例化。对于列表函子，我们有fmap :: (a -> b) -> [a] -> [b]，它和map一样。对于((->) r)函子(来自Control.Monad.Instances)，fmap是函数组合，因此我们可以实例化fmap fmap fmap :: (a -> b) -> [[a]] -&
浏览 4提问于2012-01-05得票数 55
2回答
我在Haskell学习一些基本的功能构图，当我在玩的时候，我意识到了一些我无法真正解释的东西。当我使用以下代码块时，编译器似乎对此很满意，并且运行良好：doSomeY (x,y) = x+y+1但是，当我将doSomeY分解为两个args而不是一对时，即：
doSomeX x =
浏览 1提问于2016-01-12得票数 2
回答已采纳
1回答
相关类型包括foldr id :: a -> [a -> a] -> a
foldr :: (a -> b -> b) -> b -> [a] ->b
id :: a -> a
foldr的第一个参数是(a->b->b)。相比之下，id的类型是a->a。它们不应该是兼容的。
浏览 4提问于2016-04-09得票数 5
1回答
我发现这个方程解释了MLP网络中神经元的输出：
我可以理解一般的上下文，但是由于我没有数学符号的背景，所以我不理解(n)参数的含义(例如，y(n)、x(n))。
浏览 0提问于2020-10-19得票数 3
回答已采纳
我知道合成算子只是数学函数的标准组合-所以但是：((*) . (+)) 1 2 :: Num a => a -> a(*)的意思是什么？(+)类型签名?我试着用这样的方法来玩它(只是与它的签名相匹配)：
浏览 9提问于2014-12-27得票数 45
回答已采纳
3回答
从正矢量生成定向四元数
、、、
假设我有一个方向四元数Q，我可以很容易地从V = Q * Vector3.forward计算它的前向向量。我知道这是不可能的，请告诉我除了V还需要什么，以便计算Q。
问题背后的动机:我有一个前进方向的游戏对象，我想找出它的上方向和它的正确方向。如果我有四元数的话，我可以找出这三个方向。
浏览 0提问于2018-10-13得票数 0
回答已采纳
1回答
一阶逻辑统一
、、
我有一个关于FOL练习的问题，在这个问题中，我必须证明是否有可能将两个句子结合起来，并在积极的情况下，说明如何将它们统一起来。1) f(g(a,X),g(Y,Y))=f(g(a,b),g(f(a),f(Z)))
对于第一个过程，我理解了这个过程，所以我给出了<e
浏览 2提问于2019-02-10得票数 2
3回答
我在努力实现统一，但有问题.已经有十几个例子了，但他们所做的只是把水弄浑了。我比开悟更让人困惑：
如果您能向我展示Python伪代码和/或更详细的算法描述或指向某个代码的指针，我将不胜感激。我理解的一些要点是需要将代码分离为一
浏览 1提问于2018-03-04得票数 12
回答已采纳
2回答
我在SML中有这个表达式，需要找到最一般的类型。当运行编译器时，我得到如下所示的内容。我将如何去寻找什么是最一般的类型，不仅是这个功能，但其他功能，如教堂数字功能“二”。val one = fn f => (fn x => f x)('a -> 'b) -> 'a -> 'b</em
浏览 0提问于2015-02-18得票数 0
1回答
我有一个依赖类型，它由一个值加上一些关于它的性质的证明组成。当然，我希望我对这种类型的平等的概念等同于对价值组成部分的平等。这一切都很好，除非我在证明这个等式的取消概念的属性时遇到了问题(例如，这种类型的列表上的相等性)。有趣的是，将最后一行改为以下eta等效表达式意味着它可以解决这些问题：
≋-sym = symmetric (λ {x} {y} → ≈-sym {<em
浏览 0提问于2016-05-26得票数 2
回答已采纳
Prolog使用的是大多数通用的统一词，而不是仅仅的unifier，为什么会这样呢？如果我没有错，那么我认为，既然Prolog是基于回溯的，如果我们不使用大多数通用的整体词，那么我们就错过了变量统一的某些组合？
浏览 2提问于2018-01-07得票数 3
回答已采纳
2回答
我是Prolog的新手，负责Fibonnaci谓词fib( N，F)，其中N是序列中的数字，F是值。我想出来的办法行不通，但我发现的解决办法似乎和我一样.我无法理解其中的区别。我的版本：fib( 0, 0).fib(N,F) :-
N >
浏览 0提问于2011-08-25得票数 2
回答已采纳
1回答
我尝试了这个普通的解释器：solve(X is E) :- !, X is E.solve(H) :- clause(H,B), solve(B).X = 6.
?- sumlist(X,<e
浏览 7提问于2021-02-17得票数 0
1回答
我正在JavaScript中实现一个JavaScript算法，以计算两个给定项的最一般的单位。简单地说，统一是把t1和t2这两个术语合并成一个新的术语t的过程，它是t1和t2的专门化。考虑(注意变量是大写的)：t2 := foo(X, Y, rocks)
专门化操作符⊏表示a ⊏ b
浏览 5提问于2015-04-09得票数 3
回答已采纳
4回答
像Haskell这样的FP可以简单地绑定一个(var)名称，例如：Python可能在下面这样做：mylist = [(g(y), h(y)) for y in mylist]
Python3.8中的</e
浏览 2提问于2019-11-22得票数 2
回答已采纳
1回答
这个问题的答案如下。密码有效。但我不明白怎么能有人帮我弄明白吗？count([],X,0).但是请注意，第二个参数X应该被实例化。因此，例如count( 2 ,23,3,45,23,44，-20,23，C)将C与2相统一。X = -20, X = 2, X = 3,
浏览 2提问于2016-01-11得票数 2
回答已采纳
3回答
下面是标准Prolog中阶乘的计算：f(A, B) :- A > 0, C is A-1, f(C, D), B is A*D.我发现的问题是，我需要引入两个辅助变量(C和D)，一个新语法(is)，并且这个问题是不可逆的(即f(5,X)按预期工作，但f(X,120)没有)。天真地，我希望上面提到的C is A-1, <e
浏览 6提问于2010-05-24得票数 16
回答已采纳
3回答
R中N元与Q元的组合
、、、
我将N=6元素和q=3元素符号为0、1、2。N=6#########################################
A<-combn(x,2
浏览 5提问于2017-11-10得票数 3
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
云直播
对象存储
实时音视频活动推荐
腾讯云开发者
