Haskell - 编码 'maximum' 而没有实际使用函数 [初学者]

Question

完成如下函数定义:

    -- maxi x y returns the maximum of x and y

我应该不使用 Haskell 中的“最大”函数来完成这个任务。

maxi :: Integer -> Integer -> Integer
maxi x y
 |x > y = x
 |y > x = y 

然后我不明白如何进行。如何测试代码是否有效？它看起来有点正确吗？

Answer 1

您可以通过调用 来测试函数(您自己或使用测试库，如 QuickCheck)。例如，我们可以将源代码存储在一个文件中(名为 test.hs):

-- test.hs

maxi :: Integer -> Integer -> Integer
maxi x y
 |x > y = x
 |y > x = y 

然后我们可以启动 GHC 交互式 session ，使用 ghci 命令并加载文件，将文件名作为参数传递。然后我们可以调用它:

$ ghci test.hs
GHCi, version 8.0.2: http://www.haskell.org/ghc/  :? for help
[1 of 1] Compiling Main             ( test.hs, interpreted )
Ok, modules loaded: Main.
*Main> maxi 2 9
9
*Main> maxi 3 5
5
*Main> maxi 7 2
7 

是否正确？ 没有。这里有一种情况没有涉及:如果 x 和 y 相同，那么它会引发错误:

*Main> maxi 7 7
*** Exception: test.hs:(4,1)-(6,13): Non-exhaustive patterns in function maxi

我们可以通过使用 otherwise 作为最后的检查来修复它，它将始终为 True(实际上它是 True 的别名) .您可以将 otherwise 视为 else:

-- test.hs

maxi :: Integer -> Integer -> Integer
maxi x y
 | x > y = x
 | otherwise = y