Standard ML

Диалект языка программирования ML

Standard ML — язык общего назначения, предназначенный для модульного и функционального программирования.

Содержит некоторые императивные свойства, например, ссылки на изменяемые значения, и поэтому не является чистым. При вычислениях использует «вызов-по-значению». Используется очень интересная реализация модульности. Присутствует мощная полиморфная система типов (основанная на параметрическом полиморфизме).

Последний стандарт языка — Standard ML-97, для которого существует формальные математические определения синтаксиса, а также статической и динамической семантик языка.

Standard ML является современным потомком языка ML, который разрабатывался для вывода автоматических доказательств теорем LCF. Описание данного языка содержится в The Definition of Standard ML (от1990 года, которое было исправлено и дополнено в 1997 году).

Ссылки:

Примеры:

CamelCase:

Пример для версий SML/NJ 110.69

val text = valOf (TextIO.inputLine TextIO.stdIn);
fun capitalize s = let
  val (x::xs) = explode s
in
  implode (Char.toUpper x :: map Char.toLower xs)
end;
val result = concat (map capitalize (String.tokens (not o Char.isAlpha) text));
print (result ^ "\n");

Hello, World!:

Пример для версий MLton 20070826, Moscow ML 2.01, SML/NJ 110.69

Отметим, что в Objective Caml этот код работать не будет, так как в нем не определена функция print.

print "Hello, World!\n";

Факториал:

Пример для версий MLton 20070826, Moscow ML 2.01, SML/NJ 110.69

В примере используется рекурсивное определение факториала. ^ — оператор конкатенации строк; преобразование чисел в строки выполняется в явном виде. ;; в конце программы — сигнал для интерактивной среды, что блок программы дописан и может быть интерпретирован. Во всех реализациях возникает ошибка переполнения при вычислении 13!, и программа прерывается.

Отметим, что Int (библиотека для работы с целыми числами) входит в базовую библиотеку Standard ML, но SML/NJ и MLton подгружают ее автоматически, а Moscow ML — нет. Чтобы эта программа заработала в Moscow ML, ее следует запускать с опцией -P full.

fun factorial n =
  if n <= 0 then 1
  else n * factorial (n-1)

val n = ref 0;
while !n <= 16 do (
  print (Int.toString (!n) ^ "! = " ^ Int.toString (factorial (!n)) ^ "\n");
  n := !n + 1
);;

Числа Фибоначчи:

Пример для версий MLton 20070826, Moscow ML 2.01, SML/NJ 110.69

Используется итеративное определение чисел Фибоначчи.

val n = ref 0;
val fib0 = ref 1;
val fib1 = ref 1;
val sum = ref 0;
val res = ref "";
while !n <= 15 do (
  res := !res ^ (Int.toString(!fib0) ^ ", ");
  sum := !fib0 + !fib1;
  fib0 := !fib1;
  fib1 := !sum;
  n := !n + 1
);
print (!res ^ "...\n");;

Standard ML

Ссылки:

Примеры:

CamelCase:

Hello, World!:

Факториал:

Числа Фибоначчи:

Комментарии