Turing is a descendant of Euclid that features a clean syntax and precise machine-independent semantics. It is used primarily as a teaching language at the high school and university level. Two other versions exist, Object-Oriented Turing and Turing Plus, a systems programming variant. Turing is available from Holt Software Associates in Toronto. Versions for Unix, Microsoft Windows and Apple Macintosh are available.
A brief example of Turing is the following recursive function to calculate a factorial.
function factorial (n: int) : int assert n >= 0 if n = 0 then result 1 else result n * factorial(n-1) end if end factorialvar n: int put "Please input an integer :" .. get n put "The factorial of ", n, " is ", factorial(n)
http://www.holtsoft.com/turing/ is the Turing home page.
See also: Alan Turing, Euclid programming language