Re: Atypical Typing" talk

["Jonathan Tran" <jonnytran@gmail.com>]

Thank you for posting this.  I'm looking forward to meeting you there.

On Sun, Nov 9, 2008 at 11:21 PM, Mark Dominus
<mjd-phillylambda@plover.com> wrote:
>
>
>> 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.
>
>
>
>
>