[racket] Polymorphic occurrence typing

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Fri Aug 13 10:45:27 EDT 2010

On Fri, Aug 13, 2010 at 10:37 AM, Jay McCarthy <jay.mccarthy at gmail.com> wrote:
> Could Typed Racket generate more fine grained predicates in a
> type-directed fashion to allow this sort of thing?

Those predicates would be extremely expensive, and aren't in general
computable (mutable data, functions, etc).  They would be pretty
different from what struct predicates are today.
sam th
samth at ccs.neu.edu

Posted on the users mailing list.