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.