F=I+Sh

The slogan is represented within the standard prelude by a function

     proc2fun : (var a -> var b -> comm) -> (#b -> #a) -> b -> a

for converting procedures (and shapes) to functions. proc2fun pr sh x uses the shape function sh and the shape #x of the array x to determine the shape of the result. It then creates a local variable y of this shape, and invokes the procedure pr on y and a stored value of x, finally returning the value of y.

Last Updated:

Please feel free to send any comments.