[racket] Exploratory programming?

> 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20101202/1bc2ef6b/attachment.html>