Вопрос про WHNF

[deniok]

А вот подскажите, на Haskell Wiki вот тут в последнем абзаце дурь написана, да? Никакой разницы между встроенными и пользовательскими частично примененными функциями нет?

Prelude> (+) undefined `seq` 5
5
Prelude> const undefined `seq` 5
5
Prelude> (\x y -> x) undefined `seq` 5
5

Или это только в последней версии GHC?

UPD. Нет, понял, там все верно, сам дурак. Пусть висит, демонстрирует мою глупость urbi et orbi.

Comments

[deni-ok.livejournal.com]

А вот более интересный вопрос: к какой WHNF был приведен левый операнд seq вот здесь:

Prelude> (\True y -> ()) False `seq` 5
5

Я знаю ответ, и он не противоречит цитируемому абзацу, но как задачка на понимание вопрос хорош.

[sassa-nf.livejournal.com]

а, хороший вопрос.

наверное, получится функция наподобие (\y -> raise "Pattern mismatch")

[deni-ok.livejournal.com]

Вот все-таки я нашел гадость:

Prelude> (\True y -> ()) False `seq` 5
5
Prelude> (\True -> (\y -> ())) False `seq` 5
*** Exception: :21:2-20: Non-exhaustive patterns in lambda

Мне кажется так не должно быть, хотя я понимаю, почему так получается.

[deni-ok.livejournal.com]

В ответ на ответ на вопрос: да типа того. Поскольку паттерн-матчинг транслируется в сase, то это можно записать так: \y -> case True of False -> ()