<div dir="ltr"><div class="gmail_quote">On Wed, 6 May 2015 at 09:10 Ivan Levkivskyi <<a href="mailto:levkivskyi@gmail.com">levkivskyi@gmail.com</a>> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div><div><div>Dear Guido,<br><br></div>My original idea was to make the composable functions auto-curried (similar to proposed here <a href="http://code.activestate.com/recipes/52902-function-composition/" target="_blank">http://code.activestate.com/recipes/52902-function-composition/</a> as pointed out by Steve) so that<br></div><br>my_fun = square @ add(1)<br>my_fun(x)<br><br>evaluates to <br><br></div>square(add(1,x))<br></div></blockquote><div><br></div><div>This breaks the (IMO) fundamental expectation that</div><div><br></div><div>    z = add(1)</div><div>    my_fun = square @ z</div><div><br></div><div>is equivalent to</div><div><br></div><div>    my_fun = square @ add(1)</div><div><br></div><div>-Yann</div></div></div>