FL (язык программирования)
 | Эта статья включает список общих ссылок , но в ней отсутствуют достаточные соответствующие встроенные цитаты . ( январь 2018 г. ) |
| Парадигма | Функциональный уровень , функциональный |
|---|---|
| Разработано | Джон Бэкус Джон Уильямс Эдвард Виммерс |
| Впервые появился | 1989 |
| Дисциплина набора текста | Динамический |
| Под влиянием | |
| ФП | |
FL (сокращение от «Функциональный уровень») — язык программирования, созданный в Исследовательском центре IBM в Альмадене Джоном Бэкусом , Джоном Уильямсом и Эдвардом Виммерсом в 1980-х годах и задокументированный в отчете за 1989 год. [1] Бэкуса FL был разработан как преемник более раннего языка FP , обеспечивающий конкретную поддержку того, что Бэкус назвал программированием на уровне функций .
FL — это динамически типизированный строгий функциональный язык программирования с семантикой исключений throw и catch, очень похожей на ML . Каждая функция имеет неявный аргумент истории, который используется для выполнения таких операций, как строго функциональный ввод/вывод (I/O), но также используется для связи с C. кодом Для оптимизации существует система типов, которая является расширением вывода типа Хиндли-Милнера .
Использует [ править ]
PLaSM — это «геометрическое расширение подмножества языка FL». [2] впервые описан в 1992 году.
Ссылки [ править ]
- ^ Эйкен, Александр; Уильямс, Джон Х.; Виммерс, Эдвард Л. «Проект FL: разработка функционального языка» (PDF) . Стэнфордский университет .
- ^ «Введение в FL и PLaSM» . плазма.нет .
Внешние ссылки [ править ]
- Руководство по языку FL, части 1 и 2 (PDF)
- Список статей Флориды на plasm.net
- Введение в FL и PLaSM (PDF)
 | Эта языкам программирования, статья, посвященная является незавершенной . Вы можете помочь Википедии, расширив ее . |