在 Haskell 中使用 Guard 舍入负数

Question

我是 Haskell 的新手，所以我不太清楚如何操纵守卫中的操作顺序或对守卫中的“位置”表达式施加更多限制。 这是我在 Haskell 中的第一个程序，其中需要遵循一些神秘的标记方案，它会返回你的字母等级。它适用于所有非负输入，但轮函数似乎在负输入上失败。这是我的代码：

roundMark :: Float -> Integer
roundMark mark
    | mark2 < 0 = 0
    | mark2 > 100 = 100
    | otherwise = mark2
    where mark2 = round mark

letterGrade :: Float -> Char
letterGrade mark 
    | newMark < 48 = 'F'
    | newMark >= 48 && newMark < 65 = 'C'
    | newMark >= 65 && newMark < 79 = 'B'
    | otherwise = 'A'
    where newMark = roundMark mark

对于负输入，我得到错误

No instance for (Num (Float -> Char)) arising from a use of ‘-’
        (maybe you haven't applied a function to enough arguments?)

我想知道是否有一种方法可以限制我的 where 表达式在尝试使用 round 函数之前为负输入返回 0，或者我是否可以将我的防护置于条件中。

Answer 1

1. round 是“银行家四舍五入”或“四舍五入”，但您可能 (?) 想要整数截断，例如 floor。

2. 在这种情况下舍入的目的是什么？负数仍然小于 48，并且仍然会产生 F，就像值 0 一样。

3. 如果要将所有负数舍入为零，而不仅仅是负数 mark2 为零，则只需使用正确的变量：

.

roundMark :: Float -> Integer
roundMark mark
    | mark < 0 = 0      -- See this line, use `mark` vs `mark2`.
    | mark2 > 100 = 100
    | otherwise = mark2
    where mark2 = round mark

Answer 2

这里的关键是letterGrade -1 和letterGrade (-1) 之间的区别。 letterGrade -1 表示取 letterGrade 的值并减去 1。 letterGrade (-1) 表示将函数 letterGrade 应用于值 -1。这是因为- 在这两种情况下都是运算符。 -1 不是数字“负数”。相反，它是由符号- 和整数值1 表示的运算符。问题是- 运算符有两种风格：一元和二元。为了区分- 的这两种用法，Haskell 的创建者决定使用(-1) 来表示一元运算符，它取给定数字的“负数”。没有括号，- 是二元减法运算符。

请参阅Why is the unary minus operator problematic in this expression: (- 2) 1? 及其相关问题以进一步讨论此主题。