[racket] Typed Racket - Parameterized Structures

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Wed Mar 14 10:56:29 EDT 2012

Typed Racket isn't Racket. It's supposed to introduce some sanity. 

Is (All (All) (All -> All)) a type? 


On Mar 14, 2012, at 10:55 AM, Sam Tobin-Hochstadt wrote:

> On Wed, Mar 14, 2012 at 10:27 AM, Matthias Felleisen
> <matthias at ccs.neu.edu> wrote:
>> 
>> On Mar 14, 2012, at 8:28 AM, Sam Tobin-Hochstadt wrote:
>> 
>>> 1. You added `All' in the type parameter list for `struct:'.  You
>>> don't need that there, and instead it was adding a third type
>>> parameter to `Cvt'.
>> 
>> Perhaps All shouldn't be allowed there.
> 
> I thought of that as well, but we don't normally restrict binding
> names in Racket.  For example, this is a perfectly good replacement
> for `list':
> 
> (lambda lambda lambda)
> 
> :)
> -- 
> sam th
> samth at ccs.neu.edu


Posted on the users mailing list.