※ 引述《etwas (i'm only dust)》之銘言： : data DataInt = D Int : deriving (Eq, Ord, Show) : newtype NewtypeInt = N Int : deriving (Eq, Ord, Show) : ===== : ghci> case undefined of D _ -> 1 : *** Exception: Prelude.undefined : the author wrote: : "the unprotected undefined is evaluated when the pattern match occurs". : i realise that matching is based on value constructors. : but under what circumstances does it have to evaluate them? 大致上，如果一個值去 match 一個 data constructor 的時候 就必須被 evaluate 成 weak head normal form (WHNF). 在這個 例子中，undefined 要和 D _ 配對，於是電腦試著把 undefined evalulate 成 WHNF，但當然做不到。於是就開始 loop 了。 : in this case, does pattern matching run into a divergence? 是的。通常 divergence 指的是無法「聚合」成一個值。 : pattern matching, does it happen in runtime, compile time or both? 在 Haskell 中應該是只有 runtime 才會發生的。 : if it's a runtime process, then some sort of bookkeeping data about : constructors should be retained during programme execution, right? 是的。基本上 runtime 時的值都有某些方式讓我們可測出它 是什麼東西。例如一個 list, 我們當然得知道它是或不是空 的 (是 [] 或是 _:_ ). : ghci> case undefined of N _ -> 1 : 1 NewtypeInt 是用 newtype 定義的, 因此和 DataInt 有些不同。 如果我們宣告 newtype T = C U, 定出的 T 其實「就是」U. newtype 的使用時機是我們想把某些 U 當作不一樣的 type （例如定義成某些 class 的 instance），但不想要多耗費一個 data constructor 去包它。 所以 NewtypeInt 的那個 N 其實是不存在的。去 match N _ 和 match _ 其實是一樣的事情。因此上面的式子不會 loop. : but something like : ghci> case 10.77 of N _ -> 1 : ghci> case "a string" of N _ -> 1 : justifiably fail : regarding to the author's explanation, why the two cases fail while : the "undefined" case succeeds? 以上這兩個情形都會出現 type error. 那又是另一個層次的問題了... :) --

※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 220.136.48.247