Mark Dominus on 31 Oct 2008 11:23:36 -0700


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Atypical Typing" talk

  • From: mjd-phillylambda@plover.com (Mark Dominus)
  • To: philly-lambda@googlegroups.com
  • Subject: Atypical Typing" talk
  • Date: Fri, 31 Oct 2008 14:23:04 -0400
  • Authentication-results: mx.google.com; spf=neutral (google.com: 206.46.252.42 is neither permitted nor denied by best guess record for domain of mjd@plover.com) smtp.mail=mjd@plover.com
  • Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=domainkey-signature:received:received:x-sender:x-apparently-to :received:received:received-spf:authentication-results:received :received:date:from:subject:to:message-id:reply-to:sender:precedence :x-google-loop:mailing-list:list-id:list-post:list-help :list-unsubscribe:x-beenthere-env:x-beenthere; bh=bijJjivflLPQjPXci1MNCfu4xrK+qvl1GJiwqFIJKrM=; b=6U96FngZO+wkkVo9e+sl2Cpw8Y/DTrKSH0oFFXGvePOQp8bPuaG4awve30ZT9jfnZi fS4+gKQSeYJBCYmsBYWkHY3BzMXlWXthfXP4k87fz4P3OgAUKiMz6mn610ssFhmEKR8q f8HR/MOsomlCpQfvffOsZmQ5bXGGQtKeTUUwQ=
  • Mailing-list: list philly-lambda@googlegroups.com; contact philly-lambda+owner@googlegroups.com
  • Reply-to: philly-lambda@googlegroups.com
  • Sender: philly-lambda@googlegroups.com

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

Most of the stuff about the type system itself will be old hat to
people on this list, but it's possible that the talk slides will be of
some interest to the members of this list.  Philip Wadler said of the
talk that it "covers similar ground to my [2006] OOPSLA talk, but in
many ways Dominus makes a better job of it than I did."

The talk slides begin at:

        http://perl.plover.com/yak/OOPSLA/slide001.html


and my blog entry about the talk is at:

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