Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap

St Andrews Static Language

You are here: irt.org | FOLDOC | 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)].


Nearby terms: Standard Operating Environment « standard semantics « Standard Widget Toolkit « St Andrews Static Language » Stanford Artificial Intelligence Laboratory » Stanford Artificial Intelligence Language » Stanford Research Institute

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL

©2018 Martin Webb