intro to ML

[Matthew Fluet]

> > 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.

And higher-order-functions, if only one persion has seen Scheme.