正式地说:为什么你不能为 Racket 流编写一​​个流反向函数,就像你可以为列表编写一个函数一样?

问题描述

Racket 提供了一个内置函数来反转列表,称为 reverse。此函数使用列表(至少是正确列表)的结尾是 null(空列表)这一事实。

另一方面,根据定义,流没有有终点。实际上,流是一种数据结构,专为无限数据建模而创建。

因此,没有这样的方法来构建流反向函数

以上论证是否足以回答问题? 我错过了什么吗?

这对我来说太不正式了。

提前致谢。

解决方法

虽然您可以创建无限流,但并非所有流都必须是无限的。例如。 (stream 1 2 3 4) 将创建一个延迟执行 4 个元素的流,并且它是可逆的。

您可以创建 stream-reverse,但它不适用于无限列表,就像 reversesort 不适用于循环列表,仅适用于适当列表。