Turing is a Pascal like programming language developed in 1982. In computability theory, a system of data manipulation rules is said to be Turing complete or computationally universal if it can be used to simulate any single-Taped Turing machine. Turing is particularly appropriate as a first language for learning and teaching. It incorporates many of the advantages while avoiding most of the disadvantages of earlier languages. The following features make Turing particularly suitable as a first language.
function factorial (n: int) : real if n = 0 then result 1 else result n * factorial (n - 1) end if end factorial var n: int loop put "Please input an integer: " .. get n exit when n >= 0 put "Input must be a non-negative integer." end loop put "The factorial of ", n, " is ", factorial (n)