Walt Mankowski on 1 Dec 2008 14:19:55 -0800 |
Just a reminder that Mark's talk at PLUG is Wednesday night. We're long overdue for a meeting ourselves. Any interest in a meeting next week? I can do any night but Monday. We could do dinner, or if folks are interested in a tech meeting I could do one of the talks I did at YAPC or PPW. Walt On Sun, Nov 09, 2008 at 11:21:58PM -0500, Mark Dominus wrote: > > 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** Attachment:
signature.asc
|
|