BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Let should not be generalised - Simon Peyton Jones (Microsoft Rese
 arch)
DTSTART:20101011T114500Z
DTEND:20101011T130000Z
UID:TALK27306@talks.cam.ac.uk
CONTACT:Sam Staton
DESCRIPTION:The Hindley-Milner type system is a thing of beauty that is so
  deeply embedded in the cultural history of type systems that we hardly re
 alise how wonderful and surprising it is.\n\nHowever\, in this talk I'll a
 rgue that this beauty is a tad misleading. HM is a local optimum: before w
 e can go up we must go down. In particular\, I'll argue that we must give 
 up the automatic generalisation of local (nested) let-bindings. As we make
  the type system more sophisticated it becomes harder and harder to suppor
 t auto-generalisation.\n\nHappily\, it turns out that auto-generalisation 
 is seldom use. I have numbers.\n\nThis is all part of the complete rewrite
  of GHC's type inference engine\, which Dimitrios and I have just complete
 d -- it's in the upcoming GHC release.\n
LOCATION:Room FW26\, Computer Laboratory\, William Gates Building
END:VEVENT
END:VCALENDAR