Imperative Notation

Pascal Serrarens pascalrs@cs.kun.nl
Fri, 12 Feb 1999 12:59:20 +0100


Erik wrote:

> By the way, SK-combinators were probably forgotten before monads and
> uniqueness types
> were invented. So maybe they don't go together.

Well, they are forgotten now, but they were available in Clean 1.2!

from StdFunc:

// Some Classical Functions:

I :: !.a -> .a                               // Identity function
K :: !.a .b -> .a                            // Konstant function
S :: !.(a -> .(.b -> .c)) .(a -> .b) a -> .c // Distribution function

(Please do not ask me why they were removed.)

Pascal Serrarens.