Standart ML. Урок 1. Введение

Standart ML   14 октября 2013  Автор статьи:  
Что такое Standart ML?

Это один из языков программирования — Стандартный ML, который:

  • является функциональным — функции могут передаваться в качестве аргументов. Основной способ применения функций — рекурсивный (хвостовая рекурсия);
  • является интерактивным — введенные предложения анализируются, компилируются и исполняется, в итоге чего выдается значение и его тип;
  • является строго типизированным — тип каждого выражения автоматически определяется компилятором, а значит ошибки согласования типов в период исполнения программы не возникают (сразу выдается «warning» с описанием ошибки);
  • поддерживает абстрактные типы данных — новые типы данных могут быть определены вместе с набором операций над значениями этих типов;
  • строится как набор взаимосвязанных структур — структуры связываются друг с другом с помощью функторов.
Когда появился язык Standart ML?

Стандартный ML — берет свое начало от языка ML, разработанного в Эдинбурге Майком Гордоном, Робином Милнером и Крисом Уодсвортом в середине 70-х годов.

Как начать программировать на Standart ML?
  1. Вам понадобятся две программы, это интерпретатор mosml и редактор NotePad++, которые Вы сможете скачать в архиве.
  2. При редактировании файлов в редакторе NotePad++ программы на языке Standard ML нужно сохранять в файле с расширением .sml.
  3. Для подсветки синтаксиса нужно в меню «Синтаксис» выбрать язык Caml (или сохранить файл с расширением .sml).
  4. Для корректного отображения программы в меню «Опции» → «Настройки» → «Синтаксис/Табуляция» нужно заменить размер на 2 и поставить галочку в «Заменить пробелом».
  5. Синтаксис

  6. Для запуска программы нужно в меню «Запуск» выбрать пункт «Запуск» (или нажать F5), далее в появившемся окне дать команду: mosml "$(FULL_CURRENT_PATH)"
  7. connectionString

  8. Желательно сразу же сохранить эту команду и назначить горячие клавиши для нее Cntr+F9.
    mosml

В путь! Двигайтесь на встречу к следующим урокам!

Научиться программировать

  • на Delphi

  • на Java

  • на C++