Nice. Thank you. <div class="gmail_quote">On Sat, Jun 2, 2012 at 6:35 PM, Sam Tobin-Hochstadt <<a href="mailto:samth@ccs.neu.edu" target="_blank">samth@ccs.neu.edu</a>> wrote: <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> The highlight (with apologies to Jacob): #lang typed/racket (: add-blaster : Number [#:y Number] -> Number) (define (add-blaster x #:y [y 5]) (+ x y) (add-blaster 1) (add-blaster 2 #:y 7) The details: Typed Racket now supports defining typed functions with keyword (and optional) arguments. To use this support, just write code as above, the same way you'd write TR functions normally. The typechecker should be able to figure everything out. If it doesn't, please file a bug report. There are a couple limitations, which we will remove eventually. First, `define:`, `lambda:`, and other such forms don't handle the keyword syntax. Thus, you need to use out-of-line annotations, as shown above. Second, the error messages you'll get when you have arity errors in the definition are suboptimal at the moment, and expose some of the implementation. Try it out, and let me know if anything doesn't seem to work right. -- sam th <a href="mailto:samth@ccs.neu.edu">samth@ccs.neu.edu</a> ____________________ Racket Users list: <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a> </blockquote></div>