SML技术求助：用map和filter实现筛选求和函数返回空列表问题

嘿，我来帮你拆解下这个问题～

首先，你的代码逻辑本身是通顺的：先用filter筛选出符合条件的数对，再用map把每个数对的两个元素相加。但为什么调用addPairsGreaterThan 3 [(1,2), (3,3), (1,1)]会返回空列表呢？

核心问题：筛选条件的严格性 #

你写的筛选条件是：

fn (x,y) => x > n andalso y > n

这里要求x和y都严格大于n。而你的测试用例里，唯一看起来接近的数对是(3,3)，它的x和y都等于3，并不满足>3的条件。剩下的(1,2)和(1,1)都远小于3，自然也被过滤掉了。所以helperList最终是空的，map处理空列表当然返回空列表啦。

两种修正方向 #

根据你的实际需求，你可以选择以下两种方式之一：

1. 调整筛选条件为“大于等于n”

如果你原本的需求是x和y大于或等于n，那把条件里的>改成>=就行：

fun addPairsGreaterThan n intPairs = 
    let 
        val helperList = filter(fn (x,y) => x >= n andalso y >= n) intPairs
        fun addPairs (x,y) = x + y 
    in 
        map addPairs helperList 
    end;

现在再调用addPairsGreaterThan 3 [(1,2), (3,3), (1,1)]，就会返回[6]，符合预期。

2. 使用符合严格大于条件的测试用例

如果你确实需要严格大于n的数对，那换个测试用例试试，比如：

addPairsGreaterThan 3 [(4,5), (3,4), (2,6)]

这个调用会筛选出(4,5)（因为4>3且5>3），最终返回[9]。

小建议 #

写SML代码时，可以适当增加空格来提升可读性，比如函数参数之间、表达式运算符两侧的空格，这样代码看起来会更清晰～

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