sml - 列表中的平方数，然后将它们相加

Question

我正在尝试创建一个函数来对 ML 列表的数字求平方，然后将这些数字相加

fun sqsum(lst) = map (fn x => x*x) lst;

我那里有一个列表并返回每个数字的平方列表，但我无法弄清楚加法部分。

Answer 1

您可以一次解决一个子问题并组合结果:

val sq = map (fn x => x*x)
val sum = foldl (fn (x, result) => x + result) 0
val sqsum = sum o sq

或者您可以将 map 和 foldl 融合在一起:

val sqsum = foldl (fn (x, result) => x*x + result) 0

或者您可以使用递归定义来编写此函数:

fun sqsum (x::xs) = x*x + sqsum xs
  | sqsum [] = 0

并最终将其改进为尾递归:

fun sqsum L =
    let fun f (x::xs) result = f xs (x*x + result)
          | f [] result = result
    in f L 0 end

即使像 map 和 foldl 这样的高阶列表组合器非常有用，一旦你习惯了它们就会提高代码的可读性，使用手动递归解决入门练习对学习过程非常有值(value)；毕竟，map 和 foldl 就是这样构建的。