НОУ ИНТУИТ | Язык и библиотеки Haskell 98. Лекция 10: Синтаксический справочник

Учитесь и получайте официальные документы БЕСПЛАТНО. Вы можете поддержать наш проект.

Регистрация Вход

Твой путь к знаниям!

Опубликован: 19.09.2008 | Уровень: специалист | Доступ: платный

|

Вам нравится? Нравится 5 студентам

| Поделиться |

Поддержать программу

pat	$\to$	var + integer	(образец упорядочивания)
	\|	pat⁰
patⁱ	$\to$	patⁱ⁺¹ [qconop^(n,i) patⁱ⁺¹]
	\|	lpatⁱ
	\|	rpatⁱ
lpatⁱ	$\to$	(lpatⁱ \| patⁱ⁺¹) qconop^(l,i) patⁱ⁺¹
lpat⁶	$\to$	- (integer \| float)	(отрицательный литерал)
rpatⁱ	$\to$	patⁱ⁺¹ qconop^(r,i) (rpatⁱ \| patⁱ⁺¹)
pat¹⁰	$\to$	apat
	\|	gcon apat₁ ... apat_k	(число аргументов конструктора gcon = k, k>=1 )

Перевод:

образец	$\to$	переменная + целый-литерал	(образец упорядочивания)
	\|	образец⁰
образецⁱ	$\to$	образецⁱ⁺¹ [квалифицированный-оператор-конструктора^(n,i) образецⁱ⁺¹]
	\|	левый-образецⁱ
	\|	правый-образецⁱ
левый-образецⁱ	$\to$	(левый-образецⁱ \| образецⁱ⁺¹) квалифицированный-оператор-конструктора^(l,i) образецⁱ⁺¹
левый-образец⁶	$\to$	- (целый-литерал \| литерал-с-плавающей-точкой)	(отрицательный литерал)
правый-образецⁱ	$\to$	образецⁱ⁺¹ квалифицированный-оператор-конструктора^(r,i) (правый-образецⁱ \| образецⁱ⁺¹)
образец¹⁰	$\to$	такой-как-образец
	\|	общий-конструктор такой-как-образец₁ ... такой-как-образец_k	(число аргументов конструктора gcon = k, k>=1 )

apat	$\to$	var [@ apat]	("такой как"-образец)
	\|	gcon	(число аргументов конструктора gcon = 0 )
	\|	qcon { fpat₁ , ... , fpat_k }	(именованный образец, k>=0 )
	\|	literal
	\|	_	(любые символы)
	\|	( pat )	(образец в скобках)
	\|	( pat₁ , ... , pat_k )	(образец кортежа, k>=2 )
	\|	[ pat₁ , ... , pat_k ]	(образец списка, k>=1 )
	\|	~ apat	(неопровержимый образец)
fpat	$\to$	qvar = pat

Перевод:

такой-как-образец	$\to$	переменная [@ такой-как-образец]	("такой как"-образец)
	\|	общий-конструктор	(число аргументов конструктора gcon = 0 )
	\|	квалифицированный-конструктор { образец-с-именем₁ , ... , образец-с-именем_k }	(именованный образец, k>=0 )
	\|	литерал
	\|	_	(любые символы)
	\|	( образец )	(образец в скобках)
	\|	( образец₁ , ... , образец_k )	(образец кортежа, k>=2 )
	\|	[ образец₁ , ... , образец_k ]	(образец списка, k>=1 )
	\|	$\sim$ такой-как-образец	(неопровержимый образец)
образец-с-именем	$\to$	квалифицированная-переменная = образец

gcon	$\to$	()
	\|	[]
	\|	(,{,})
	\|	qcon
var	$\to$	varid \| ( varsym )	(переменная)
qvar	$\to$	qvarid \| ( qvarsym )	(квалифицированная переменная)
con	$\to$	conid \| ( consym )	(конструктор)
qcon	$\to$	qconid \| ( gconsym )	(квалифицированный конструктор)
varop	$\to$	varsym \| 'varid '	(оператор переменной)
qvarop	$\to$	qvarsym \| 'qvarid '	(квалифицированный оператор переменной)
conop	$\to$	consym \| 'conid '	(оператор конструктора)
qconop	$\to$	gconsym \| 'qconid '	(квалифицированный оператор конструктора)
op	$\to$	varop \| conop	(оператор)
qop	$\to$	qvarop \| qconop	(квалифицированный оператор)
gconsym	$\to$	: \| qconsym

Перевод:

общий-конструктор	$\to$	()
	\|	[]
	\|	(,{,})
	\|	квалифицированный-конструктор
переменная	$\to$	идентификатор-переменной \| ( символ-переменной )	(переменная)
квалифицированная-переменная	$\to$	квалифицированный-идентификатор-переменной \| ( квалифицированный-символ-переменной )	(квалифицированная переменная)
конструктор	$\to$	идентификатор-конструктора \| (символ-конструктора )	(конструктор)
квалифицированный-конструктор	$\to$	квалифицированный-идентификатор-конструктора \| ( символ-общего-конструктора )	(квалифицированный конструктор)
оператор-переменной	$\to$	символ-переменной \| 'идентификатор-переменной '	(оператор переменной)
квалифицированный-оператор-переменной	$\to$	квалифицированный-символ-переменной \| 'квалифицированный-идентификатор-переменной '	(квалифицированный оператор переменной)
оператор-конструктора	$\to$	символ-конструктора \| 'идентификатор-конструктора '	(оператор конструктора)
квалифицированный-оператор-конструктора	$\to$	символ-общего-конструктора \| 'квалифицированный-идентификатор-конструктора '	(квалифицированный оператор конструктора)
оператор	$\to$	оператор-переменной \| оператор-конструктора	(оператор)
квалифицированный-оператор	$\to$	квалифицированный-оператор-переменной \| квалифицированный-оператор-конструктора	(квалифицированный оператор)
символ-общего-конструктора	$\to$	: \| квалифицированный-символ-конструктора

Дальше >>