FL (язык программирования)

  • История и разработка

    • FL (Функциональный уровень) создан в 1980-х годах в IBM в Альмадене.  
    • Разработан Джоном Бэкусом, Джоном Уильямсом и Эдвардом Уиммерсом.  
    • Описан в отчете за 1989 год.  
  • Особенности языка

    • Динамически типизированный строгий функциональный язык.  
    • Семантика исключения throw и catch, похожая на ML.  
    • Каждая функция имеет неявный аргумент history для ввода/вывода и привязки к коду на C.  
    • Система типов, расширяющая метод вывода типов Хиндли-Милнера.  
  • PLaSM

    • Ориентированное на геометрию расширение подмножества языка FL.  
    • Впервые описано в 1992 году.  
  • Рекомендации и внешние ссылки

    • Руководство по языку FL, части 1 и 2 (PDF).  
    • Список основных статей на сайте plasm.net.  
    • Введение в FL и PLaSM (PDF).  
  • Дополнительная информация

    • Статья является заглушкой, можно помочь Википедии, расширив её.  

Полный текст статьи:

FL (язык программирования)

Оставьте комментарий

Прокрутить вверх