SASL (от англ. St. Andrews Static Language) — полностью функциональный язык программирования, разработанный Дэвидом Тёрнером в Сент-Эндрюсском университете в 1972 году. Основой SASL стало аппликативное подмножество языка ISWIM.
В 1976 году Тёрнер перепроектировал SASL как нестрогий язык, что сделало его одним из первых практических представителей данного подхода.
SASL оказал влияние на разработку поздних языков Тёрнера — KRC (Kent Recursive Calculator) и Miranda.
Хотя SASL, по-видимому, был бестиповым, в Miranda уже наблюдался развитый полиморфизм.
См. также Функциональное программирование ISWIM KRC Miranda (язык программирования)
Примечания
Категория:Языки программирования по алфавиту