Loading [MathJax]/jax/output/CommonHTML/config.js

开发者社区

文档建议反馈控制台

文章/答案/技术大牛

发布

社区首页 >问答首页 >(Co)递归定义在Haskell中是如何工作的？

问(Co)递归定义在Haskell中是如何工作的？
EN

Stack Overflow用户

提问于 2015-07-27 06:48:35

回答 1查看 614关注 0票数 7

我在玩弄语言开始学习，我对递归定义是如何工作的感到困惑。

例如，让我们以三角形数(TN n = sum [1..n])的序列为例

所提供的解决办法是：

triangularNumbers = scanl1 (+) [1..]

到现在为止还好。

但我想出的解决办法是：

triangularNumbers = zipWith (+) [1..] $ 0 : triangularNumbers

这也是正确的。

现在我的问题是:如何将其转化为较低级别的实现？当满足这样一个递归定义时，场景后面到底会发生什么呢？

EN

回答 1

Stack Overflow用户

回答已采纳

发布于 2015-07-27 07:14:49

下面是一个简单的递归函数，它给出了第n个三角数：

triag 0 = 0
triag n = n + triag (n-1)

您的解决方案triag' = zipWith (+) [1..] $ 0 : triag'更奇特:它是共同递归的(点击，点击)。不是通过将n个数降为较小输入的值来计算它，而是通过递归地指定下一个值来定义整个无限三角形数序列，给出一个初始段。

Haskell是如何处理这种共递归的？当它遇到您的定义时，不实际执行任何计算，它将被推迟到需要进一步计算的结果。当您访问list triag'的特定元素时，Haskell开始根据定义计算列表中的元素，直到被访问的元素。关于更多细节，我发现关于懒惰评估的这文章很有帮助。总之，除非您需要预测内存的使用情况，否则懒散评估是很好的。

这里是一个类似的这样的问题，并逐步解释了fibs = 0 : 1 : zipWith (+) fibs (tail fibs)的求值，这是斐波那契序列的一种共递归定义。

票数 5

EN

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/31656294

复制

相关文章

linux socket编程 tcp/ip windows unix

版权声明：本文为博主原创文章，转载请注明博客地址： https://blog.csdn.net/zy010101/article/details/88673990

zy010101

2019/05/25

1.3K0

套接字选项

选项影响套接字操作，如封包路由，OOB数据传输，获取和设置套接字选项分别是 getsockopt setsockopt 用法如下： int getsockopt（SOCKET s,int level,int optname,char* optval,int* optlen）; int setsockopt(SOCKET s,int level,int optname,char* optval,int* optlen); 每个协议层套接字的选项有不同的级别：应用层：SOL_SOCKET 传输层：IPPR

用户1154259

2018/01/17

1.3K0

Socket（套接字）

tcp/ip http socket编程

TCP/IP只是一个协议栈,Socket的出现只是可以更方便的使用TCP/IP协议栈而已，其对TCP/IP进行了抽象，形成了几个最基本的函数接口。比如create，listen，accept，connect，read和write等等。

老马的编程之旅

2022/06/22

1.3K0

Python套接字

Python只支持AF_UNIX（基于文件）、AF_NETLINK（使用标准的BSD套接字接口进行用户级别和内核级别代码之间的IPC）、AF_TIPC（透明的进程间通信）、AF_INET（基于网络）家族。

用户4845306

2019/03/14

1.6K0

　　本文补充一下Java关于套接字方面的内容，因为其应用相对比较简单，所以下面介绍两个程序实例。

云海谷天

2022/08/09

8120

unix send shutdown

套接字描述符在Unix系统中是用文件描述符实现的。事实上，许多处理文件描述符函数（read和write）都可以处理文件描述符要创建一个套接字，可以调用socket函数

提莫队长

2019/02/21

1K0

套接字Socket编程

socket编程 tcp/ip 编程算法 linux udp

Socket，原意插座、插口。写软件程序时，可以想象成一根网线，一头插在客户端，一头插在服务端，然后进行通信。所以通信前，双方都要建立一个Socket。

JavaEdge

2021/12/07

1.3K0

Socket 套接字协议

tcp/ip https socket编程网络安全 unix

A network socket is an internal endpoint for sending or receiving data within a node on a computer network. Concretely, it is a representation of this endpoint in networking software (protocol stack), such as an entry in a table (listing communication protocol, destination, status, etc.), and is a form of system resource.

vanguard

2020/03/18

1.5K0

IPC｜网络套接字

udp tcp/ip 缓存

为了访问由UDP提供的服务，你需要像以前一样使用套接字和close系统调用，但你需要用两个

heidsoft

2022/04/18

1.1K0

套接字随笔1

accept函数接受一个客户端请求后会返回一个新的SOCKFD值，当有不同的客户端同时有不同请求时，会返回不同的SOCKFD的值。这个不同的值和建立SOCKET 时生成的SOCKFD还是不同的。服务器与客户端之间的通信就是在这些不同的SOCKFD上进行的。

