Вычисляется ли выражение при сопоставлении с _?

Сорри, если вопрос слишком нубский.

Да не, ну что ты. Это слишком продвинутый вопрос для ЛОРа. Наверняка большинство пользователей ресурса на него ответить не смогут.

Вычисляется ли выражение при сопоставлении с _?

А самому проверить?

> let _ = error "expression does evaluate when matched against underscore"
> 

А это точно тоже самое, что проверка, например, в образцах аргументов функции?

Кстати, я, наверно, вообще туплю - там ведь и «обычный» аргумент(например, голова списка в x:xs) не вычисляется, пока не потребуется в теле. Так? Т.е. паттерн лишь смотрит «структуру», не разбирая сами значения, если это не требует сам паттерн(или паттерн, идущий раньше нашего)?

Сильно не пинайте, Haskell только начинаю изучать, но у меня привычка дотошно разбираться с тем, что именно происходит...

паттерн лишь смотрит «структуру», не разбирая сами значения, если это не требует сам паттерн

Как-то криво сказано, просто вычисления происходят ровно настолько, чтобы можно было сопоставить паттерн: (x:xs) - требует чтобы внешний конструктор (как там модно, whnf) был (:) (т.е. не подходит [] и только он), если бы было (1:xs) - был бы еще шаг.

только он

Ну и «bottom» (undefined / error) можно добавить.

неправильная проверка.

правильная проверка:

let x = \_ -> 1

x undefined

ТС читай сюды: http://www.haskell.org/tutorial/patterns.html

неправильная проверка.

Почему? И там, и там происходит pattern matching.

что матчится в твоем примере? что мы должны увидеть? что мы бы увидели, если бы вычисление аргумента проводилось?

Там даже есть ленивый паттерн-матчинг (за достоверность термина не ручаюсь - давно было).

что матчится в твоем примере?

wildcard-шаблон сопоставляется с правой частью выражения.

что мы должны увидеть?

Что сообщение об ошибке не вывелось.

что мы бы увидели, если бы вычисление аргумента проводилось?

«*** Exception: expression does evaluate when matched against underscore»

> let (Just x) = error "foo"
> 

сообщение об ошибке не вывелось...

В «let» lazy patterns, чтобы увидеть эксепшен, нужно использовать что-то наматченное:

> let (Just x) = error "hi"
x :: t
> x
*** Exception: hi

Аналог с case:

> case error "hi" of ~(Just _) -> 4
4

Обычный паттер матчинг:

> case error "hi" of Just _ -> 4
*** Exception: hi

Ок, буду знать.

Да мне кажется, что я читал когда-то. Видимо не очень внимательно. Спасибо=)