SASL (programming language)

From Wikipedia, the free encyclopedia

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^[1]. In 1976 Turner redesigned and reimplemented it as a non-strict (lazy) language^[2]. 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.

[edit] Notes

1. ^ Turner, An implementation of SASL
2. ^ Turner , A New Implementation Technique for Applicative Languages, pages 31-49

[edit] References

• Turner, D.A.. "An Implementation of SASL". University of St. Andrews, Department of Computer Science Technical Report TR/75/4. 
• Turner, D.A. (1979). "A New Implementation Technique for Applicative Languages". Software - Practice and Experience 9. 

[edit] See also

• ISWIM