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

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

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

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

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

|

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

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

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

varid	$\to$	(small {small \| large \| digit \| ' })_<reservedid>
conid	$\to$	large {small \| large \| digit \| ' }
reservedid	$\to$	case \| class \| data \| default \| deriving \| do \| else
	\|	if \| import \| in \| infix \| infixl \| infixr \| instance
	\|	let \| module \| newtype \| of \| tden \| type \| where \| _
varsym	$\to$	( symbol {symbol \| :})_{<reservedop \| dashes>}
consym	$\to$	(: {symbol \| :})_<reservedop>
reservedop	$\to$	.. \| : \| :: \| = \| \ \| \| \| $\gets$ \| $\to$ \| @ \| $\sim$ \| $\Rightarrow$
varid			(переменные)
conid			(конструкторы)
tyvar	$\to$	varid	(переменные типов)
tycon	$\to$	conid	(конструкторы типов)
tycls	$\to$	conid	(классы типов)
modid	$\to$	conid	(модули)
qvarid	$\to$	[ modid . ] varid
qconid	$\to$	[ modid . ] conid
qtycon	$\to$	[ modid . ] tycon
qtycls	$\to$	[ modid . ] tycls
qvarsym	$\to$	[ modid . ] varsym
qconsym	$\to$	[ modid . ] consym
decimal	$\to$	digit{digit}
octal	$\to$	octit{octit}
hexadecimal	$\to$	hexit{hexit}
integer	$\to$	decimal
	\|	0o octal \| 0O octal
	\|	0x hexadecimal \| 0X hexadecimal
float	$\to$	decimal . decimal [exponent]
	\|	decimal exponent
exponent	$\to$	(e \| E) [+ \| -] decimal
char	$\to$	' (graphic_{<' \| \>} \| space \| escape_<\&>) '
string	$\to$	" {graphic_{<" \| \>} \| space \| escape \| gap}"
escape	$\to$	\ ( charesc \| ascii \| decimal \| o octal \| x hexadecimal )
charesc	$\to$	a \| b \| f \| n \| r \| t \| v \| \ \| " \| ' \| &
ascii	$\to$	^cntrl \| NUL \| SOH \| STX \| ETX \| EOT \| ENQ \| ACK
	\|	BEL \| BS \| HT \| LF \| VT \| FF \| CR \| SO \| SI \| DLE
	\|	DC1 \| DC2 \| DC3 \| DC4 \| NAK \| SYN \| ETB \| CAN
	\|	EM \| SUB \| ESC \| FS \| GS \| RS \| US \| SP \| DEL
cntrl	$\to$	ascLarge \| @ \| [ \| \ \| ] \| ^ \| _
gap	$\to$	\ whitechar {whitechar}\

Перевод:

идентификатор-переменной	$\to$	(маленькая-буква {маленькая-буква \| большая-буква \| цифра \| ' })_{<зарезервированный-идентификатор>}
идентификатор-конструктора	$\to$	большая-буква {маленькая-буква \| большая-буква \| цифра \| ' }
зарезервированный-идентификатор	$\to$	case \| class \| data \| default \| deriving \| do \| else
	\|	if \| import \| in \| infix \| infixl \| infixr \| instance
	\|	let \| module \| newtype \| of \| tden \| type \| where \| _
символ-переменной	$\to$	( символ {символ \| :})_{<зарезервированный-оператор\| тире>}
символ-конструктора	$\to$	(: {символ \| :})_{< зарезервированный-оператор>}
зарезервированный-оператор	$\to$	.. \| : \| :: \| = \| \ \| \| \| $\gets$ \| $\to$ \| @ \| $\sim$ \| $\Rightarrow$
	$\to$
идентификатор-переменной			(переменные)
идентификатор-конструктора			(конструкторы)
переменная-типа	$\to$	идентификатор-переменной	(переменные типов)
конструктор-типа	$\to$	идентификатор-конструктора	(конструкторы типов)
класс-типа	$\to$	идентификатор-конструктора	(классы типов)
идентификатор-модуля	$\to$	идентификатор-конструктора	(модули)
квалифицированный-идентификатор-переменной	$\to$	[ идентификатор-модуля . ] идентификатор-переменной
квалифицированный-идентификатор-конструктора	$\to$	[идентификатор-модуля . ] идентификатор-конструктора
квалифицированный-конструктор-типа	$\to$	[идентификатор-модуля . ] конструктор-типа
квалифицированный-класс-типа	$\to$	[идентификатор-модуля . ] класс-типа
квалифицированный-символ-переменной	$\to$	[идентификатор-модуля . ] символ-переменной
квалифицированный-символ-конструктора	$\to$	[идентификатор-модуля . ] символ-конструктора
десятичный-литерал	$\to$	цифра{цифра}
восьмиричный-литерал	$\to$	восьмиричная-цифра{восьмиричная-цифра}
шестнадцатиричный-литерал	$\to$	шестнадцатиричная-цифра{шестнадцатиричная-цифра}
целый-литерал	$\to$	десятичный-литерал
	\|	0o восьмиричный-литерал \| 0O восьмиричный-литерал
	\|	0x шестнадцатиричный-литерал \| 0X шестнадцатиричный-литерал
литерал-с-плавающей-точкой	$\to$	десятичный-литерал . десятичный-литерал [экспонента]
	\|	десятичный-литерал экспонента
экспонента	$\to$	(e \| E) [+ \| -] десятичный-литерал
символьный-литерал	$\to$	' (графический-символ_{<' \| \>} \| пробел \| эскейп-символ_<\&>) '
строковый-литерал	$\to$	" {графический-символ_{<" \| \>} \| пробел \| эскейп-символ \| разрыв}"
эскейп-символ	$\to$	\ ( символ-эскейп \| символ-ascii \| десятичный-литерал \| o восьмиричный-литерал \| x шестнадцатиричный-литерал )
символ-эскейп	$\to$	a \| b \| f \| n \| r \| t \| v \| \ \| " \| ' \| &
символ-ascii	$\to$	^управляющий-символ \| NUL \| SOH \| STX \| ETX \| EOT \| ENQ \| ACK
	\|	BEL \| BS \| HT \| LF \| VT \| FF \| CR \| SO \| SI \| DLE
	\|	DC1 \| DC2 \| DC3 \| DC4 \| NAK \| SYN \| ETB \| CAN
	\|	EM \| SUB \| ESC \| FS \| GS \| RS \| US \| SP \| DEL
управляющий-символ	$\to$	большая-буква-ASCII \| @ \| [ \| \ \| ] \| ^ \| _
разрыв	$\to$	\ пробельный-символ {пробельный-символ}\

Дальше >>

Язык и библиотеки Haskell 98

Язык и библиотеки Haskell 98

Синтаксический справочник

Вопросы и ответы

Студенты

Авторизоваться

Язык и библиотеки Haskell 98

Язык и библиотеки Haskell 98

Синтаксический справочник

Вопросы и ответы

Студенты