在haskell中减去教堂数字 - 腾讯云开发者社区

文章/答案/技术大牛

发布

2回答

haskell中的教堂数字

haskell、lambda-calculus

我正在尝试使用以下定义在haskell中打印教会数字：1 := λfx.f xc0 = \f x -> x当我在haskell

浏览 0提问于2011-06-24得票数 9

2回答

指数函数Haskell

haskell、exponentiation、church-encoding

如何利用Haskell获得教堂数字中的幂函数？我正在尝试应用这个规则，那就是λxy.yx，但是有些东西不能正常工作。

浏览 0提问于2017-11-24得票数 1

回答已采纳

2回答

lambda演算中二进制数的编码

haskell、binary、lambda-calculus、church-encoding

在lambda微积分中，我从未见过任何关于二进制数的提及。教堂数字是一元制。我在这里问过一个如何在Haskell中这样做的问题：，但即使在我看到并理解了这个答案之后，我也无法理解如何用纯非类型化的lambda微积分来完成这个任务。那么，我的问题是:二进制数字是否定义在非类型化的lambda演算中，是否也为它们定义了后继函数和前任函数？

浏览 6提问于2013-08-23得票数 7

回答已采纳

3回答

haskell中教会数字的减法

haskell、lambda-calculus、church-encoding

我正在尝试在Haskell中实现教堂数字，但我遇到了一个小问题。Haskell抱怨无限类型当我尝试做减法的时候。我想知道的是，我是否可以做些什么来让haskell使用我的函数。

浏览 6提问于2011-07-06得票数 20

1回答

从教会编码到数字的转换

haskell、lambda-calculus、church-encoding

我试着把教堂编码转换成数字。Lambda | Var Variable我已经编写了数字到教堂编码的转换i e | otherwise = wrapWithAppS (i-1) (App (Var "s") e) 我运行了自己的测试，下面是终端在测试): Non-exhausti

浏览 4提问于2019-11-04得票数 2

回答已采纳

3回答

Haskell中的教堂列表

haskell、lambda-calculus、church-encoding

我必须实现haskell map函数来处理如下定义的教堂列表：在lambda演算中，列表的编码方式如下： [] := λc.我已经有过λ微积分和教会数字的经验，但这个练习让我很头疼，我必须能够理解并为下周的考试解决这样的问题。有没有人可以给我一个很好的资源，让我可以学习解决这些问题，或者给我一些关于它如何工作的指导？

浏览 29提问于2012-03-18得票数 26

回答已采纳

3回答

如何在Haskell中实现二进制数字

haskell、constructor、binary、church-encoding

我看到了以下用于教堂数字的数据构造函数但这是一元数字。如何以这种方式为Haskell中的二进制数字实现数据构造函数？我们是否可以为二进制数字编写一个类似丘奇的解决方案，使用Succ类型构造函数？如果是，怎么做？我试了很多次，但我的大脑似乎无法摆脱列表或其他类似结构的需要。

浏览 2提问于2013-08-21得票数 5

回答已采纳

2回答

Haskell实际上是如何定义+函数的？

haskell

在阅读时，我想到了这样一个注释： class (Eq a, Show a) => Num a where ... infixl 6 + 但是，Haskell如何将+定义为非本机函数呢？在某种程度上，你不得不说2 + 3将成为汇编程序，即机器代码。

浏览 0提问于2011-11-18得票数 10

回答已采纳

2回答

我该如何为访问网络教堂的牧师制定时间表？

java、algorithm、random

这些条件是：我不能使用随机(1到12)，因为有一个机会，牧师可以去同一教会(8,3%的机会，他去同一个教堂)。我想让他去同一座教堂的机会很小(大约3%或更少)。

浏览 1提问于2008-12-01得票数 4

1回答

SML中的Alonzo教堂数字

sml、church

我有一个作业，涉及在SML中制作教堂数字。我环顾四周，就是找不到我做错了什么。我们的目标是创建一个函数，该函数接受一个整数并返回一个教堂数字，定义为数据类型'a -> = Num of ('a -> 'a) -> 'a -> 'a (这是我的老师预定义的)。然后创建第二个函数，它接受一个教堂数字并返回一个整数。我在之前的一篇文章中看到了代码： val ZERO

浏览 1提问于2012-02-06得票数 2

2回答

我刚从Haskell开始，并完成了这个简单的递归algo来为列表中的每个数字找到LCM。它工作，但它是混乱的，我希望一些同行审议如何使这个更优雅，可读性，和Haskell-y。list) (head (tail list)):(tail (tail list)))因此，这需要一个list，并对前两个项执行LCM，然后在前面加上list，减去这两个元素我渴望在Haskell提高，写一些人们可以阅读的东西。效率提示也是欢迎的！谢

浏览 2提问于2015-08-23得票数 3

回答已采纳

1回答

Haskell我的递归崩溃

haskell、recursion

你好，我是初学者，我试着学习Haskell中的递归，但是我的递归函数不会给我一个解决方案，我的pc会结冰。这是我的功能。我希望我的函数得到一个数字，然后用1减去它。每次减去这个数字，它就会被添加到以0开头的列表中。

浏览 3提问于2017-11-29得票数 1

回答已采纳

2回答

Haskell中的Lambda演算:有什么方法可以进行教会数字类型检查吗？

haskell、lambda-calculus、church-encoding

我正在用Haskell处理一些lambda演算的东西，特别是教堂数字。

浏览 5提问于2012-10-18得票数 17

回答已采纳

1回答

在教堂的数字中，M到0的幂

lambda、lambda-calculus、computation-theory、exponentiation、church-encoding

据我所知，(0 m)在减少λx. x的结果时，并不像预期的1 (= m^0)那样，甚至不在教会的数字之内。n := λfx.(n m)对于MUL(m, n) = m * n来说，这似乎很好，与m^0在数学中通常被定义为1的事实相吻合。而且，在超操作的意义上，这似乎很简单。当n =

浏览 4提问于2020-01-11得票数 2

回答已采纳

1回答

求Haskell函数f，g使f g=f。G

haskell、functional-programming、lambda-calculus、combinatory-logic

在学习Haskell时，我遇到了一个挑战，要找到两个函数f和g，比如f g和f . g是等价的(以及总计，所以f = undefined或f = (.) f之类的东西不算在内)。(我注意到这并不是Haskell特有的；它可以用纯粹的组合逻辑表示为“查找f和g以便f g = B f g"，然后给定的解决方案将转换为f = g = W B)。

浏览 2提问于2019-01-26得票数 7

回答已采纳

1回答

依赖类型的教堂编码:从Coq到Haskell

haskell、coq、church-encoding

在Coq中，我可以为长度为n的列表定义教堂编码： Definition listn (A : Type) : nat -> Type := fun m => forall (X : nat -> TypeHaskell的类型系统(包括它的扩展)是否足够强大，能够容纳这样的定义？如果是，是如何实现的？

浏览 23提问于2019-03-10得票数 4

回答已采纳

3回答