Haskell列表推导求因数函数compdivides及itemTotal语法疑问

一、compdivides 函数相关疑问 #

• 疑问1：a <-[1..div x 2] 的具体执行逻辑
  首先div x 2是整数除法，会计算x除以2的向下取整结果，[1..div x 2]会生成从1开始、到div x 2结束的连续正整数列表。
  a <-是列表推导的生成器语法，会依次取出上述列表中的每一个元素，赋值给变量a，供后续的mod x a == 0条件判断使用。
  这里取到div x 2就停止的原因是：除了x自身之外，x的所有正因数都不可能大于x的一半，这样写可以减少不必要的遍历计算。
• 疑问2：末尾++ [x]操作的作用
  前面的列表推导只会遍历到div x 2，得到的是所有小于x的正因数，而正因数的定义包含数字自身，所以++ [x]是把x自身作为最后一个因数，拼接到前面的因数列表末尾，得到完整的正因数序列。
  比如x=6时，列表推导得到的结果是[1,2,3]，拼接[6]后得到完整因数列表[1,2,3,6]。

二、itemTotal 函数相关疑问 #

你的理解完全正确。itemTotal [x] = [x]是Haskell的列表模式匹配语法：

• [x]作为参数模式，会匹配恰好只有一个元素的输入列表，变量x会绑定到列表里的唯一元素
• 等号右侧的[x]表示直接返回这个仅包含单个元素的列表。

注意你目前贴出的itemTotal代码是不完整的，缺少对长度≥2的输入列表的匹配规则，如果传入长度大于1的列表，运行时会抛出模式匹配失败的错误。

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