<div dir="ltr">Hello, with the new feature of generic type in slot we can make Higher-order functions in Lisaac :<br clear="all"><div class="gmail_quote"><div dir="ltr"><br><br>OCaml :<br><br>let compose f g = function x -&gt; f (g x);;<br>
val compose : (&#39;a -&gt; &#39;b) -&gt; (&#39;c -&gt; &#39;a) -&gt; &#39;c -&gt; &#39;b = &lt;fun&gt;<br>
<br><br><br>Lisaac : <br><br>- compose b1 : BLOCK{E;R} with b2&nbsp; : BLOCK{F;E} for x : F : R &lt;-<br>(<br>&nbsp;&nbsp;&nbsp; b1.value (b2.value x)<br>);<br><br><br>Beautiful, isn&#39;t it ? :-)<br><br>P-A<br><br>-- <br>---------------------<br>

Isaac Project - <a href="http://isaacproject.u-strasbg.fr/" target="_blank">http://isaacproject.u-strasbg.fr/</a><br>
</div>
</div>
</div>