Home
Schedule
Abstract Template
Masters Attendance
Center
Home
Courses
People
Projects
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Log In
or
Register
Instance Chains:TypeClassProgrammingWithoutOverlappingInstances
Stc
Date: 2011-05-19 Time: 11:00 - 12:00 Room: [[http://www.cs.uu.nl/docs/reach/bbl.php][BBL]] [[http://www.cs.uu.nl/info/plan/bbl.php][165]] ----+++++ Speaker: Bram Schuur ----+++++ Title: Instance Chains: Type Class Programming without Overlapping Instances ----+++++ Abstract Haskell Type classes are not only useful for resolving ad-hoc polymorphism. When used with the right extensions, type classes can facilitate fairly complex type-level programs. Unfortunately those extensions are not always well-defined and well-behaved. This talk introduces instance chains as an alternative to the current Haskell type class system, and shows how it resolves some of the shortcomings of the current implementation. Along the way some of the theoretical background of type classes is introduced.
