On Aug 2, 2010, at 9:39 AM, Shriram Krishnamurthi wrote: > 1. doesn't have a counterpart for *untyped* code; ... > Overall, the status of representation-hiding in Typed Racket seems rather > weird.
These two lines together explain it all. TR is about moving code from the untyped world into the typed world. It's not about ML with parentheses. > I find it odd that even programming entirely in Typed Racket, representations > leak by default. Yeap, just like Racket. If you want to hide things, use opaque structs, then type them. _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev