On Fri, Aug 13, 2010 at 10:37 AM, Jay McCarthy <[email protected]> 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 [email protected] _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
