> I wonder if someone smarter than me could pull this all together into > a neat syntax and system? > - Merge function definitions and contracts into one thing, with a new > variation of define/contract and define/contract/provide. > - Let contracts be made inactive for performance, but remain in the > code. Ideally can disable per-function as well as more globally like > per-module? > - Allow contracts' doc value to be not simply their visibility in the > source file, but also their visibility in a help system (which again > can use the contracts whether live or disabled) that shows us the > "blue boxes". > > +1
_________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
