<br><br><div class="gmail_quote">On Mon, Dec 6, 2010 at 9:32 PM, Eli Barzilay <span dir="ltr"><<a href="mailto:eli@barzilay.org">eli@barzilay.org</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">11 hours ago, Jay McCarthy wrote:<br> ><br> ><br> > On Mon, Dec 6, 2010 at 10:16 AM, Robby Findler <<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>><br> > wrote:<br> ><br> > Who should be blamed if the coercion does not return a response?<br> ><br> ><br> > The provider of the coercion should be blamed, but that is not possible [I<br> > think] so the positive party of the whole dynamic/c is blamed.<br> > <br> ><br> > Is there a contract on current-response/c? (I assume that the "/c"<br> > there is a misnomer and it really is a parameter that holds a<br> > contact/coercion, not a contract.)<br> ><br> ><br> > current-response/c is contracted with (parameter/c contract?)<br> <br> </div>From a bypasser POV, I see something that involves three contracts<br> combined somehow, where one contract is coming from a parameter that<br> is itself contracted... and my first thought is that I sure hope I<br> won't need to deal with all of that when I want to just use the thing.<br></blockquote><div><br></div><div>You'll just touch the parameter.</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"> <br> What's unclear to me is why is all of this necessary in contrast to a<br> (contracted) parameter that holds a coercion function?<br></blockquote><div><br></div><div>The nice thing about the contract is that it is a centralized place for me to use the coercion from. Otherwise, I have to track down all the places that get contracted as response/c (some are inputs and some are outputs) and run the coercion on them. Then all those places will get any/c contracts and some note about being coerced, which I find inelegant.</div> <div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"> <font color="#888888"><br> --<br> </font><div><div></div><div class="h5"> ((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay:<br> <a href="http://barzilay.org/" target="_blank">http://barzilay.org/</a> Maze is Life!<br> </div></div></blockquote></div><br><br clear="all"><br>-- <br>Jay McCarthy <<a href="mailto:jay@cs.byu.edu" target="_blank">jay@cs.byu.edu</a>><br>Assistant Professor / Brigham Young University<br><a href="http://faculty.cs.byu.edu/~jay" target="_blank">http://faculty.cs.byu.edu/~jay</a><br> <br>"The glory of God is Intelligence" - D&C 93<br>