SASL (from St. Andrews Static Language, alternatively St. Andrews Standard Language) 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 KRC and Miranda, but SASL appears to be untyped whereas Miranda has polymorphic types.

PropertyValue
dbpprop:abstract
  • SASL (from St. Andrews Static Language, alternatively St. Andrews Standard Language) 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 KRC and Miranda, but SASL appears to be untyped whereas Miranda has polymorphic types.
  • SASL — полностью функциональный язык программирования, разработанный Дэвидом Тёрнером в Сент-Эндрюсском университете в 1972 году, на базе аппликативного подмножества ISWIM. В 1976 Тёрнер перепроектировал его как нестрогий (ленивый) язык. В этой форме SASL стал базой для поздних языков Тэрнера — KRC и Miranda, хотя SASL, по видимому, был бестиповым, а в Miranda наблюдается полиморфизм.
dbpprop:designer
dbpprop:hasPhotoCollection
dbpprop:influenced
dbpprop:influencedBy
dbpprop:name
  • SASL
dbpprop:paradigm
dbpprop:wikiPageUsesTemplate
dbpprop:wordnet_type
dbpprop:year
  • 1972 (xsd:integer)
rdfs:comment
  • SASL (from St. Andrews Static Language, alternatively St. Andrews Standard Language) 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 KRC and Miranda, but SASL appears to be untyped whereas Miranda has polymorphic types.
  • SASL — полностью функциональный язык программирования, разработанный Дэвидом Тёрнером в Сент-Эндрюсском университете в 1972 году, на базе аппликативного подмножества ISWIM. В 1976 Тёрнер перепроектировал его как нестрогий (ленивый) язык.
rdfs:label
  • SASL (programming language)
  • SASL (язык программирования)
owl:sameAs
skos:subject
foaf:page
is dbpprop:redirect of