"Atypical Types" talk next month at PLUG

[Mark Dominus <mjd-perl-pm@plover.com>]

Caution: Off-topic post that may nevertheless be of some interest.

Last month I gave a talk, "Atypical Types", at OOPSLA in Nashville.
On Wednesday December 3rd I'll give (almost) the same talk at the
Philadelphia Linux Users' Group meeting in West Philadelphia.

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

Very short summary:

        This talk has nothing whatsoever to do with Perl.

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.
-
**Majordomo list services provided by PANIX <URL:http://www.panix.com>**
**To Unsubscribe, send "unsubscribe phl" to majordomo@lists.pm.org**