[plt-scheme] Re: Re: Typed Scheme: Is there any easy way around this?

Sam TH wrote:
> There isn't something like that built-in at the moment, but I could be
> persuaded to add one if there was a syntax I liked.

The syntax I suggested was off the top of my head.  I'll let you know if 
I come up with anything better.

> However, the define/type form you have there should be a very simple
> syntax-rules macro, so if you want it, it's in a sense already there.

That's good to hear, I'll take a look.  (From the outside, I wouldn't 
have thought it would be "very simple".)

>> [*] using fantasy dot-free infix type notation
> 
> 
> No need for fantasy, the type of functions from A and B to C is (A B
> -> C) in Typed Scheme.

Great.  I now see that's mentioned in the "More Built-In Types" section. 


Thanks for what looks like a really useful tool.

Anton