HackerTube.dev

Adventure with Types in Haskell - Simon Peyton Jones (Lecture 1)

jasonofthel33t · 69.1K views · 2014-05-17 · 1:33:37

Open on YouTube ↗

If playback is restricted in your region, try opening the original video. Use Mark watched to add it to your marked videos.

Overview

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.

On Hacker News

Mostly cited by timestamp for specific explanations, such as how type classes map to OOP and why QuickCheck is a great type class example.

Discussed on HN; no positive recommendation is recorded in this export · HN mentions 2015–2025

Topics

Programming language designFunctional programming
Search by tags
haskelltype classessimon peyton jonespolymorphismtype theory

What people said

pjmlp · 2025-01 · Reference

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" [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.

Read the original HN comment ↗
davnn · 2017-06 · Reference

Also: it's the coolest example of type classes Simon Peyton Jones knows and he explains why here (around 34-35 min): [VIDEO]

Read the original HN comment ↗
pjmlp · 2016-12 · Reference

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: [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. [VIDEO]

Read the original HN comment ↗

Sources

Video by jasonofthel33t, played through YouTube.

Data and selection notes

HN summaries and labels may contain AI errors. HN dates refer to discussions, not video publication.

HN Library: HackerTube export (2026-10-31) and open-index/hacker-news. Upstream summaries and classifications may contain AI errors.

Views, duration and playback status refresh separately from the published catalog. When an update fails, existing data remains visible.

Selection checks
  • SaaS & AI candidates: Topic keywords do not match
  • Editor-approved picks: Editorial review is required

Rule matches identify candidates. They do not guarantee video quality or financial results.

About the library and its sources