Chuyển bộ gõ


Từ điển Máy Tính - Foldoc Dictionary
st andrews static language



St Andrews Static Language

(language)   (SASL) A functional programming language designed by Professor David Turner in 1976 whilst at St. Andrews University. SASL is a derivative of ISWIM with infinite data structures. It is fully lazy but weakly typed. It was designed for teaching functional programming, with very simple syntax.

Example syntax:

 def fac n =     n = 0 -> 1 ; n x fac(n-1) 
A version of the expert system EMYCIN has been written in SASL.

SASL was originally known as "St Andrews Standard Language". Not to be confused with SISAL.

ftp://a.cs.uiuc.edu/uiuc/kamin.distr/distr/sasl.p. See also Kamin's interpreters.

["A New Implementation Technique for Applicative Languages", D.A. Turner, Soft Prac & Exp 8:31-49 (1979)].

Last updated: 2007-03-21




Giới thiệu VNDIC.net | Plugin từ diển cho Firefox | Từ điển cho Toolbar IE | Tra cứu nhanh cho IE | Vndic bookmarklet | Học từ vựng | Vndic trên web của bạn

© Copyright 2006-2024 VNDIC.NET & VDICT.CO all rights reserved.