[plt-scheme] named function contracts?

From: Robby Findler (robby at cs.uchicago.edu)
Date: Sat Apr 10 23:31:41 EDT 2004

One other point I forgot to mention: higher-order contracts always get
their names from their structure. Flat contracts get their names from a
variety of places (flat-named-contract, if that' scalled, or from the
inferred name of the predicate if a predicate is supplied).


Posted on the users mailing list.