[racket] Typed Racket - Parameterized Structures

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Wed Mar 14 10:55:04 EDT 2012

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.