On Sun, Oct 3, 2010 at 7:43 AM, Matthew Flatt <mfl...@cs.utah.edu> wrote: > > Sam and Vincent: Any thoughts on how easy or difficult the change would > be for Typed Racket (and its optimizer)?
What would the precise hierarchy be? In other words, what would be the predicate for each type? Would there be automatic coercions? Also, what members of that hierarchy would work with current float-specific operations? -- sam th sa...@ccs.neu.edu _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
