/prog/BOL 2012

identity is of type for all types A, A to A.
define function identity of x:
   return x.
end.

constant is of type for all types A and B, A to B to A.
define function constant of x of y:
   return x.
end.

define factorial of type int to int of n:
   if n equals 0, then: return 1.
   else: return n times factorial of (n minus 1).
end.

>>30

yeah but reading is fun. I could see this being nice for functional stuff, but not so much for imperative. Or if it was imperative, it would be much more statementy, like:


Increment a.
Set b to b times b times a.
Set a to a plus b.
Goto Start.