Simon Peyton-Jones: Escape from the ivory tower: the Haskell journey
Churchill College, University of Cambridge
Recommended by 9 •
Classic
Play allHaskell
365 videos • 316 hr 36 min
Part of Programming languages. Ordered by how many people recommended each video and for how long; 13 are classics.
1 2 3 4 5 Gabriella Gonzalez – How to market Haskell to a mainstream programmer
Konfy
Recommended by 4 •
Hidden gem6 Simon Peyton Jones - Linear Haskell: practical linearity in a higher-order polymorphic language
Curry On!
Recommended by 5 •
Hidden gem7 Into the Core - Squeezing Haskell into Nine Constructors by Simon Peyton Jones
Erlang Solutions
Recommended by 4 •
Classic8 9 Co-Creator of Haskell: Useless vs Useful Languages, Rust vs C, Functional Programming | Simon Jones
Ryan Peterman
Recommended by 3 •
Recent pick10 11 12 SPJ: Pursuing a Trick a Long Way, Just To See Where It Goes
André Popovitch
Recommended by 3 •
Hidden gem13 Next-gen Haskell Compilation Techniques with Csaba Hruska
Berlin Functional Programming Group
Recommended by 3 •
Hidden gem14 "Hackett: a metaprogrammable Haskell" by Alexis King
Strange Loop Conference
Recommended by 3 •
Hidden gem15 Why Functional Programming Matters by John Hughes at Functional Conf 2016
ConfEngine
Recommended by 3 •
Classic16 17 18 19 20 Infinite Data Structures: To Infinity & Beyond! - Computerphile
Computerphile
Recommended by 2 •
Classic21 22 23 24 Deconstructing Lambdas—An Awkward Guide to Programming Without Functions
Berlin Functional Programming Group
Recommended by 2 •
Hidden gem25 Lennart Augustsson - MicroHaskell
Chalmers Functional Programming Seminar Series
Recommended by 3 •
Hidden gem26 27 28 Lambda World 2019 - Painless software development with Haskell - Paweł Szulc
Lambda World
Recommended by 2 •
29 Can Haskell Become a Great Language for Data Science? | Michael Chanvinda | ZuriHac 2026
OST – Ostschweizer Fachhochschule
Recommended by 2 •
Hidden gem30 Alejandro Serrano Mena on Why Functors and Applicatives Compose but Monads Don't
Berlin Functional Programming Group
Recommended by 2 •
Hidden gem31 32 Write a GHC extension in 30 minutes by Richard Eisenberg
Zürich Friends of Haskell
Recommended by 2 •
Hidden gem33 HaskellerZ - April 2020 - Niklas Hambüchen - Asynchronous and Parallel Programming in Haskell
Zürich Friends of Haskell
Recommended by 2 •
Hidden gem34 35 ZuriHac 2016: Spock - Powerful Elegant Web Applications
Google TechTalks
Recommended by 2 •
Hidden gem36 37 38 Erlang Factory SF 2016 - Keynote - John Hughes - Why Functional Programming Matters
Erlang Solutions
Recommended by 2 •
Hidden gem39 40 1 07 High Performance Client Side Web Applications through Haskell EDSLs
ICFP Video
Recommended by 2 •
Hidden gem41 "Haxl: A Big Hammer for Concurrency" by Simon Marlow
Strange Loop Conference
Recommended by 2 •
Hidden gem42 43 Laziness in Haskell — Part 2: Why not Strict Haskell?
Tweag by Modus Create
Recommended by 2 •
Hidden gem44 45 46 47 Alejandro Serrano: Category Theory Through Functional Programming (part 1/3) - λC 2017
LambdaConf
Recommended by 2 •
Hidden gem48 Alexis King on "Delimited Continuations, Demystified" @ZuriHac2023
OST – Ostschweizer Fachhochschule
Recommended by 2 •
Hidden gem49 Stitch: The Sound Type-Indexed Type Checker (Functional Pearl)
ACM SIGPLAN
Recommended by 2 •
Hidden gem50 Getting Started with the Haskell Vulkan Bindings on macOS Catalina
Jonathan Merritt
Recommended by 2 •
Hidden gem51 John Hughes - Building on developers' intuitions (...) | Lambda Days 19
Code Sync
Recommended by 2 •
Hidden gem52 HaskellerZ - Feb 2018 - Getting things done in Haskell and Zurich Friends of Haskell
Simon Meier
Recommended by 2 •
Hidden gem53 A Totally Non-Terrifying, Practical Introduction to Type-Level Programming
Berlin Functional Programming Group
Recommended by 2 •
Hidden gem54 55 Blazing-Fast Directory Tree Traversal: Haskell Streamly Beats Rust by Harendra Kumar #FnConf 2025
ConfEngine
Recommended by 2 •
Hidden gem56 Main Stage - Tent | JuliaCon Global 2026 | Day 1
The Julia Programming Language
Recommended by 2 •
Hidden gem57 Reflex: Practical Functional Reactive Programming (FRP) in Haskell (part 1)
NYC Haskell User's Group
Recommended by 2 •
Hidden gem58 2016 - Jasper Van der Jeugt - Haskell: mistakes I made (and how to fix them)
Simon Meier
Recommended by 2 •
Hidden gem59 Gabriele Keller - Keynote: Functional programming for array-based parallelism - Lambda Days 2020
Code Sync
Recommended by 2 •
Hidden gem60 61 62 63 64 65 SBTB 2023: Avi Press, Why Haskell is a Terrible Choice for Startups (And Why We Picked It Anyway)
FunctionalTV
Recommended by 2 •
Hidden gem66 67 68 69 HIW 2014: Lennart Augustsson: Better type-error messages
Malcolm Wallace
Recommended by 2 •
Hidden gem70 71 72 73 74 2017 02 23 Niklas Hambüchen FRP browser programming with Reflex
Simon Meier
Recommended by 2 •
Hidden gem75 76 77 78 79 "Point-Free or Die: Tacit Programming in Haskell and Beyond" by Amar Shah
Strange Loop Conference
Recommended by 2 •
80 81 82 83 84 85 Next Level MTL - George Wilson - BFPG 2016-06
Brisbane Functional Programming Group
Recommended by 2 •
Hidden gem86 87 88 CUFP 2013: Ryan Trinkle: Enterprise Appointment Scheduling with Haskell
CUFP 2013
Recommended by 2 •
Hidden gem89 90 91 "Haste: Full-Stack Haskell for Non-PhD Candidates" by Erin Swenson-Healey and James Cooper
Strange Loop Conference
Recommended by 2 •
Hidden gem92 93 @lexi_lambda: How to make a Haskell program 5x faster with 16 lines of code
Tweag by Modus Create
Recommended by 1 •
94 Rishiyur S. Nikhil - Enigmatic Haskell, Haskellish Enigma
Boston Haskell
Recommended by 2 •
Hidden gem95 Sandy Maguire: A New Kind of Programming: Tactic Metaprogramming in Haskell @ZuriHac21
Zürich Friends of Haskell
Recommended by 1 •
96 MuniHac 2018: Keynote: A low-latency garbage collector for GHC
TNG Technology Consulting GmbH
Recommended by 1 •
97 HaskellerZ - October 2019 - Roland Senn - The GHCi debugger
Zürich Friends of Haskell
Recommended by 1 •
98 99 100 101 102 103 104 Algorithmic Orchestration demo | Stravinsky Suite No.1 | TidalCycles ++ The Harmonic Algorithm
Algorithmic Orchestration
Recommended by 1 •
105 106 107 108 109 "Building Haskell Programs with Fused Effects" by Patrick Thomson
Strange Loop Conference
Recommended by 1 •
110 111 Ollie Charles: Rel8, a new database access library for Haskell @ZuriHac2021
Zürich Friends of Haskell
Recommended by 1 •
112 113 114 115 Simon Peyton Jones on Haskell, Verse, Strong Type Systems and Tasteful Abstractions
Rock the JVM
Recommended by 1 •
116 Introduction to Haskell execution and garbage collection internals – Maxim Koltsov
Serokell
Recommended by 1 •
117 118 119 120 121 122 123 124 Functional Programmers Paris - Building a language, in Haskell, with an LLVM backend
Daniel Gazard
Recommended by 1 •
125 126 127 128 129 Introduction to relude an alternative Haskell prelude - Dmitrii Kovanikov
Haskell Amsterdam
Recommended by 1 •
130 131 132 133 134 135 BOB 2017 - Alexander Thiemann: The Future of Front-end Development: A comparison
BOBKonf
Recommended by 1 •
136 137 Moving Towards Dialogue: Collaborating with your computer using typed holes! by Vaibhav Sagar
Confreaks
Recommended by 1 •
138 139 Veronika Romashkina: Lift Unliftable (and unlift liftable) @Zurihac21
Zürich Friends of Haskell
Recommended by 1 •
140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 Creating Your First Haskell Project - Haskell's Tooling Is Good Actually
Gavin Freeborn
Recommended by 1 •
156 MuniHac 2025 - Friday, September 12th - Rodrigo Mesquita: A modern step-through debugger for Haskell
TNG Technology Consulting GmbH
Recommended by 1 •
157 MuniHac 2025 - Sunday, September 14th - Mike Sperber: Six Years of FUNAR
TNG Technology Consulting GmbH
Recommended by 1 •
158 MuniHac 2025 - Saturday, September 13th - Andrew Lelechenko: Linear Haskell for string builders
TNG Technology Consulting GmbH
Recommended by 1 •
159 160 161 162 Into the Core Squeezing Haskell into nine Constructors - Simon Peyton Jones | ZuriHac 2022
OST – Ostschweizer Fachhochschule
Recommended by 1 •
163 164 165 166 167 Chris Allen: A Haskell Guide for Working Stiffs - λC Winter Retreat 2017
LambdaConf
Recommended by 1 •
168 A different way to do concurrency — Haskell’s STM monad by Elisabeth Stenholm
Func Prog Sweden
Recommended by 1 •
169 Leverage the Power of Logic Programming With Souffle-haskell
Berlin Functional Programming Group
Recommended by 1 •
170 MuniHac 2024 - So, Oct. 13 - Niki Vazou: Liquid Haskell: Verification with Refinement Types
TNG Technology Consulting GmbH
Recommended by 1 •
171 172 Your First Haskell Web App With WAI And Warp by Michael Snoyman #FnConf19
ConfEngine
Recommended by 1 •
173 174 An introduction to ghc-debug: precise memory analysis for Haskell programs
Matthew Pickering
Recommended by 1 •
175 Gabriel Gonzales: Applied category theory and abstract algebra - λC Winter Retreat 2017
LambdaConf
Recommended by 1 •
176 177 George Wilson - An Intuition for Propagators - Compose Melbourne 2019
Compose Conference
Recommended by 1 •
178 Scale By The Bay 2019: Tikhon Jelvis, What is Functional Reactive Programming?
FunctionalTV
Recommended by 1 •
179 180 @rae: Some functions on length-indexed vectors require custom GADTs
Tweag by Modus Create
Recommended by 1 •
181 182 Finger Trees Explained Anew, and Slightly Simplified (Functional Pearl) Haskell 2020
ACM SIGPLAN
Recommended by 1 •
183 Gradual tensor typing for practical machine learning in Haskell with Hasktorch
Breandan Considine
Recommended by 1 •
184 185 186 187 188 189 190 191 192 193 @rae: Existentials and writing functions for length-indexed vectors
Tweag by Modus Create
Recommended by 1 •
194 195 196 197 198 199 200 201 202 Haskell 2021 - Design Patterns for Parser Combinators (Functional Pearl)
ACM SIGPLAN
Recommended by 1 •
203 204 205 206 207 Lambda Days 2018 - Jarek Ratajski - Beauty and the beast Haskell on JVM
Erlang Solutions
Recommended by 1 •
208 209 "Coder Decoder: Functional Programmer Lingo Explained, with Pictures" by Katie Miller
Strange Loop Conference
Recommended by 1 •
210 211 Compose :: Melbourne 2017 - Andrew McCluskey - Your first Haskell app
Compose Conference
Recommended by 1 •
212 213 214 215 216 217 218 Sean Seefried - The Joy of Refactoring with Strong, Static Types
Compose Conference
Recommended by 1 •
219 220 Let's Talk ETC! (Ethereum Classic) #15 - Dr. Duncan Coutts - Provably Secure Smart Contracts
Christian Seberino
Recommended by 1 •
221 222 From 1 to 100k users: Lessons learned from scaling a Haskell app - Felix Miño | Lambda Days 2024
Code Sync
Recommended by 1 •
223 224 225 226 227 Opening & Talk by John Hughes "Testing smart contracts with QuickCheck" @ZuriHac21
Zürich Friends of Haskell
Recommended by 1 •
228 229 230 231 Denotational Design: from meanings to programs By Conal Elliott at BayHac 2014 1/4
Zaki Manian
Recommended by 1 •
232 233 234 Manuel Chakravarty - Haskell SpriteKit: A Case Study in Turning a Stateful into a Functional API
Curry On!
Recommended by 1 •
235 236 MuniHac 2018: Keynote: The Curious Case of Pattern-Match Coverage Checking
TNG Technology Consulting GmbH
Recommended by 1 •
237 238 Gem - Mining : Dev log 2 : Summary of shadow casting lights and game logic script debugging
Steven Tinsley
Recommended by 1 •
Recent pick239 240 241 242 243 244 A monad is a monoid in the category of endofunctors. Whats the problem? #SoMe2
A Byte of Code
Recommended by 2 •
245 246 247 248 249 250 Functional Programming in Financial Markets by Damián Soriano
Func Prog Sweden
Recommended by 2 •
Hidden gem251 252 Why Do Companies Stop Using Haskell? | Vaibhav Sagar | ZuriHac 2026
OST – Ostschweizer Fachhochschule
Recommended by 1 •
Recent pick253 254 255 Advanced Track: Understanding Memory Usage with eventlog2html and ghc-debug @ZuriHac21
Zürich Friends of Haskell
Recommended by 1 •
256 Richard Eisenberg on Simplifying Constraint Solving in GHC
Berlin Functional Programming Group
Recommended by 1 •
257 258 MuniHac 2020: Tamar Christina - The new Windows I/O manager (WinIO) in GHC
TNG Technology Consulting GmbH
Recommended by 1 •
259 260 261 Escaping Cabal Hell with Nix - Steven Shaw - BFPG 2015-06
Brisbane Functional Programming Group
Recommended by 1 •
262 263 264 265 266 Haskell: origins, evolution, and future | Peyton Jones | JuliaCon Global 2026
The Julia Programming Language
Recommended by 1 •
Recent pick267 Simon Peyton Jones - Revisiting pattern match overlap checks in Haskell | Code Mesh LDN 19
Code Sync
Recommended by 1 •
268 269 270 David Peter: Interactive Tests and Documentation via QuickCheck style Declarations - λC 2016
LambdaConf
Recommended by 1 •
271 272 273 CodeMesh 2014 - Neil Mitchell - Gluing Things Together with Haskell -
Erlang Solutions
Recommended by 1 •
274 Big Techday 23: Glean: Query your Code [EN] - Simon Marlow, Meta Research
TNG Technology Consulting GmbH
Recommended by 1 •
275 276 277 Ajhc Haskell compiler can create Haskell Apps running on Android NDK!
Metasepi Project
Recommended by 1 •
278 279 Build a Full Stack Blogging App with Haskell, Scotty, JWT Auth, and SQLite | Tutorial
Purely Haskell
Recommended by 1 •
280 281 282 283 Add a type parameter! One 'simple' design change, a panoply of outcomes
Compose Conference
Recommended by 1 •
284 Opening Ceremony & Rob Rix - “Languages all the way down” @ ZuriHac 2020
Zürich Friends of Haskell
Recommended by 1 •
285 286 Build a Markdown Parser in Haskell with Megaparsec | Complete Tutorial
Purely Haskell
Recommended by 1 •
287 MuniHac 2024 - Sa, Oct. 12 - Hécate: Effect Systems in Practice
TNG Technology Consulting GmbH
Recommended by 1 •
288 289 290 291 292 293 294 295 Brave New World - tales of PureScript and Haskell in production - Felix Mulder
flatMap (Oslo)
Recommended by 1 •
296 Haskell CRUD Operations with Servant and SQLite: A Step-by-Step Tutorial
Purely Haskell
Recommended by 1 •
297 298 Advanced Track: Optics in the abstract by Adam Gundry @ZuriHac21
Zürich Friends of Haskell
Recommended by 1 •
299 300 301 302 303 MuniHac 2024 - Fr, Oct. 11 - H. Siebenhandl: Exploring Haskell Language Server via the Cabal Plugin
TNG Technology Consulting GmbH
Recommended by 1 •
304 305 306 307 Exact Real Arithmetic in Haskell - Mitchell Riley - BFPG 2015-05
Brisbane Functional Programming Group
Recommended by 1 •
308 309 How is Haskell tackling the multicore problem? - Simon Marlow, CUCaTS 2013-02-07
CUCaTS
Recommended by 1 •
310 Streamly: Declarative Concurrency And Dataflow Programming In Haskell by Harendra Kumar #FnConf19
ConfEngine
Recommended by 1 •
311 312 313 314 315 316 Simon Michael - Inside hledger: an architectural tour and how-to - April 2021 - HaskellerZ
Zürich Friends of Haskell
Recommended by 1 •
317 Paweł Szulc - Maintainable Software Architecture in Haskell (with Polysemy) - Lambda Days 2020
Code Sync
Recommended by 1 •
318 319 MicroHs, a tiny Haskell Compiler – Lennart Augustsson (Language Pioneer & Compiler Expert)
OST – Ostschweizer Fachhochschule
Recommended by 1 •
320 321 322 323 Build a CLI Speed Typing Game in Haskell | Concurrency & State Transformers | Vty Library Tutorial
Purely Haskell
Recommended by 1 •
324 Simon Peyton Jones - A History of Haskell: being lazy with class
Microsoft Research
Recommended by 2 •
Hidden gem325 ICFP 2014: Safe Zero-Cost Coercions for Haskell - Richard A. Eisenberg
Malcolm Wallace
Recommended by 2 •
Hidden gem326 M.M.T Chakravarty - Playing with Graphics and Animations in Haskell
Compose Conference
Recommended by 1 •
327 328 Ben Lynn on "MacGyver's Haskell Compiler" @ZuriHac2023
OST – Ostschweizer Fachhochschule
Recommended by 1 •
329 Duncan Coutts - Building a Billion Dollar Cryptocurrency with Haskell | Code Mesh LDN 18
Code Sync
Recommended by 1 •
330 331 332 Alexander Thiemann - SuperRecord: Practical Anonymous Records for Haskell
Curry On!
Recommended by 1 •
333 The Haskell Unfolder Episode 38: tasting and testing CUDA (map, fold, scan)
Well-Typed
Recommended by 1 •
334 335 MuniHac 2020: Edsko de Vries - Being lazy without being bloated
TNG Technology Consulting GmbH
Recommended by 1 •
336 337 338 Artyom Kuznetsov - GHC: Dependency Analysis of Haskell Declarations
Zürich Friends of Haskell
Recommended by 1 •
339 340 341 342 @rae: How to program in types with length-indexed vectors: Part 1
Tweag by Modus Create
Recommended by 1 •
343 Paul Kinsky - Lazily Diffing Merkele Trees with Recursion Schemes 3/4
Monadic Warsaw
Recommended by 1 •
344 345 346 347 Bracer: Transforming Real-World Languages with Coproducts and Recursion Schemes - Patrick Thomson
Maitria Alex Harms
Recommended by 1 •
348 BOB 2017 - Philipp Kant: Performance and Safety: an Example of using Liquid Haskell in the Real Worl
BOBKonf
Recommended by 1 •
349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 George Hotz | Programming | scheming in haskell pt 3 | Science & Technology | Part3
george hotz archive
Recommended by 1 •
365
