[plt-scheme] macro question

On Jun 10, 2008, at 9:29 AM, Neil Van Dyke wrote:

> (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. :)

This sounds like a great tool/UI for dealing with HM-style inference.   
I wouldn't be surprised if something like this already existed for  
e.g. Haskell.  I do recall Joe Wells giving a talk at some point on a  
graphical tool that would illustrate the "flow of types" showing the  
path along which a type A and a different type B were in collision.

John Clements

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 2484 bytes
Desc: not available
URL: <http://lists.racket-lang.org/users/archive/attachments/20080610/079c49f8/attachment.p7s>