Higher-order functions in Lisaac !

[Pierre-Alexandre Voye]

Hello, with the new feature of generic type in slot we can make Higher-order
functions in Lisaac :


OCaml :

let compose f g = function x -> f (g x);;
val compose : ('a -> 'b) -> ('c -> 'a) -> 'c -> 'b = <fun>



Lisaac :

- compose b1 : BLOCK{E;R} with b2  : BLOCK{F;E} for x : F : R <-
(
    b1.value (b2.value x)
);


Beautiful, isn't it ? :-)

P-A

-- 
---------------------
Isaac Project - http://isaacproject.u-strasbg.fr/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.alioth.debian.org/pipermail/lisaac-devel/attachments/20080905/20789b8d/attachment.htm