SASL programming language
Encyclopedia
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 KRC
and Miranda, but SASL appears to be untyped whereas Miranda has polymorphic types.
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 to the imperative programming style, which emphasizes changes in state...
programming language
Programming language
A programming language is an artificial language designed to communicate instructions to a machine, particularly a computer. Programming languages can be used to create programs that control the behavior of a machine and/or to express algorithms precisely....
developed by David Turner
David Turner (computer scientist)
Professor David Turner is a British computer scientist.He has a D.Phil. from the University of Oxford. He has held professorships at Queen Mary College, London, University of Texas at Austin and the University of Kent at Canterbury, where he now retains the post of Emeritus Professor.He is...
at the University of St Andrews
University of St Andrews
The University of St Andrews, informally referred to as "St Andrews", is the oldest university in Scotland and the third oldest in the English-speaking world after Oxford and Cambridge. The university is situated in the town of St Andrews, Fife, on the east coast of Scotland. It was founded between...
in 1972, based on the applicative subset of ISWIM
ISWIM
ISWIM is an abstract computer programming language devised by Peter J. Landin and first described in his article, The Next 700 Programming Languages, published in the Communications of the ACM in 1966...
. 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
Kent Recursive Calculator
KRC is a lazy functional language developed by David Turner in 1981 based on SASL, with pattern matching, guards and ZF expressions ....
and Miranda, but SASL appears to be untyped whereas Miranda has polymorphic types.