Haskell列表推导：为何允许使用未引用的_变量作为生成器？

在Haskell里，_是通配符变量，语言设计时就专门为“不关心变量值”的场景提供了这个语法，所以列表推导里_ <- [1..n]这种写法完全是合理的，原因主要有这几点：

• 明确表达“只需要循环次数”的意图：repeat_value函数的核心需求是生成n个重复的x，根本不需要用到[1..n]里的具体元素值。用_就是直接告诉编译器和阅读代码的人：“我只是要借助这个列表的长度来控制循环次数，元素本身不重要”，比随便写个不用的变量名（比如i）表意更清晰。

• 避免不必要的编译器警告：如果不用_，而是绑定一个普通变量（比如i <- [1..n]）但又从不使用它，编译器会抛出“未使用变量”的警告。用_就相当于主动声明“我故意忽略这个值”，编译器就不会再提示这类警告，代码更干净。

• 和Haskell的模式匹配语法保持一致：_在Haskell的模式匹配里随处可见，比如f (_, y) = y（忽略元组的第一个元素）、case list of [] -> 0; (_:xs) -> 1 + f xs（忽略列表的首元素）。列表推导里的_只是这个语法的延伸，保持了语言规则的统一性，不用额外记特殊用法。

举个实际例子，调用repeat_value 5 3时，生成器会遍历[1,2,3]三次，每次都生成x的值（也就是5），最终得到[5,5,5]，完全符合需求。

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