Haskellのレイジー式で評価された未定義のユニットテスト

Question

undefinedに遭遇したときに式が失敗するはずのユニットテストをハスケルに書くのはややこしいことです。私はHSpecで次のことを試した：

module Main where 

import Test.Hspec 
import Control.Exception (evaluate) 

main :: IO() 
main = hspec $ do 
    describe "Test" $ do 
    it "test case" $ do 
     evaluate (take 1 $ map (+1) [undefined, 2, 3]) `shouldThrow` anyException 

[*** Exception: Prelude.undefined 
CallStack (from HasCallStack): 
    error, called at libraries\base\GHC\Err.hs:79:14 in base:GHC.Err 
    undefined, called at <interactive>:2:20 in interactive:Ghci1 

Answer 1

問題はevaluateはNH に自分の表現を強制したり、WHNF ないということである：それは私がREPLで同じ式を評価する場合は、私が取得したい私にdid not get expected exception: SomeException

を報告します。 GHCiでx <- evaluate (take 1 $ map (+1) [undefined, 2, 3])を試してください - それはあなたにエラーを与えることはありません！ evaluate (take 1 $ map (+1) [undefined, 2, 3])に貼り付けたときの唯一の理由は、GHCiが得た結果を印刷しようとすることです。そのために、式を評価しようとします。あなたが見ることができるように、

ghci> x <- evaluate (take 1 $ map (+1) [undefined, 2, 3]) 
ghci> :sprint x 
x = [_] 

evaluateはxを実現するために十分式を余儀なくされていない：

あなたが評価されているどのくらいのサンクの見たい場合は、いつでもGHCiの中:sprintを使用することができますundefinedが含まれています。簡単な修正は、forceを使用して、通常のフォームに調べているものを評価することです。

import Test.Hspec 
import Control.Exception (evaluate) 
import Control.DeepSeq (force) 

main :: IO() 
main = hspec $ do 
    describe "Test" $ do 
    it "test case" $ do 
     evaluate (force (take 1 $ map (+1) [undefined, 2, 3] :: [Int])) 
     `shouldThrow` anyException 

force引数が評価さ一杯になるまでは、サンクの評価をトリガすることができます。 NFData（ "標準フォームデータ"の略）制約があることに注意してください。データ構造にはGenericとNFDataが得られます。 evaluateがhead $ map (+1) [undefined, 2, 3]がエラーをトリガしない理由ですWNHF、にその引数をプッシュないことを指摘し@AlexisKingため

---

感謝。 takeの場合は、十分ではありません。