Skip to content

Boston Haskell

Edward Kmett - Type Classes vs. the World

About this video

Edward Kmett speaks at the Boston Haskell meetup about type classes and the design tradeoffs of global coherence compared with other approaches to implicit instances. It covers why uniqueness of instances matters for reasoning and refactoring.