hackertube.io

Edward Kmett - Type Classes vs. the World

Boston Haskell · talk · Watch on YouTube

Programming language designFunctional programming

What it is

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.

Why Hacker News recommends it

HN points to it as the definitive explanation of why coherence and the orphan rule matter, in debates over Haskell, Rust traits, OCaml modules and Elm.

  • 2 people recommended it
  • 2 different months
  • 1 strong recommendations
  • first 2015, last 2024

What HN commenters said

  1. “Ed Kmett's fantastic "Typeclasses v. the World" talk covers”

    Kmett explains benefits of global coherence for refactoring and reasoning.

    shadytrees, 2015-09 · Strong recommendation · in “Haskell's Type Classes: We Can Do Better”

  2. “Edward Kmett has a great explanation[1] of the considerations around this space.”

    Explains why alternatives to the orphan rule hurt reasoning.

    Twey, 2023-08 · Recommendation · in “This isn’t the way to speed up Rust compile times”

Excerpts from Hacker News comments, linked to the originals. Summaries and labels were written by a language model from those comments.

Topics: haskell, type classes, coherence, orphan rule, edward kmett, traits

Also recommended by the same people