[plt-scheme] macro question

(I haven't had a chance yet to look at Typed Scheme, so please disregard 
if this doesn't make sense.)

What if the type inference info is presented to you as part of the 
normal view of the program?  It's there for you to read, but you just 
don't usually edit it yourself.

I don't know what DrScheme currently does for Typed Scheme, but... 
Inferred type info could be conveyed by overlaying the source code view, 
such as by inline annotations or maybe mouseovers.  Visual-design-wise, 
there's an obvious HCI metaphor that might be used: 
inferred:express::ephemeral:concrete.  You can add an explicit type 
qualification by turning an ephemeral concrete and editing it.  I'd 
imagine that feature useful for both pedagogic and practical use.

This would also make for another snazzy YouTube video. :)


hendrik at topoi.pooq.com wrote at 06/10/2008 11:40 AM:
> Type inference gets in the way of understanding programs in the 
> language.  I need to see the types when I'm reading the program, so I 
> know what it all means.  It's not enough to know that there exists a 
> way of attaching types to the code.
>