SASL_(編程語言)

SASL （ 縮寫的St Andrews Static Language ， 或者St Andrews Standard Language ， 義爲聖安德魯斯靜態語言或標準語言 ） ， 是純函數式編程語言 ， 在1972年由於聖安德魯斯大學 ， 基於ISWIM的應用式子集而開發 。 在1976年 ， Turner重新設計並重新實現它爲非嚴格 （ 惰性 ） 語言 。 它以這種形式成爲了Turner以後的語言KRC和Miranda的基礎 ， 但是SASL表現爲無類型的 ， 而Miranda有多態類型 。 使用SASL來書寫編譯器和操作系統 。