[racket-dev] Typed Racket and ADTs

From: Shriram Krishnamurthi (sk at cs.brown.edu)
Date: Mon Aug 2 11:38:55 EDT 2010

ADTs have nothing to do with ML.  They're an older and basic computer
science concept.

So why do you have an opaque require?  Just on simple duality grounds
you should have both or neither.


Posted on the dev mailing list.