SASL (programming language)
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.
| Paradigm | functional |
|---|---|
| Designed by | David Turner |
| First appeared | 1972 |
| Influenced by | |
| ISWIM | |
| Influenced | |
| KRC, Miranda, Haskell | |
Burroughs Corporation used SASL to write a compiler and operating system.[3]
Notes
- Turner, An implementation of SASL
- Turner , A New Implementation Technique for Applicative Languages, pages 31-49
- Turner, D. A. "Some History of Functional Programming Languages" (PDF).
gollark: Why would we distribute microchips via vaccines? That would be very obvious. They self-assemble out of bits in food and larger airborne particulates.
gollark: Probably next week. You can help by eating more silicon and various exotic nonmetals.
gollark: Not really, the transmit power is lower than it should be. We had to offload its data onto your backup microchip.
gollark: Why? They can totally be made that via something something determinant.
gollark: Incorrect. All GTech™ matrices are non-invertible for security.
External links
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: 31. doi:10.1002/spe.4380090105.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.