SASL (язык программирования)
(Перенаправлено с языка программирования SASL )
| Парадигма | функциональный |
|---|---|
| Разработано | Дэвид Тернер |
| Впервые появился | 1972 год |
| Под влиянием | |
| ИСВИМ | |
| Под влиянием | |
| KRC , Миранда , Хаскелл | |
SASL ( St Andrews Static Language , альтернативно St Andrews Standard Language ) — чисто функциональный язык программирования, разработанный Дэвидом Тёрнером в Университете Сент-Эндрюса в 1972 году на основе аппликативного подмножества ISWIM . [1] В 1976 году Тернер переработал и переосмыслил его как нестрогий (ленивый) язык. [2] В этой форме он стал основой более поздних языков Тернера Kent Recursive Calculator (KRC) и Miranda , но SASL кажется нетипизированным , тогда как Miranda имеет полиморфные типы .
Корпорация Burroughs использовала SASL для написания компилятора и операционной системы. [3]
Примечания
[ редактировать ]- ^ Тернер, реализация SASL
- ^ Тернер, Новая техника реализации аппликативных языков, страницы 31-49
- ^ Тернер, Д.А. «Некоторые истории языков функционального программирования» (PDF) .
Ссылки
[ редактировать ]- Тернер, Д.А. «Внедрение SASL». Технический отчет факультета компьютерных наук Университета Сент-Эндрюс . ТР/75/4.
- Тернер, Д.А. (1979). «Новая методика реализации аппликативных языков». Программное обеспечение: практика и опыт . 9 : 31–49. дои : 10.1002/спе.4380090105 . S2CID 40541269 .
Внешние ссылки
[ редактировать ]
 | Эта языкам программирования, статья, посвященная незавершена . Вы можете помочь Википедии, расширив ее . |