SASL (编程语言)
SASL(缩写的St Andrews Static Language,或者St Andrews Standard Language),是纯函数式编程语言,由David Turner在圣安德鲁斯大学于1972年,基于ISWIM的应用式子集而开发的[1]。在1976年,Turner重新设计并重新实现它为非严格(惰性)语言[2]。它以这种形式成为了Turner以后的语言KRC和Miranda的基础,但是SASL表现为无类型的,而Miranda有多态类型。
函数式 | |
設計者 | David Turner |
1972年 | |
啟發語言 | |
ISWIM | |
影響語言 | |
KRC, Miranda, Haskell |
Burroughs公司使用SASL来书写编译器和操作系统[3]。
注释
- Turner, An implementation of SASL
- Turner , A New Implementation Technique for Applicative Languages, pages 31-49
- Turner, D. A. (PDF). [2020-04-25]. (原始内容存档 (PDF)于2020-04-15).
引用
- Turner, D.A. . University of St. Andrews, Department of Computer Science Technical Report.
- Turner, D.A. . Software - Practice and Experience. 1979, 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.