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

如何解决正式地说：为什么你不能为 Racket 流编写一​​个流反向函数，就像你可以为列表编写一个函数一样？

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

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

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

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

这对我来说太不正式了。

提前致谢。

解决方法

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

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