Haskell新手求助：修正嵌套列表推导式实现特定数字配对需求

嘿，作为Haskell新手能自己尝试用列表推导式实现需求已经超棒啦！你的思路方向是对的，但确实在列表推导式的结构和变量作用域上踩了个小坑，咱们一起来把它修正～

原代码的问题所在 #

你写的代码里，把x <- numbers和y <- numbers这两个生成器放在了结果输出的方括号里，这就导致后面的条件判断length (fst x) > length (fst y)和snd x < snd y里的x、y还没有被绑定到任何值上——Haskell的列表推导式要求生成器必须写在竖线|的后面，先完成变量绑定，才能在后续的条件里使用这些变量。

修正后的代码 #

直接调整列表推导式的结构，把生成器移到条件前面，就能正确运行了：

let numbers = [("One",1),("Two",2),("Three",3),("Four",4),("Five",5),("Six",6),("Seven",7),("Eight",8)]
[(x, y) | x <- numbers, y <- numbers, snd x < snd y, length (fst x) > length (fst y)]

代码解释 #

咱们拆解一下这个正确的列表推导式：

• x <- numbers 和 y <- numbers：这两个生成器会遍历numbers列表里的所有元素组合，给x和y绑定具体的元素值
• snd x < snd y：筛选出x的数值小于y的组合
• length (fst x) > length (fst y)：再筛选出x的英文拼写长度大于y的组合
• 最终输出(x, y)：也就是符合所有条件的数对

如果你只想输出英文拼写的对（像你示例里的Three,Six那样），可以把结果部分改成(fst x, fst y)，代码就变成：

[(fst x, fst y) | x <- numbers, y <- numbers, snd x < snd y, length (fst x) > length (fst y)]

关于Haskell列表推导式的作用域 #

简单来说：在列表推导式中，生成器里绑定的变量，在它之后的生成器、条件判断、结果输出里都是可见的。你之前的错误就是把生成器放在了结果里，导致变量还没被绑定就被使用，自然会触发作用域错误。

运行修正后的代码，你会得到符合需求的所有数对，比如(("Three",3),("Six",6))、(("Four",4),("Six",6))这些都是符合条件的结果～

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