当我尝试混合地板、分区和加法时，Haskell为什么会抱怨？

Question

我有一些代码：

seqMin a b = (floor (a / b)) - (floor (b / 2.0  ))
seqMax a b = (seqMin a b) + b
test = seqMax 6 3

当我以交互方式评估它时，我希望test为1。

当我评估代码时，我得到一个错误：

$ ghci split2.hs

GHCi，8.6.5版：http://www.haskell.org/ghc/ :? 有关编译Main（split2.hs，已解释）的帮助[1/1]

split2.hs： 3:8：错误：使用“seqMax”引起的含糊类型变量“a0”阻止了约束“（RealFrac a0）”的解决。相关绑定包括测试:: a0（split2.hs： 3:1绑定）可能的修复：使用类型注释来指定a0应该是什么。这些潜在的实例存在：实例RealFrac双-在“GHC”中定义。浮动”实例RealFrac浮动-在“GHC”中定义。浮动”...加上一个涉及范围外类型的实例（使用-fprint-潜在实例查看它们）在表达式中： seqMax 6 3在测试方程式：test=seqMax 6 3|3|test=seqMax 6 3 | ^^^^^^^^^^

split2.hs： 3:15：错误：由文字“6”引起的模糊类型变量“a0”阻止了约束“（编号a0）”的解决。相关绑定包括测试:: a0（split2.hs： 3:1绑定）可能的修复：使用类型注释来指定a0应该是什么。存在这些潜在实例：实例编号整数-在'GHC. Num'实例中定义编号双-在'GHC. Float'实例中定义编号Float-在'GHC. Float'中定义...加上另外两个...加上两个涉及范围外类型的实例（使用-fprint-潜在实例在“seqMax”的第一个参数中，即表达式中的“6”： seqMax 6 3在“test”的方程中： test=seqMax 6 3|3|test=seqMax 6 3|^失败，没有加载模块。

（请原谅我的格式。）

当试图找出为什么我得到了错误，我想到了另一个函数：

f x = (floor (x/2)) + x

当我评估它时，我得到一个错误：

> f 3

：2:1：错误：•使用“打印”导致类型变量“a0”不明确，从而无法解决约束（“显示a0”）。可能的修复方法：使用类型注释指定“a0”应该是什么。这些潜在的实例是存在的：实例显示顺序——在“GHC”中定义。Show'实例Show Integer--在GHC中定义。Show’实例Show a=

为什么会发生这种情况，我该如何解决它，以及我该如何在未来预防它？谢谢

Answer 1

评论帮了大忙。我将/更改为div调用，现在可以工作了。谢谢大家！