Thou shall not copy code.
You should (define-type i2i (Integer -> Integer)) so that you don't have to repeat the type. On Dec 14, 2012, at 11:43 AM, Ray Racine wrote: > For the TR folks you can have your cake and eat it with a cup of coffee with > `provide'. TR Rules > > #lang typed/racket/base > > ;;public interface/w specifications > (provide: > [inc (Integer -> Integer)]) > > ... > > (: inc (Integer -> Integer)) > (define (inc x) (add1 x)) > > > ... > > > 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. Reading the implementation is against > all good SE ideas. > > IF we could assume that people always programmed in DrRacket, > we could compromise and add a tool that synthesizes the interface > of a module in some way. Since some contributors break this guideline > all the time anyway, we should have such a tool available anyway. > > BUT there are also people who use Emacs and the other editor. > > So, if you want to be good, put provide contract-out at the top > of your module. > > > > > > On Dec 14, 2012, at 1:02 AM, Harry Spier wrote: > > > If you place provide/contract at the beginning of a module it makes > > the interface clear but it is separated from its function. If you > > place it right before its function and not at the top of the module, > > it makes the function clearer but the module interface is not so > > clear. > > > > Is it possible (would it be a good idea?) to provide a new form that > > splits the provide/contract form into two parts. One part the > > contract definition which you could place immediately before the > > function definition and the second part a provide spec for inclusion > > in a provide statement that included the function name but not the > > contract spec.) . That way the contract definition can be by the > > function definition and the function name can be in a provide > > statement at the beginning of the module. > > > > Harry Spier > > _________________________ > > Racket Developers list: > > http://lists.racket-lang.org/dev > > _________________________ > Racket Developers list: > http://lists.racket-lang.org/dev > _________________________ Racket Developers list: http://lists.racket-lang.org/dev
