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

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

SASL (из Sт АЭндрюс Sтатический Lболь, альтернативно Sт АЭндрюс Sстандартный Lязык) является чисто функциональный язык программирования разработан Дэвид Тернер на Сент-Эндрюсский университет в 1972 г. на основе аппликативного подмножества Я ПЛАВАЮ.[1] В 1976 году Тернер переработал и реализовал его как нестрогий (ленивый) язык.[2] В этой форме он стал основой более поздних языков Тернера. KRC и Миранда, но SASL кажется нетипизированным, тогда как у Miranda есть полиморфные типы.

Корпорация Берроуз использовал SASL для написания компилятора и операционной системы.[3]

Примечания

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

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

использованная литература

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