SASL (язык программирования)

SASL (от англ. St. Andrews Static Language) — полностью функциональный язык программирования, разработанный Дэвидом Тёрнером в Сент-Эндрюсском университете в 1972 году. Основой SASL стало аппликативное подмножество языка ISWIM.

В 1976 году Тёрнер перепроектировал SASL как нестрогий язык, что сделало его одним из первых практических представителей данного подхода.^[1]

SASL оказал влияние на разработку поздних языков Тёрнера — KRC (Kent Recursive Calculator) и Miranda.^[2]^[3]

Хотя SASL, по-видимому, был бестиповым, в Miranda уже наблюдался развитый полиморфизм.

См. также