SASL (язык программирования) - SASL (programming language)
Парадигма | функциональный |
---|---|
Разработано | Дэвид Тернер |
Впервые появился | 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 для написания компилятора и операционной системы.
Примечания
- ^ Тернер, реализация SASL
- ^ Тернер, Новая методика реализации прикладных языков, страницы 31-49
- ^ Тернер, Д.А. "Некоторая история языков функционального программирования" (PDF) .
внешняя ссылка
Рекомендации
- Тернер Д.А. "Реализация SASL". Университет Сент-Эндрюс, Технический отчет Департамента компьютерных наук . TR / 75/4.
- Тернер, Д.А. (1979). «Новая методика реализации прикладных языков». Программное обеспечение - практика и опыт . 9 : 31–49. DOI : 10.1002 / spe.4380090105 . S2CID 40541269 .
Это язык программирования о связанной статье заглушка . Вы можете помочь Википедии, расширив ее . |