<br><br><div class="gmail_quote">On Wed, May 16, 2012 at 10:13 PM, Carl Eastlund <span dir="ltr"><<a href="mailto:cce@ccs.neu.edu" target="_blank">cce@ccs.neu.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I originally wrote thunk* for cases like the callback initialization
argument of button%. It expects a function of two arguments that
performs an effect, but I don't think I've ever used either argument in
the function's body. Rather than writing (lambda (x y) e ...) with x
and y never used, I prefer to write (thunk* e ...) which makes it
explicit that any arguments are irrelevant and avoids binding unused
names.<span class="HOEnZb"><font color="#888888"><br></font></span></blockquote><div><br>Personally, I generally use (ë _ e ....) for that purpose (it's even shorter), but it does bind the `_' identifier.<br></div>
</div><br>Laurent<br>