[plt-dev] IDE and completion

How about it, indeed?  Editors are static.  If you approximate from
below, you will only sow confusion.  ("I could have sworn the foo-bar
procedure applies to x, but the environment doesn't show it to me!")

Shriram

On Wed, May 5, 2010 at 8:50 PM, Guillaume Marceau <gmarceau at gmail.com> wrote:
>
>
> On Tue, May 4, 2010 at 5:30 PM, Shriram Krishnamurthi <sk at cs.brown.edu>
> wrote:
>>
>>  I do not see how to do this without statically knowing types.
>
> How about by dynamically knowing the type?
>
>
>