15-212: Principles of Programming
One of the most important features of ML is that it allows the
definition of new types with so-called
declarations. This means that programs can be written to
manipulate the data in a natural representation rather than
in complex encodings. This goes hand-in-hand with clausal function
definitions using pattern matching on given data types.
We introduce lists and polymorphic datatypes and functions.
[ CS 15-212 Home page | schedule | language | assignments | handouts ]