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