Версия от 08:28, 23 марта 2011

Модельный язык программирования с шаблонами, на примере которого изучается алгоритм типизации Хиндли-Милнера (Белякова Ю.).

Синтаксис

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₁
{elif <условие_i> then
    ops_i}
[else
    ops₂]
fi

@@ Строка 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'''