[racket-dev] Typed Racket and ADTs

On Mon, Aug 2, 2010 at 11:38 AM, Shriram Krishnamurthi <sk at cs.brown.edu> wrote:
> So why do you have an opaque require?

The opaque form of `require/typed' is to allow requiring operations on
an ADT for which only a predicate is known. It supports using
`require/typed' with ADTs defined in exactly the way Matthias
suggests. For example, if there was no built-in `String' type, then
the opaque form of `require/typed' would be the way to specify it.
-- 
sam th
samth at ccs.neu.edu