I'll give a little overview talk about how data types are
handled in functional programming languages and the underlying ideas.
I'll take us from the simplest of the data types to the current state
of the art and demonstrate the power of the underlying ideas by
showing how they cope with whatever we throw at them. If time permits
I'll also tell you about "Beheading" which is a lovely construction.
I'll give a little overview talk about how data types are
handled in functional programming languages and the underlying ideas.
I'll take us from the simplest of the data types to the current state
of the art and demonstrate the power of the underlying ideas by
showing how they cope with whatever we throw at them. If time permits
I'll also tell you about "Beheading" which is a lovely construction.
