Haskell - 无法在无限序列中推导出(a~Integer)

绝对不是推理系统的失败.这是推理系统的成功.

它观察到了(*) :: Num a => a -> a -> a.它观察到第一个论点(*)必须与论证统一起来powers_of.它观察到结果(*)必须与结果列表的元素类型统一powers_of.

这三件事一起说,参数类型powers_of必须与结果列表的元素类型相同.

和错误消息告诉你,它没有任何背景,以证明a和Integer是同一类型的,它需要的功能类型检查.

绝对不是推理系统的失败.这是推理系统的成功.

它观察到了(*) :: Num a => a -> a -> a.它观察到第一个论点(*)必须与论证统一起来powers_of.它观察到结果(*)必须与结果列表的元素类型统一powers_of.

这三件事一起说,参数类型powers_of必须与结果列表的元素类型相同.

和错误消息告诉你,它没有任何背景,以证明a和Integer是同一类型的,它需要的功能类型检查.