WikiDer > FL (язык программирования) - Википедия

FL (programming language) - Wikipedia
FL
ПарадигмаФункциональный уровень, функциональный
РазработаноДжон Бэкус
Джон Уильямс
Эдвард Виммерс
Впервые появился1989
Печатная дисциплинаДинамический
Под влиянием
FP

FL (сокращение от «Функциональный уровень») - это язык программирования создан на Исследовательский центр IBM в Альмадене к Джон Бэкус, Джон Уильямс и Эдвард Виммерс в 1980-х годах и задокументированы в отчете 1989 года.[1] FL был разработан как преемник более ранней версии Backus Язык FP, обеспечивая конкретную поддержку того, что Бэкус назвал программирование на функциональном уровне.

FL - это строгий динамически типизированный функциональное программирование язык с семантикой исключений throw и catch, очень похожей на ML. Каждая функция имеет неявный аргумент истории, который используется для выполнения таких вещей, как строго функциональный ввод, вывод (I / O), но также используется для связи с C код. Для оптимизации существует система типов, которая является расширением Вывод типа Хиндли-Милнера.

Использует

PLaSM является «геометрическим расширением подмножества языка FL»[2] впервые описан в 1992 г.

Рекомендации

  1. ^ Айкен, Александр; Уильямс, Джон Х .; Виммерс, Эдвард Л. «Проект FL: Дизайн функционального языка» (PDF). Стэндфордский Университет.
  2. ^ «Введение в FL и PLaSM». Plasm.net.

внешняя ссылка