[racket-dev] Typed Racket and ADTs

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Mon Aug 2 10:10:36 EDT 2010

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. 



Posted on the dev mailing list.