实现“Pythonic”方案中的地图：坏主意？

Question

在Scheme中，函数(map fn list0 [list1 .. listN])带有列表必须具有相同数量元素的限制。来自 Python，我缺少 Python 列表推导式的自由，它看起来很像上面的 map，但没有这个限制。

我很想实现一个替代的“my-map”，它允许不同大小的列表，迭代所有列表的前 N ​​个元素，其中 N 是最短列表的长度。

例如，令 num 为 10，lst 为 (1 2 3)。使用 my-map，我希望编写如下表达式：

(my-map + (circular-list num) lst)))

并得到：

(11 12 13)

相比，我更容易阅读此内容

(map + (lambda (arg) (+ num arg)) lst)

与更传统的或

(map + (make-list (length lst) num) lst) 

两个问题

• ：作为一个方案新手，我是否忽略了对“map”限制的重要原因？
• 方案或 SRFI 中是否已存在诸如“my-map”之类的内容？我确实查看了 srfi-42，但要么不是我要找的，要么就是，但并不明显。

Answer 1

首先，请注意 map 确实允许空列表，但当然，如果有一个空列表，那么所有列表都应该为空。

其次，查看 srfi-1 版本的 地图——它与R5RS版本的具体区别如下：

此过程从 R5RS 规范扩展而来，允许参数长度不等；当最短列表用完时它终止。

第三，大多数Scheme 程序员会非常喜欢

(map (lambda (arg) (+ num arg)) lst)

我的猜测是Scheme 与Python 的不同之处在于，随着您习惯该语言，Scheme 使得lambda 表达式变得越来越可读。

最后，有一些实现带有某种形式的列表理解。例如，在 Racket 中你可以这样写：

(for/list ([arg lst]) (+ num arg))

Answer 2

您提到查看SRFI-42，但说它不是很明显如何像使用 Python 列表理解一样使用它。因此，演示（使用 Gauche 但它受 一些流行的Scheme实现）：

gosh$ (import (scheme base) (srfi 42))
gosh[r7rs.user]$ (define num 10)
num
gosh[r7rs.user]$ (define lst '(1 2 3))
lst
gosh[r7rs.user]$ (list-ec (: i lst) (+ i num))
(11 12 13)

如果你想一次迭代多个列表，在最短的地方停止，就像评论中的 Python 示例 [f(x, y) for x, y in zip(x_list, y_list)] 一样，它看起来像：

(list-ec (:parallel (: x x-list) (: y y-list)) (f x y))