Модельный язык программирования — исследование типизации - История изменений

Juliet в 11:48, 24 апреля 2011

2011-04-24T11:48:23Z

@@ Строка 4: / Строка 4: @@
 Основная задача — '''проверка и вывод типов'''.
-[[Модельный язык программирования Polly — описание |Описание]]
+= Описание =
 = Ссылки =
 * [[Модельный язык программирования Polly — грамматика |Грамматика языка]]

Juliet в 11:47, 24 апреля 2011

2011-04-24T11:47:17Z

← Предыдущая версия		Версия от 14:47, 24 апреля 2011
Строка 4:		Строка 4:
	Основная задача — '''проверка и вывод типов'''.		Основная задача — '''проверка и вывод типов'''.

			[[Модельный язык программирования Polly — описание \|Описание]]

			= Ссылки =
			* [[Модельный язык программирования Polly — грамматика \|Грамматика языка]]
	= Синтаксис =		= Синтаксис =
	== Присваивание ==		== Присваивание ==

Juliet в 11:44, 24 апреля 2011

2011-04-24T11:44:03Z

← Предыдущая версия		Версия от 14:44, 24 апреля 2011
Строка 45:		Строка 45:
	== Функции ==		== Функции ==
	Определение функции:		Определение функции:
	Nat foo() // функция без параметров		Nat '''fun''' foo() // функция без параметров
	...		...
	return 5;		return 5;
	'''end'''		'''end'''

	Nat foo(Nat x) // функция с параметрами		Nat '''fun''' foo(Nat x) // функция с параметрами
	...		...
	return x + 7;		return x + 7;
	'''end'''		'''end'''

	void foo(<параметры>) // процедура		void '''fun''' foo(<параметры>) // процедура
	...		...
	return;		return;
	'''end'''		'''end'''

	foo(<параметры>) // автовыведение типа возвращаемого значения		'''fun''' foo(<параметры>) // автовыведение типа возвращаемого значения
	...		...
	return true;		return true;
Строка 66:		Строка 66:

	Определение шаблона функции:		Определение шаблона функции:
	T foo[!T, S](S->T f, S xx)		T '''fun''' foo[!T, S](S->T f, S xx)
	...		...
	'''end'''		'''end'''
Строка 75:		Строка 75:
	= Типы =		= Типы =
	== Базовые типы ==		== Базовые типы ==
	* Nat
	* Bool		* Bool
	* Int		* Int
Строка 96:		Строка 95:
	= Лямбда-выражения =		= Лямбда-выражения =
	Простое лямбда-выражение от одного параметра:		Простое лямбда-выражение от одного параметра:
	Nat x => x*x		{ Nat x => x*x }
	Простое лямбда-выражение от двух параметров:		Простое лямбда-выражение от двух параметров:
	(Nat x, Nat y) => x + y		{ (Nat x, Nat y) => x + y }
	Сложное лямбда-выражение от двух параметров (???):		Сложное лямбда-выражение от двух параметров (???):
	(Nat x, Nat y) => {var z = x + y; return ((x + y) mod 2 = 0) ? xx : yy}		{ (Nat x, Nat y) => var z = x + y; return ((x + y) mod 2 = 0) ? xx : yy; }

	var lambda =		var lambda = { Nat x =>
	Nat x => var y = xxx;		var y = xxx;
	var z = f(y);		var z = f(y);
	z + x <=		return z + x; }

Juliet: /* Лямбда-выражения */

2011-03-27T18:52:16Z

Лямбда-выражения

← Предыдущая версия		Версия от 21:52, 27 марта 2011
Строка 95:		Строка 95:

	= Лямбда-выражения =		= Лямбда-выражения =
			Простое лямбда-выражение от одного параметра:
			Nat x => x*x
			Простое лямбда-выражение от двух параметров:
			(Nat x, Nat y) => x + y
			Сложное лямбда-выражение от двух параметров (???):
			(Nat x, Nat y) => {var z = x + y; return ((x + y) mod 2 = 0) ? xx : yy}

			var lambda =
			Nat x => var y = xxx;
			var z = f(y);
			z + x <=

