| 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. |
|
![[logo]](/logo.png){kind=logo}