SASL (编程语言)

SASL(缩写的St Andrews Static Language,或者St Andrews Standard Language),是纯函数式编程语言,由David Turner圣安德鲁斯大学于1972年,基于ISWIM的应用式子集而开发的[1]。在1976年,Turner重新设计并重新实现它为非严格(惰性)语言[2]。它以这种形式成为了Turner以后的语言KRCMiranda的基础,但是SASL表现为无类型的,而Miranda有多态类型。

SASL
函数式
設計者David Turner
1972年1972
啟發語言
ISWIM
影響語言
KRC, Miranda, Haskell

Burroughs公司使用SASL来书写编译器和操作系统[3]

注释

  1. Turner, An implementation of SASL
  2. Turner , A New Implementation Technique for Applicative Languages, pages 31-49
  3. 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.