component pascal currying example

curry.mod

TYPE Vector* = POINTER TO ARRAY OF REAL;
		  Mapper2 = PROCEDURE (x,y:Vector) : Vector;
		  Mapper = POINTER TO ABSTRACT RECORD END;
		  Closure = POINTER TO RECORD (Mapper) 
			f : Mapper2;
			x : Vector;
		  END;

PROCEDURE (m:Mapper) Apply(v : Vector) : Vector , NEW, ABSTRACT;

PROCEDURE (c:Closure) Apply(v : Vector) : Vector;
BEGIN
	RETURN c.f(c.x, v);
END Apply;
		
PROCEDURE Curry*(m : Mapper2; x: Vector):Mapper;
	VAR c : Closure;
BEGIN
	c.f := m;
	c.x := x;
	RETURN c;
END Curry;