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.
Why Hacker News points people here: Mostly cited by timestamp for specific explanations, such as how type classes map to OOP and why QuickCheck is a great type class example.
“it's the coolest example of type classes Simon Peyton Jones knows and he explains why here (around 34-35 min)”HN comment, 2017
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 not incidental complexity: this videolink )
Cites itpjmlpDec 2016
“At 1:01:01 on the first lecture he discusses how Haskell relates to OOP in regards of subtyping and generic polymorphism”
SPJ discusses how Haskell relates to OOP, subtyping and polymorphism
Full comment
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 videolink 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 itdavnnJun 2017
“it's the coolest example of type classes Simon Peyton Jones knows and he explains why here (around 34-35 min)”
SPJ explains QuickCheck as coolest type class example around 34 minutes
Full comment
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 itpjmlpJan 2025
“On the first lecture he discusses how Haskell relates to OOP in regards of subtyping and generic polymorphism”
SPJ on mapping Haskell type classes to OOP
Full comment
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 videolink 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.