随心助手

2022/11/30

5690

linux 网络套接字

linux cpu data header lock

在内核分析网络分组时，底层协议的数据将传输到跟高的层。而发送数据的时候顺序是相反的。每一层都是通过加（首部+净荷）传向跟底层，直至最终发送。

233333

2019/05/25

2.8K0

Socket - 套接字编程

tcp/ip udp socket编程

目录 Socket - 套接字编程 Socket 通信流程图 Socket模块 socket（）方法部分参数 bind（）方法 listen（）方法 accept（）方法 accept（）函数返回值：sock、addr connect() 方法 close（）方法服务端客户端对比简单案例简易通信循环优化通信循环黏包问题 Struct 模块规定报头解决黏包问题上传文件案例 UDP通信 Socket - 套接字编程只要涉及到远程数据交互必须要操作OSI七层模型，那么每层都需要相应的程序

HammerZe

2022/03/25

1.1K0

套接字Socket编程

socket编程 tcp/ip 编程算法 linux udp

Socket，原意插座、插口。写软件程序时，可以想象成一根网线，一头插在客户端，一头插在服务端，然后进行通信。所以通信前，双方都要建立一个Socket。

JavaEdge

2021/10/18

1.4K0

Python与套接字

udp bind connect send socket

服务器端先初始化Socket，然后与端口绑定(bind)，对端口进行监听(listen)，调用accept阻塞，等待客户端连接。在这时如果有个客户端初始化一个Socket，然后连接服务器(connect)，如果连接成功，这时客户端与服务器端的连接就建立了。客户端发送数据请求，服务器端接收请求并处理请求，然后把回应数据发送给客户端，客户端读取数据，最后关闭连接，一次交互结束

星陨1357

2023/03/14

2.4K0

accept()返回的套接字绑定哪个端口新旧套接字的联系

linux udp socket编程 tcp/ip iis

摘要：对于服务器编程中最重要的一步等待并接受客户的连接，那么这一步在编程中如何完成，accept函数就是完成这一步的。它从内核中取出已经建立的客户连接，然后把这个已经建立的连接返回给用户程序，此时用户程序就可以与自己的客户进行点到点的通信了。

bear_fish

2018/09/20

4K1

python UDP套接字通信

UDPserver.py 1 import socket 2 #导入套接字模块 3 4 s = socket.socket(socket.AF_INET,socket.SOCK_DGRAM) 5 # - socket.AF_INET：IPV4 6 # - socket.STREAM：TCP 7 # - socket.DGRAM：UDP 8 9 s.bind(('',25555)) 10 #绑定套接字有效地址和端口 11 #''空位任何地址本地的127.0.0.1 和局域网还有自己真实

py3study

2020/01/19

1.6K0

什么是socket套接字？

socket编程 ipv6 tcp/ip

互联网已经深入我们生活的方方面面，重要性不言而喻。上世纪70年代互联网刚发明的时候，就确定了客户端-服务器模型，这个编程模型一直沿用到现在都没有变过，我们在电脑上打开一个网站，在微信上聊天，打开一个app本质上都是客户端和服务器的连接和交互。

zhanyd

2022/05/16

5990

套接字连接状态检测

主动断开连接主动断开连接会发送，关闭事件 connec函数检测连接状态，getlasterror send发送（tcp keeplive心跳包或者有数据时检测），recv接收判断异常（无数据判断异常） linux中的 select（socket用户和内核传递数组，大小有限制） poll（同select大小无限制，链表维护） epoll（内核态数据）拔网线拔网线后，关闭事件不能传递，连接状态不好检测设置连接或者发送超时，同步套接字超时设置 // platform-specific switch #i

sofu456

2021/12/06

1K0

Socket套接字通信原理

socket编程 tcp/ip

Socket是应用层与TCP/IP协议族通信的中间软件抽象层,它是一组接口.在设计模式中,Socket其实就是一个门面模式,它把复杂的TCP/IP协议族隐藏在Socket接口后面,对用户来说,一组简单的接口就是全部,让Socket去组织数据,以符合指定的协议.

业余草

2019/01/21

8970

基于udp的套接字

udp 人工智能

1 ss = socket() #创建一个服务器的套接字 2 ss.bind() #绑定服务器套接字 3 inf_loop: #服务器无限循环 4 cs = ss.recvfrom()/ss.sendto() # 对话(接收与发送) 5 ss.close() # 关闭服务器套接字 udp客户端 cs = socket() # 创建客户套接字 comm_loop: # 通讯循环 cs.sendto()/c

超蛋lhy

2018/08/31

8350

相似问题

用haskell编写递归inRange函数

22

如何在haskell中编写递归函数

21

如何编写这个递归的Haskell函数？

11

在模板Haskell中定义递归函数

18

如何编写可变模板递归函数？

63

添加站长进交流群

领取专属 10元无门槛券

AI混元助手 在线答疑

关注 腾讯云开发者公众号

洞察 腾讯核心技术

剖析业界实践案例