小编use*_*154的帖子

我一直在阅读http://www.haskell.org/haskellwiki/Hask.我正在努力解决这个问题..

undef1 = undefined :: a -> b
undef2 =  \_ -> undefined

为什么他们这样做..

seq undef1 () = undefined
seq undef2 () = ()
undef2 () = undefined

这是什么原因？我想了解这种行为,但我甚至不知道从哪里开始.特别是,为什么undef2在严格评估下表现不同？