[racket] Exploratory programming?

> I wonder whether help could display contracts if the module use provide/contract to export f.

I like this idea.

Maybe go a step further and allow per-parameter doc-string-ettes?
Because seeing

  get-pure-port: (url? (listof string?) . -> . input-port?)

Might still be too opaque. "What is this (listof string?) you speak
of?", sayeth the aspiring Racketeer on the PLimoTh PLanTation.

Whereas if contracts could have optional doc-string-ettes:

  (url? ["URL"] (listof string?) ["headers"] . -> . input-port?)

Then help could display something very close indeed to the shaded blue
box summary on docs.racket.org.

On Wed, Dec 1, 2010 at 11:02 AM, Matthias Felleisen
<matthias at ccs.neu.edu> wrote:
>
> On Dec 1, 2010, at 1:20 AM, Eli Barzilay wrote:
>
>>>
>>> Examples: comparing Python's help function to Racket's as a tool for
>>> introspecting objects at the REPL
>>> [...]
>>>> (define (f x y)
>>>    (+ x y))
>>>> (help f)
>>> Not found in any library's documentation: f
>>
>> This is because you didn't document it.
>
>
> I wonder whether help could display contracts if the module use provide/contract to export f.
> _________________________________________________
>  For list-related administrative tasks:
>  http://lists.racket-lang.org/listinfo/users
>