Juliet в 17:49, 27 марта 2011

2011-03-27T17:49:20Z

← Предыдущая версия		Версия от 20:49, 27 марта 2011
Строка 45:		Строка 45:
	== Функции ==		== Функции ==
	Определение функции:		Определение функции:
	Nat foo() ~~'''def'''~~ // функция без параметров		Nat foo() // функция без параметров
	...		...
	return 5;		return 5;
	'''end'''		'''end'''

	Nat foo(Nat x) ~~'''def'''~~ // функция с параметрами		Nat foo(Nat x) // функция с параметрами
	...		...
	return x + 7;		return x + 7;
	'''end'''		'''end'''

	void foo(<параметры>) ~~'''def'''~~ // процедура		void foo(<параметры>) // процедура
	...		...
	return;		return;
	'''end'''		'''end'''

	foo(<параметры>) ~~'''def'''~~ // автовыведение типа возвращаемого значения		foo(<параметры>) // автовыведение типа возвращаемого значения
	...		...
	return true;		return true;
Строка 66:		Строка 66:

	Определение шаблона функции:		Определение шаблона функции:
	T foo[!T, S](S->T f, S xx) ~~'''def'''~~		T foo[!T, S](S->T f, S xx)
	...		...
	'''end'''		'''end'''
Строка 93:		Строка 93:
	Вероятно, добавим вывод:		Вероятно, добавим вывод:
	print()		print()

			= Лямбда-выражения =

Juliet в 17:29, 27 марта 2011

2011-03-27T17:29:54Z

← Предыдущая версия		Версия от 20:29, 27 марта 2011
Строка 1:		Строка 1:
	''Модельный язык программирования с шаблонами, на примере которого изучается алгоритм типизации Хиндли-Милнера (Белякова Ю.).''		''Модельный язык программирования с шаблонами, на примере которого изучается алгоритм типизации Хиндли-Милнера (Белякова Ю.).''

	Язык нужен для исследования алгоритма типизации~~, поэтому операторы не будут исполняться~~. <br />		Язык нужен для исследования алгоритма типизации. <br />
	Основная задача — '''проверка и вывод типов'''.		Основная задача — '''проверка и вывод типов'''.

	~~Единственный исполняемый оператор — '''<big>print_type</big>'''.~~
	~~'''print_type''' <выражение>;~~
	~~Выражением может быть имя функции, арифметическое или логическое выражение, применение, etc.~~

	= Синтаксис =		= Синтаксис =
Строка 45:		Строка 41:
	'''while''' <условие> '''do'''		'''while''' <условие> '''do'''
	ops;		ops;
	'''~~done~~'''		'''endw'''

	== Функции ==		== Функции ==
Строка 52:		Строка 48:
	...		...
	return 5;		return 5;
	'''~~fed~~'''		'''end'''

	Nat foo(Nat x) '''def''' // функция с параметрами		Nat foo(Nat x) '''def''' // функция с параметрами
	...		...
	return x + 7;		return x + 7;
	'''~~fed~~'''		'''end'''

	void foo(~~...~~) '''def''' // процедура		void foo(<параметры>) '''def''' // процедура
	...		...
	return;		return;
	'''~~fed~~'''		'''end'''

	~~'''''t_inf'''''~~ foo(~~...~~) '''def''' // автовыведение типа возвращаемого значения		foo(<параметры>) '''def''' // автовыведение типа возвращаемого значения
	...		...
	return true;		return true;
	'''~~fed~~'''		'''end'''

	Определение шаблона функции:		Определение шаблона функции:
	T foo<T, S>(S->T f, S xx) '''def'''		T foo[!T, S](S->T f, S xx) '''def'''
	...		...
	'''~~fed~~'''		'''end'''

	Вызов функции:		Вызов функции:
	foo(x, y, ...);		foo(x, y, ...);

	== ~~Методы~~ ==		= Типы =
	~~x.p();~~		== Базовые типы ==

	= Базовые типы =
	* Nat		* Nat
	* Bool		* Bool
	* Int		* Int
	* Double		* Double
			* String

			== Функциональные типы ==
			T->S
			T->S->U ~ T->(S->U)
			(T->S)->U

			= Процедуры и функции =
			Основная функция — '''<big>typeof</big>'''.
			'''typeof'''(<выражение>);
			Выражением может быть имя функции, арифметическое или логическое выражение, применение, etc.

			Вероятно, добавим вывод:
			print()

