"没有操作"已经开始了

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会导致或编程崩溃或永远循环的值,但从不评估它.

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

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)

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