Выражения

3.13 Case-выражения

Перевод:

Case-выражение имеет общий вид

case e of { p1 match1 ; ... ; pn matchn }

где каждый match_i имеет общий вид

| gi1-> ei1
...
| gimi-> eimi
where declsi

(Заметьте, что в синтаксическом правиле для gd "|" является терминальным символом, а не синтаксическим мета-символом для указания альтернатив.) Каждая альтернатива p_i match_i состоит из образца p_i и его сопоставлений match_i. Каждое сопоставление, в свою очередь, состоит из последовательности пар стражей g_ij и тел e_ij (выражений), за которыми следуют необязательные связывания (decls_i), чья область видимости распространяется над всеми стражами и выражениями альтернативы. Альтернатива вида

pat -> exp where decls

интерпретируется как краткая запись для

pat | True-> exp
where decls

Case-выражение должно иметь по крайней мере одну альтернативу, и каждая альтернатива должна иметь по крайней мере одно тело. Каждое тело должно иметь один и тот же тип, и все выражение должно быть того же типа.

Вычисление case-выражения выполняется посредством сопоставления выражения e отдельным альтернативам. Альтернативы проверяются последовательно, сверху вниз. Если e соответствует образцу в альтернативе, выполняется связывание переменных, сначала указанных в образце, а затем - с помощью decls_i в операторе where, связанном с этой альтернативой. Если значение одного из вычисляемых стражей окажется True, в том же окружении, что и страж, будет вычислена соответствующая правая часть. Если значения всех стражей окажутся False, процесс сопоставления с образцом будет возобновлен со следующей альтернативы. Если не удастся сопоставить ни один образец, результатом будет _|_. Сопоставление с образцом описано в разделе "3.17" , а формальная семантика case-выражений - в разделе "3.17.3."

Замечание о разборе. Выражение

case x of { (a,_) | let b = not a in b :: Bool -> a }

нелегко правильно интерпретировать при разборе. Оно имеет единственную однозначную интерпретацию, а именно:

case x of { (a,_) | (let b = not a in b :: Bool) -> a }

Тем не менее, выражение Bool -> a является синтаксически правильным типом, и синтаксические анализаторы с ограниченным предварительным просмотром могут выбрать этот неправильный вариант, и тогда программа будет признана недопустимой. Поэтому мы советуем программистам избегать использования стражей, которые заканчиваются указанием сигнатуры типа, именно поэтому gd содержит exp⁰, а не не exp.

3.14 Do-выражения

Перевод:

Do-выражения предоставляют более удобный синтаксис для монадического программирования. Оно позволяет записать такое выражение

putStr "x: "    >> 
  getLine         >>= \l ->
  return (words l)

в более традиционном виде:

do putStr "x: "
     l <- getLine
     return (words l)

Как показано в трансляции do, переменные, связанные let, имеют полностью полиморфные типы, тогда как те переменные, которые определены с помощью <-, являются связанными лямбда-выражением и поэтому являются мономорфными.