SASL (programming language)
- SASL (programming language)
Infobox programming language
name = SASL
paradigm = functional
year = 1972
designer = David Turner
developer =
latest_release_version =
latest_release_date =
latest_test_version =
latest_test_date =
typing =
implementations =
dialects =
influenced_by = ISWIM
influenced = KRC, Miranda, Haskell
operating_system =
license =
website =
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 [ Turner, An implementation of SASL] . In 1976 Turner redesigned and reimplemented it as a non-strict (lazy) language [ Turner , A New Implementation Technique for Applicative Languages, pages 31-49] . 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.
Notes
References
*
*
See also
* ISWIM
Wikimedia Foundation.
2010.
Look at other dictionaries:
Miranda (programming language) — Miranda Paradigm(s) lazy, functional, declarative Appeared in 1985 Designed by David Turner Developer … Wikipedia
Haskell (programming language) — Haskell Paradigm(s) functional, lazy/non strict, modular Appeared in 1990 Designed by Simon Peyton Jones, Lennart Aug … Wikipedia
SASL — may refer to:* Simple Authentication and Security Layer, a framework for authentication and data security in Internet protocols * SASL (programming language), a non strict functional programming language developed by David Turner in 1976 * South… … Wikipedia
List of programming languages — Programming language lists Alphabetical Categorical Chronological Generational The aim of this list of programming languages is to include all notable programming languages in existence, both those in current use and historical ones, in… … Wikipedia
Functional programming — In computer science, functional programming is a programming paradigm that treats computation as the evaluation of mathematical functions and avoids state and mutable data. It emphasizes the application of functions, in contrast with the… … Wikipedia
Generational list of programming languages — Here, a genealogy of programming languages is shown. Languages are categorized under the ancestor language with the strongest influence. Of course, any such categorization has a large arbitrary element, since programming languages often… … Wikipedia
Combinatory logic — Not to be confused with combinational logic, a topic in digital electronics. Combinatory logic is a notation introduced by Moses Schönfinkel and Haskell Curry to eliminate the need for variables in mathematical logic. It has more recently been… … Wikipedia
ISWIM — Infobox programming language name = ISWIM paradigm = imperative, functional year = 1966 designer = Peter J. Landin developer = latest release version = latest release date = latest test version = latest test date = typing = implementations =… … Wikipedia
David Turner (computer scientist) — This article is about the computer scientist. For others with this name, see David Turner (disambiguation). Professor David Turner is a British computer scientist. He has a D.Phil. from the University of Oxford. He has held professorships at… … Wikipedia
Abkürzungen/Computer — Dies ist eine Liste technischer Abkürzungen, die im IT Bereich verwendet werden. A [nach oben] AA Antialiasing AAA authentication, authorization and accounting, siehe Triple A System AAC Advanced Audio Coding AACS … Deutsch Wikipedia
