Re: Atypical Typing" talk

[mjd-phillylambda@plover.com (Mark Dominus)]

> Last week I gave a keynote talk about the Haskell type system, and its
> implications for Java, at the ACM OOPSLA conference.

It now appears I'm going to do it again for the Philadelphia Linux
Users' Group on December 3.

Probably nothing in the talk will be news to the people on this list,
but a lot of people like to hear me give talks, so I thought I'd
mention it.

Location:
        University of the Sciences in Philadelphia
        600 South 43rd Street
        http://www.phillylinux.org/locations/usp.html

Time:
        The general meeting starts at 7PM.
        My talk will probably start around 7:45 PM.

Details about the talk are at:

        http://blog.plover.com/talk/atypical-types.html

Short summary:

        Many of the shortcomings of Java's type system were addressed
        by the addition of generics to Java 5.0. Java's generic types
        are a direct outgrowth of research into strong type systems in
        languages like SML and Haskell. But the powerful, expressive
        type systems of research languages like Haskell are capable of
        feats that exceed the dreams of programmers familiar only with
        mainstream languages.

        In this talk I give a brief retrospective on the history of
        type systems and an introduction to the type system of the
        Haskell language, including a remarkable example where the
        Haskell type checker diagnoses an infinite loop bug at compile
        time.