[racket-dev] Feature request - contract form that splits provide/contract into two parts

On Fri, Dec 14, 2012 at 10:44 AM, Matthias Felleisen
<matthias at 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.racine at 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