SASL

SASL is a purely functional programming language developed by David Turner at the University of St Andrews in 1972, based on the applicative subset of ISWIM. In 1976 Turner redesigned and reimplemented it as a non-strict (lazy) language. In this form it was the foundation of Turner's later languages Kent Recursive Calculator (KRC) and Miranda, but SASL appears to be untyped whereas Miranda has polymorphic types. Wikipedia

Created Year: 1972
Designed by: David Turner
Aliases: St Andrews Static Language, St Andrews Standard Language

Wikidata: Q4048691

Programming paradigms: functional programming