BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Haskell Type Constraints Unleashed - Dominic Orchard\, Computer La
 b
DTSTART:20100212T151500Z
DTEND:20100212T161500Z
UID:TALK23064@talks.cam.ac.uk
CONTACT:Dominic Orchard
DESCRIPTION:**note: SS03 not GS15**\n\nHaskell provides static\, ad-hoc po
 lymorphism using its "type class" mechanism. Type classes allow polymorphi
 c types to be constrained to a set\, or class\, of types over which some f
 unctions are defined. \n\nThe popular Glasgow Haskell Compiler has extende
 d the Haskell 98 standard type system with several powerful features\, lea
 ding to an expressive language of type terms. In contrast\, constraints ov
 er types have received much less attention\, creating an imbalance in the 
 expressivity of the type system. \n\nWe rectify this imbalance\, transferr
 ing familiar\ntype-level constructs\, synonyms and families\, to the langu
 age of constraints\, providing a symmetrical set of features at the type-l
 evel and constraint-level.\nIn this talk\, the new features\, constraint s
 ynonyms and constraint families\, will be introduced along with\nexamples 
 of their increased expressivity for improving the utility of polymorphic E
 DSLs in Haskell\, amongst other examples.\n\nThis talk will start with a b
 rief tour of Haskell's current menagerie of type system features\, followe
 d by a look at our new features.\n\nThis is joint work with Tom Schrijvers
 \, and is a practice talk for FLOPS 2010.
LOCATION:SS03\, Computer Laboratory
END:VEVENT
END:VCALENDAR