<div><br><div class="gmail_quote">On Sun, Dec 27, 2009 at 8:59 AM, Felipe Lessa <span dir="ltr"><<a href="mailto:felipe.lessa@gmail.com">felipe.lessa@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="im"><br>
</div>Hmmm... but, assuming a preprocessor, you probably would be able<br>
to transform this code:</blockquote><div> </div><blockquote class="gmail_quote" style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0.8ex; border-left-width: 1px; border-left-color: rgb(204, 204, 204); border-left-style: solid; padding-left: 1ex; ">
[snip] </blockquote><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">The only part missing here is being able to run only a small part<br>
of the arrow's computation and then return another Action.<br></blockquote><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
Is my example contrived? Am I missing something? :)<br></blockquote><div><br></div><div>Assuming a sufficiently smart preprocessor you can do anything you'd like, but the result isn't an arrow. ;)<div><br></div>
<div>-Edward Kmett</div></div></div></div>