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