相关疑难解决方法(0)

几天后,我试图围绕Haskell中的函数式编程范例.我通过阅读教程和观看截屏视频来完成这项工作,但似乎没有什么能够坚持下去.现在,在学习各种命令式/ OO语言(如C,Java,PHP)时,练习对我来说是个好方法.但由于我不知道Haskell能够做什么,并且因为有许多新概念可供使用,我还不知道从哪里开始.

那么,你是如何学习Haskell的？是什么让你真正"打破僵局"？还有开始练习的好主意吗？

我正在尝试使用另一个答案的 QuickCheck .我这样测试:

{-# LANGUAGE TemplateHaskell #-}
import Test.QuickCheck
import Test.QuickCheck.All


last' :: [a] -> a
last' [x] = x
last' (_:xs) = last' xs

prop_test x = last' x == last x

check = do
        putStrLn "quickCheck"
        quickCheck (prop_test :: [Char]-> Bool)

check2 = do
        putStrLn "quickCheckAll"
        $quickCheckAll

然后,我加载它在winGHCI并调用check和check2.我明白了

quickCheck
*** Failed! (after 1 test): 
Exception:
  list.hs:(7,1)-(8,23): Non-exhaustive patterns in function last'
""

我认为这是合理的.但是,我从中得到了这个check2

quickCheckAll
True

我很困惑,因为无论我如何改变last'功能,甚至错误,quickCheckAll总是返回True.

我的代码出了什么问题？我怎样才能解决这个问题？