This preview has intentionally blurred sections. Sign up to view the full version.View Full Document
Unformatted text preview: We can improve things by having Constructors Predicates Extractors Occurs-free? The grammar The procedure Occurs-free? Rule for designing interfaces Constructors Predicates Extractors Wouldn’t it be great if someone did the plumbing for us? The idea: Define the data type The new occurs-free? Use the cases construct 10/19/2010 3 The new occurs-free? The general form of define-datatype Example uses of define-datatype...
View Full Document
- Spring '10
- Grammar, Type system, Grammar example