Haskell, newtype vs data

[deniok]

Сегодня на stackoverflow, отвечая на вопрос, Andreas Hammar привёл хорошие примеры. Сохраняю на будущее, как простые задачки для студентов

data    D a = D a
data    S a = S !a
newtype N a = N a

constD x (D y) = x
constS x (S y) = x
constN x (N y) = x

Какие из следующих вызовов завершат свою работу как Deep Thought, а какие как Earth?

D undefined `seq` 42
S undefined `seq` 42
N undefined `seq` 42
constD 42 undefined
constS 42 undefined
constN 42 undefined

Comments

[lionet.livejournal.com]

newtype — это создание фантомного конструктора/тэга, которого потом в рантайме не существует. Фактически, «newtype N a» это то же самое, что «a» в рантайме. Отсюда взрывание третьего и невзрывание шестого примеров. Строгий !a в типе S приводит к попытке форсирования undefined во втором примере, поэтому он взрывается. Остальное стандартно.

[deni-ok.livejournal.com]

ага, всё верно.