associated computation. Note the use of the underscore as a wildcard pattern.

The same optimization can be obtained with a tail call.

local fun p a (0 :: _) = 0 | p a (x :: xs) = p (a * x) xs | p a [] = ain val prod = p 1end

Module system

Standard ML's advanced module system allows programs to be decomposed into hierarchically organized structures of logically related type and value definitions. Modules provide not

1.Previous
3.Next