[racket] Exploratory programming?

And whoops I really really meant docs.racket-lang.org. :)

On Wed, Dec 1, 2010 at 7:31 PM, Greg Hendershott
<greghendershott at gmail.com> wrote:
>> 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
>>
>