Оглавление
FL (язык программирования)
-
История и разработка
- FL (Функциональный уровень) создан в 1980-х годах в IBM в Альмадене.
- Разработан Джоном Бэкусом, Джоном Уильямсом и Эдвардом Уиммерсом.
- Описан в отчете за 1989 год.
-
Особенности языка
- Динамически типизированный строгий функциональный язык.
- Семантика исключения throw и catch, похожая на ML.
- Каждая функция имеет неявный аргумент history для ввода/вывода и привязки к коду на C.
- Система типов, расширяющая метод вывода типов Хиндли-Милнера.
-
PLaSM
- Ориентированное на геометрию расширение подмножества языка FL.
- Впервые описано в 1992 году.
-
Рекомендации и внешние ссылки
- Руководство по языку FL, части 1 и 2 (PDF).
- Список основных статей на сайте plasm.net.
- Введение в FL и PLaSM (PDF).
-
Дополнительная информация
- Статья является заглушкой, можно помочь Википедии, расширив её.