About: SASL (programming language)     Goto   Sponge   Distinct   Permalink

An Entity of Type : dbo:ProgrammingLanguage, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FSASL_%28programming_language%29

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. Burroughs Corporation used SASL to write a compiler and operating system.

AttributesValues
rdf:type
rdfs:label
  • SASL (programming language) (en)
  • SASL (язык программирования) (ru)
  • SASL (编程语言) (zh)
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. Burroughs Corporation used SASL to write a compiler and operating system. (en)
  • SASL（缩写的St Andrews Static Language，或者St Andrews Standard Language，义为圣安德鲁斯静态语言或标准语言），是纯函数式编程语言，在1972年由于圣安德鲁斯大学，基于ISWIM的应用式子集而开发。在1976年，Turner重新设计并重新实现它为非严格（惰性）语言。它以这种形式成为了Turner以后的语言KRC和Miranda的基础，但是SASL表现为无类型的，而Miranda有多态类型。 使用SASL来书写编译器和操作系统。 (zh)
  • SASL — полностью функциональный язык программирования, разработанный Дэвидом Тёрнером в Сент-Эндрюсском университете в 1972 году, на базе аппликативного подмножества ISWIM. В 1976 году Тёрнер перепроектировал его как нестрогий язык. В этой форме SASL стал базой для поздних языков Тёрнера — KRC и Miranda, хотя SASL, по видимому, был бестиповым, а в Miranda наблюдается полиморфизм. (ru)
foaf:name
  • SASL (en)
name
  • SASL (en)
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Link from a Wikipage to an external page
sameAs
dbp:wikiPageUsesTemplate
designer
influenced
influenced by
paradigm
year
has 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. Burroughs Corporation used SASL to write a compiler and operating system. (en)
  • SASL（缩写的St Andrews Static Language，或者St Andrews Standard Language，义为圣安德鲁斯静态语言或标准语言），是纯函数式编程语言，在1972年由于圣安德鲁斯大学，基于ISWIM的应用式子集而开发。在1976年，Turner重新设计并重新实现它为非严格（惰性）语言。它以这种形式成为了Turner以后的语言KRC和Miranda的基础，但是SASL表现为无类型的，而Miranda有多态类型。 使用SASL来书写编译器和操作系统。 (zh)
  • SASL — полностью функциональный язык программирования, разработанный Дэвидом Тёрнером в Сент-Эндрюсском университете в 1972 году, на базе аппликативного подмножества ISWIM. В 1976 году Тёрнер перепроектировал его как нестрогий язык. В этой форме SASL стал базой для поздних языков Тёрнера — KRC и Miranda, хотя SASL, по видимому, был бестиповым, а в Miranda наблюдается полиморфизм. (ru)
dbp:wordnet_type
prov:wasDerivedFrom
page length (characters) of wiki page
designer
influenced
influenced by
foaf:isPrimaryTopicOf
is Link from a Wikipage to another Wikipage of
is Wikipage redirect of
is Wikipage disambiguates of
is influenced by of
is known for of
is influenced by of
is known for of
is foaf:primaryTopic of
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (62 GB total memory, 54 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software