SASL (язык программирования) - SASL (programming language)

SASL
Парадигма функциональный
Разработано Дэвид Тернер
Впервые появился 1972 г.
Под влиянием
Я ПЛАВАЮ
Под влиянием
KRC , Миранда , Хаскелл

SASL (от S t A ndrews S tatic L anguage, альтернативно S t A ndrews S tandard L anguage) - это чисто функциональный язык программирования, разработанный Дэвидом Тернером в Университете Сент-Эндрюса в 1972 году на основе прикладного подмножества ISWIM . В 1976 году Тернер переработал и реализовал его как нестрогий (ленивый) язык. В этой форме он был основой более поздних языков Тернера - KRC и Miranda , но SASL, похоже, нетипизирован, тогда как у Miranda есть полиморфные типы.

Корпорация Burroughs использовала SASL для написания компилятора и операционной системы.

Примечания

  1. ^ Тернер, реализация SASL
  2. ^ Тернер, Новая методика реализации прикладных языков, страницы 31-49
  3. ^ Тернер, Д.А. "Некоторая история языков функционального программирования" (PDF) .

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

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

  • Тернер Д.А. "Реализация SASL". Университет Сент-Эндрюс, Технический отчет Департамента компьютерных наук . TR / 75/4.
  • Тернер, Д.А. (1979). «Новая методика реализации прикладных языков». Программное обеспечение - практика и опыт . 9 : 31–49. DOI : 10.1002 / spe.4380090105 . S2CID   40541269 .