Fred Stluka on 1 Dec 2008 10:52:34 -0800


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

Re: [PLUG] [plug-announce] December 3, 2008: "Atypical Typing" presented by Mark Jason Dominus


I'm looking to carpool with someone from the Malvern/Paoli area.
Or any western suburbs.  Any takers?

--Fred
---------------------------------------------------------------------
Fred Stluka -- mailto:fred@bristle.com -- http://bristle.com/~fred/
Bristle Software, Inc -- http://bristle.com -- Glad to be of service!
---------------------------------------------------------------------



Elizabeth Krumbach wrote:
>  ._____. .__________________________________________________________________.
>  | ._. | | .______________________________________________________________. |
>  | |_| |_|_|___.                                                   _____  | |
>  |___| |_____. |   The Philadelphia Area Linux Users Group        | ._. | | |
>  .___|_|_| |_| |   (PLUG) cordially invites you to our next   .___| |_|_|_| |
>  | ._____| |___|    meeting, Wednesday, December 3rd, 2008    | ._| |_______|
>  | | | |_| |         at The University of the Sciences in     | |_|_|_| |___.
>  | | |_____|              Philadelphia, Pennsylvania          |_______| |_. |
>  | |______________________________________________________________| | | |_| |
>  |__________________________________________________________________| |_____|
>
>   The presentation this month is on "Atypical Typing" and is being presented by
>   Mark Jason Dominus.  This talk was first given at OOPSLA 2008 where MJD
>   was an invited speaker.
>
>   Talk abstract:
>
>     "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'll 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."
>
>   Mark Jason Dominus is the author of "Higher-Order Perl: Transforming
>   Programs with Programs". Our regular December speaker, he has given
>   several talks in the past, including "What's a file?" and "History of
>   Classic Unix Security Holes"
>
>   For more on MJD check out his blog: http://blog.plover.com/ (which we also
>   aggregate on http://planet.phillylinux.org)
>
>   The meeting will take place from 7-9pm at:
>
>           University of the Sciences in Philadelphia (USP)
>           Griffith Hall C
>           600 South 43rd Street
>           Philadelphia, PA 19104-4495
>
>   USP is located in University City.  Driving directions are
>   available at <http://www.phillylinux.org/locations/usp.html>, or
>   <http://www.usip.edu/directions/>, both of which have an aerial
>   view of the campus buildings.  USP is also easily accessible by
>   public transportation.
>
>   There will be an open Question & Answer session at 7PM, prior to
>   the main presentation at 8PM.  This is an open meeting; all are
>   welcome, and encouraged to attend.
>
>   Usually, a number of members get together after the meeting at a
>   nearby restaurant for food and perhaps a beer or two.  Come join
>   the camaraderie!
> _______________________________________________
> plug-announce mailing list
> plug-announce@lists.phillylinux.org
> http://lists.netisland.net/mailman/listinfo/plug-announce
> ___________________________________________________________________________
> Philadelphia Linux Users Group         --        http://www.phillylinux.org
> Announcements - http://lists.phillylinux.org/mailman/listinfo/plug-announce
> General Discussion  --   http://lists.phillylinux.org/mailman/listinfo/plug
>
>
>   
___________________________________________________________________________
Philadelphia Linux Users Group         --        http://www.phillylinux.org
Announcements - http://lists.phillylinux.org/mailman/listinfo/plug-announce
General Discussion  --   http://lists.phillylinux.org/mailman/listinfo/plug