Adventure with Types in Haskell - Simon Peyton Jones (Lecture 1)
Why Hacker News recommends it
Mostly cited by timestamp for specific explanations, such as how type classes map to OOP and why QuickCheck is a great type class example.
What it is
Simon Peyton Jones's first lecture on types in Haskell from the Oregon Programming Languages Summer School 2013. It covers type classes and how they relate to OOP, subtyping and polymorphism.
Recommended by 0 HN commenters across 0 different months, 2015 to 2025.
What Hacker News said
Cites ablesearcher · 2015-11 · on “Making Elm faster and friendlier in 0.16”
I've seen Evan's talk. Evan confuses the presentation of features with the value of those features. (I suppose one could solve the difficulties people have in learning Mathematics by throwing out everything after Algebra I; another solution, however, might be to do a better job teaching the more difficult stuff.) Just because you shouldn't expose new programmers to advanced concepts on the first day doesn't mean they shouldn't be a part of the language. Similarly, the fact (<~) might confuse someone new to Elm isn't a reason for removing it from the language. I'm sympathetic to the concern that some code is too "clever" or dense; but Elm swings the pendulum too far. (Btw, type-classes are no
Cites pjmlp · 2016-12 · on “Zygomys – An embedded scripting language for Go”
Yes Haskell type classes are interfaces from OOP point of view. And given time on the weekend I might try to find out the talk given by SPJ about this very issue. Polymorphism and dynamic dispatch are part of OOP. EDIT: Found Simon's talk Adventure with Types in Haskell, part 1 and part 2: [this video] [LINK] At 1:01:01 on the first lecture he discusses how Haskell relates to OOP in regards of subtyping and generic polymorphism and how although different on the surface they share those CS concepts in their own ways. [this video]
Cites davnn · 2017-06 · on “The Design and Use of QuickCheck”
Also: it's the coolest example of type classes Simon Peyton Jones knows and he explains why here (around 34-35 min): [this video]
Cites pjmlp · 2025-01 · on “Great things about Rust that aren't just performance”
Thankfully this fellow Simon Peyton Jones has a talk about how they map into OOP paradigm. "Classes, Jim, But Not as We Know Them — Type Classes in Haskell: What, Why, and Whither" [LINK] "Adventure with Types in Haskell" [this video] [LINK] On the first lecture he discusses how Haskell relates to OOP in regards of subtyping and generic polymorphism and how although different on the surface they share those CS concepts in their own ways.