On Fri, Dec 14, 2012 at 10:44 AM, Matthias Felleisen <matth...@ccs.neu.edu> wrote: > > It is critical to inform clients of the services that a module > provides. In the absence of types, contracts are the closest > information we have. AND On Fri, Dec 14, 2012 at 11:43 AM, Ray Racine <ray.rac...@gmail.com> wrote: > For the TR folks you can have your cake and eat it with a cup of coffee with > `provide'. TR Rules
Given the above, should you be using Typed Racket instead of contracts whenever possible? Are there cases where if you have the choice you should prefer contracts instead of using Typed Racket? Thanks, Harry Spier _________________________ Racket Developers list: http://lists.racket-lang.org/dev