Juliet: /* Выражения */

2011-03-23T07:29:23Z

Выражения

← Предыдущая версия		Версия от 10:29, 23 марта 2011
Строка 28:		Строка 28:
	a && b		a && b
	!a		!a
			a == b
			a < (>) b
			a <= (>=) b

	== Условный оператор ==		== Условный оператор ==

Juliet в 05:42, 23 марта 2011

2011-03-23T05:42:34Z

← Предыдущая версия		Версия от 08:42, 23 марта 2011
Строка 1:		Строка 1:
	''Модельный язык программирования с шаблонами, на примере которого изучается алгоритм типизации Хиндли-Милнера (Белякова Ю.).''		''Модельный язык программирования с шаблонами, на примере которого изучается алгоритм типизации Хиндли-Милнера (Белякова Ю.).''

			Язык нужен для исследования алгоритма типизации, поэтому операторы не будут исполняться. <br />
			Основная задача — '''проверка и вывод типов'''.

			Единственный исполняемый оператор — '''<big>print_type</big>'''.
			'''print_type''' <выражение>;
			Выражением может быть имя функции, арифметическое или логическое выражение, применение, etc.

	= Синтаксис =		= Синтаксис =
Строка 54:		Строка 61:
	'''fed'''		'''fed'''

	'''''t_inf''''' foo(...) '''def'''		'''''t_inf''''' foo(...) '''def''' // автовыведение типа возвращаемого значения
	...		...
	return true;		return true;

Juliet: /* Условный оператор */

2011-03-23T05:38:30Z

Условный оператор

← Предыдущая версия		Версия от 08:38, 23 марта 2011
Строка 30:		Строка 30:
	ops<sub>2</sub>]		ops<sub>2</sub>]
	'''fi'''		'''fi'''

			== Цикл ==
			Цикл с ''предусловием''.
			'''while''' <условие> '''do'''
			ops;
			'''done'''

			== Функции ==
			Определение функции:
			Nat foo() '''def''' // функция без параметров
			...
			return 5;
			'''fed'''

			Nat foo(Nat x) '''def''' // функция с параметрами
			...
			return x + 7;
			'''fed'''

			void foo(...) '''def''' // процедура
			...
			return;
			'''fed'''

			'''''t_inf''''' foo(...) '''def'''
			...
			return true;
			'''fed'''

			Определение шаблона функции:
			T foo<T, S>(S->T f, S xx) '''def'''
			...
			'''fed'''

			Вызов функции:
			foo(x, y, ...);

			== Методы ==
			x.p();

			= Базовые типы =
			* Nat
			* Bool
			* Int
			* Double

Juliet: /* Синтаксис */

2011-03-23T05:28:01Z

Синтаксис

← Предыдущая версия		Версия от 08:28, 23 марта 2011
Строка 2:		Строка 2:

	= Синтаксис =		= Синтаксис =
			== Присваивание ==
			Nat x = 5;
			'''var''' x = 7.9; // автовыведение типа переменной
			y = x;

			== Выражения ==
			expr
			(expr)
			Арифметические:
			a + b
			a - b
			a * b
			a / b
			a '''div''' b
			a '''mod''' b
			Логические:
			a \|\| b
			a && b
			!a

			== Условный оператор ==
			'''if''' <условие> '''then'''
			ops<sub>1</sub>
			{'''elif''' <условие<sub>i</sub>> '''then'''
			ops<sub>i</sub>}
			['''else'''
			ops<sub>2</sub>]
			'''fi'''