MOSCOW ML

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

Moscow ML представляет собой полное исполнение Standard ML, включая некоторые модули и расширения, поддерживает большую часть необходимых частей базовой библиотеки SML. Является кроссплатформенным языком. Поддерживаемые платформы Unix-like, Windows, Mac OS и .NET.

Moscow ML основывается на байт-кодовой системе Caml Light, что создает преимущество в быстрой компиляции.

Некоторые расширения Standard ML, реализованные в Moscow ML:

представляет функторы более высокого уровня, могут быть объявлены в структуре, которая передается как аргумент в другой функтор
рекурсивные модули: структуры и подписи могут определяться рекурсивно
модули первого класса (first-class)
сделаны некоторые послабления ограничений Standard ML

Ссылки:

Примеры:

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");;

MOSCOW ML

Ссылки:

Примеры:

Hello, World!:

Факториал:

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

Комментарии