“没有操作”已经开始了

Question

如果我从学校正确记得，有一个函数或关键字用于“尚未实现”，但代码编译。 我试图搜索它，但找不到。 谁知道我在找什么？

就是这样的

isDivisor :: Integer -> Integer -> Bool
isDivisor x y = None
--isDivisor x y = (rem x y) == 0

Answer 1

你想到的是bottom

bottom不仅仅是为了显示没有实现的东西，它意味着代表一个导致我们的程序失败的计算。

例如，我们实际上可以将undefined自己定义为无限循环

undefined = let x = x in x
undefined = undefined

所以我们真正做的就是输入一个undefined :: a的值undefined :: a会导致或编程崩溃或永远循环的值，但从不评估它。

因此，如果你有一些大而复杂的功能，你不知道如何实现，你可以这样做

foo :: Bar -> Baz -> Quux
foo bar baz = foo bar baz

从这个类型检查，它将编译，我们可以测试我们的程序的其他部分。

但是，因为当你意外地运行程序的那一部分时，无限循环是非常无益的，所以GHC和其他人以不同方式实现undefined 。 他们让程序崩溃并发出错误消息，例如：

-- In GHC
error msg = throw (ErrorCall s)
undefined = error "Prelude.undefined"

因此，保留一个未定义的函数，具有更好的调试功能

foo bar baz = undefined
foo bar baz = error ("Tried to evaluate foo with" ++ show bar ++ show baz)

如果你发现底层混乱的概念，哈马尔发布了一个很好的答案