Scheme实现矩阵转向量（Matrix to vector conversions）报错求解

问题原因 #

• foldl参数传值错误：Racket中foldl的标准参数格式为(foldl 迭代函数 初始值 待迭代列表)，你原代码中将匿名函数作为第三个参数传入，不符合foldl要求的第三个参数为列表的约定，直接触发类型校验报错。
• 逻辑设计错误：你需要实现的是矩阵按列应用指定运算的行归约，原代码中的匿名函数没有实现逐行对应元素运算的逻辑，也没有正确传入待迭代的剩余行列表。

修复方案 #

方案1：最简实现（利用map多列表特性） #

map支持传入多个列表，会自动将各列表的对应元素传入操作函数，搭配apply展开矩阵的所有行作为map的参数即可实现需求：

(define (matrix-to-vector op mat)
  (apply map op mat))

调用测试：

(matrix-to-vector + '((1 2 3) (3 4 5)))
;; 输出：'(4 6 8)

方案2：foldl显式折叠实现 #

如果需要保留foldl的实现思路，调整迭代逻辑，逐行和累加结果做对应元素运算即可：

(define (matrix-to-vector op mat)
  (foldl 
    (lambda (current-row accumulated)
      (map op accumulated current-row))
    (car mat)
    (cdr mat)))

这个版本的迭代逻辑为：以矩阵第一行作为初始累加值，遍历剩余的每一行，每次将当前累加结果与遍历到的行按元素执行op运算，最终得到按列运算后的向量。

内容的提问来源于stack exchange，提问作者bsaget