intro to ML

[Stephen Weeks]

> In the mean time I have to give a short introduction to ML for people at
> work tomorrow.  One person had a (very brief) exposure to Scheme.
> I figure about half the time just on the various sum and product types
> and recursive types and the rest on the polymorphic type system and
> type inference.  Oh yes, and another half on pattern matching.  Should be
> fun, but I have no idea how far I will get.

I'd say show signatures very early on and save type inference for
later.  Datatypes and pattern matching early is good too.