[racket] Matthias said something about types -- was: Re: Python creep

From: Éric Tanter (etanter at dcc.uchile.cl)
Date: Wed Jul 2 17:29:43 EDT 2014

1998, what a great year you just mentioned :-))

-- Éric


On Jul 2, 2014, at 9:34 PM, Matthias Felleisen <matthias at ccs.neu.edu> wrote:

> 
> [[ The idea was behind the first attempt to pull of Typed Racket in 1998 :-) Yes but don't hold your breath. France may win the world cup before that and that won't be for a while. ]] 
> 
> 
> On Jul 2, 2014, at 9:31 PM, Éric Tanter wrote:
> 
>> Is there a plan to do a simple version of Typed Racket for BSL/ISL? (with, obviously, simplifications in the type system to ensure "beginner-level" type error messages)
>> 
>> -- Éric



Posted on the users mailing list.