2回答
在Haskell中定义为data Peano = Zero | Succ Peano的Peano自然数是非常奇怪的东西:除了简单的自然数和底值之外，其中还有一个“无限整数”inf = Succ inf。还有没有其他Peano类型的居民？这个无穷大的数字有名字吗？
浏览 1提问于2011-12-12得票数 11
回答已采纳
1回答
type alias Peano = (Int -> Int) -> Int -> Int
fwd x = x + 1
c3 f =: number -> number27 : numbera -> (a -> b) -> bPeano-> (Peano -> (Int -> Int)) -
浏览 1提问于2018-01-02得票数 1
回答已采纳
3回答
我看到了以下用于教堂数字的数据构造函数但这是一元数字。如何以这种方式为Haskell中的二进制数字实现数据构造函数？我们是否可以为二进制数字编写一个类似丘奇的解决方案，使用Succ类型构造函数？如果是，怎么做？我试了很多次，但我的大脑似乎无法摆脱列表或其他类似结构的需要。
浏览 2提问于2013-08-21得票数 5
回答已采纳
3回答
在Haskell上，大多数数字类型都是本地类型-- Int、Float、Word32等。也有一种只使用ADT的一元自然数的流行表示形式--即Peano编码：这种数据类型虽然优雅，但效率不高。我的问题是:如果我们没有本机类型可依赖，那么在像Haskell这样的纯函数语言中，数字的最有效的表示是什么-- nats、in、fracs、complex等等？数据类型和相应的算法会是什么样子？
浏览 5提问于2015-09-04得票数 2
2回答
我试图在Haskell中实现类型级别的整数。-}{-# Language FlexibleInstances #-}
data Succ a
instance Peano Zero
instance (Peano a) => Peano (Succa) => Inte
浏览 15提问于2018-06-09得票数 9
尝试编写类似于Haskell的HList，并具有按类型进行搜索的能力。HCons<H, T: HList>(H, T);
impl<H, T: HList> HList for HCons<H, T> {}
struct Succ<N: Peano>(N);
impl<N: Peano> <e
浏览 2提问于2014-12-15得票数 2
回答已采纳
. infixl 6 +
但是，Haskell如何将+定义为非本机函数呢？在某种程度上，你不得不说2 + 3将成为汇编程序，即机器代码。
浏览 0提问于2011-11-18得票数 10
回答已采纳
3回答
Peano数将非负整数表示为0或其他Peano数的继承者。例如，1表示为Succ(Zero)，3表示为Succ(Succ(Succ(Zero)))。任务加法乘法规则
只要在编译时可以获得结果
浏览 0提问于2021-01-27得票数 9
peano:pj-lester-book bwat$ make utils.lhspeano:pj-lester-book bwat$ make language.lhspeano:pj-lester-book bwat$ touch language-tutor.src
peano:pj-lester-book bwat$ make l
浏览 3提问于2015-03-23得票数 0
回答已采纳
1回答
我想用Rust编写Peano数字的一个简单实现，而且我似乎成功地实现了基本功能：use std::ops::Add;
enum Peano { Succ(Box<Peano>) type Output = Peano;fn add(self, other: Peano<
浏览 6提问于2016-09-03得票数 4
回答已采纳
3回答
在Haskell中，如果我想重复地将自同态a -> a应用于a类型的值，我可以只使用iterate。
如果一个函数不是自同态，而是泛型的，可以正确地处理其返回类型，那该怎么办？
浏览 1提问于2018-06-11得票数 14
回答已采纳
从基础4.12开始，genericLength实现为： genericLength :: (Num i) => [a] -> igenericLength [] = 0 "genericLengthInt" genericLength = (strictGenericLength :: [a] -> Int);
"
浏览 4提问于2019-05-16得票数 14
回答已采纳
2回答
我决定通过仅使用Succ函数或我定义的其他函数和Integer number类型重新创建算术来学习Haskell将会很酷。到目前为止，我已经成功地(重新)创建了只针对整数的加法、减法和乘法。但是如果我做一些花哨的事情，比如Peano算术(?)我还必须弄清楚如何让系统用漂亮的数字等来表示解决方案。)
如何将自定义的“有理”数字类型定义为一对两个整数？
浏览 2提问于2014-10-16得票数 0
1回答
下面的代码产生了一条错误消息，乍一看，这似乎意味着GHC不理解类型族WrapParams的定义：{-# LANGUAGE DataKinds #-}{-# LANGUAGE MultiParamTypeClasses #-}{-# LANGUAGE TypeApplications #-}{-# LANGUAGE
浏览 7提问于2022-03-23得票数 0
回答已采纳
1回答
我最近开始学习Haskell，现在在我的课堂上，我们已经构建了一个Peano数字类，并在Num类型类中进行了实例。
浏览 6提问于2014-10-01得票数 2
回答已采纳
7回答
我在听steve yegge的播客(#29，大约21:29)，在其中的一部分，他们在谈论“如何判断与你交谈的人是否聪明”，他们说一种方法是谈论“聪明人的事情”(我转述一下)，比如“钢琴数字”和“λ微积分
浏览 15提问于2008-12-08得票数 2
1回答
枚举泛型结构
、、
我介绍了一个Peano特性以及Zero和Succ类型：struct Succ<T: Peano>(T);impl Peano for Zero {}起初，我想为std::ops::Add实现Peano</e
浏览 6提问于2016-09-15得票数 0
回答已采纳
我试图在编译时在类型级别上表示一个整数值，这样我就可以根据一些约束来检查它。five = inc $ inc $ inc $ inc $ inc $ zero即fromInt n = __data Zinc (IN i) =
浏览 1提问于2019-01-05得票数 3
回答已采纳
4回答
我正在尝试学习Haskell，我偶然发现了以下几点：myAdd null = 0
f = let n = 10000000 in myAdd如果我不能自然地陈述我的问题(即使是在像这样的玩具问题上)，并期望在时间和空间方面具有合理的性能，Haskell的大部分吸引力将会丧失。
浏览 1提问于2011-12-29得票数 8
回答已采纳
云服务器
ICP备案
对象存储
云点播
实时音视频
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号