Перейти к навигации Перейти к поиску
Парадигма | функциональный |
---|---|
Разработано | Дэвид Тернер |
Впервые появился | 1972 г. |
Под влиянием | |
Я ПЛАВАЮ | |
Под влиянием | |
KRC , Миранда , Хаскелл |
SASL (от S т A ndrews S Tatic L anguage, в альтернативном варианте S т ndrews S tandard L anguage) представляет собой чисто функциональный язык программирования , разработанный Дэвид Тернер в университете Сент - Эндрюс в 1972 год на основе аппликативных подмножеств ISWIM . [1] В 1976 году Тернер переработал и реализовал его как нестрогий (ленивый) язык. [2] В этой форме он был основой более поздних языков Тернера KRC и Miranda., но SASL кажется нетипизированным, тогда как у Miranda есть полиморфные типы.
Корпорация Burroughs использовала SASL для написания компилятора и операционной системы. [3]
Заметки [ править ]
- ^ Тернер, Реализация SASL
- ^ Тернер, Новая методика реализации прикладных языков, страницы 31-49
- ^ Тернер, Д.А. "Некоторая история языков функционального программирования" (PDF) .
Внешние ссылки [ править ]
Ссылки [ править ]
- Тернер Д.А. "Реализация SASL". Университет Сент-Эндрюс, Технический отчет факультета компьютерных наук . TR / 75/4.
- Тернер, Д.А. (1979). «Новый метод реализации прикладных языков». Программное обеспечение - практика и опыт . 9 : 31–49. DOI : 10.1002 / spe.4380090105 . S2CID 40541269 .