Ask Me Anything with Simon Peyton Jones
summary
A wide-ranging AMA covers Haskell tradeoffs and real projects: GHC uses a GHC Core typed intermediate language to keep transformations type-safe, experiments add linear types and deferred type errors, and a machine learning project tries to learn optimization rewrite sequences as a real optimizer. Education work drives a national effort with 80 million pounds for teacher training and open curricula, plus a proposal to teach functional ideas via Excel. JIT compilation for Haskell is desirable but an engineering challenge.
AI-written summary · about
chapters (20)
- 0:00Introduction
- 2:30The future of functional programming
- 5:00The future of computing
- 7:00Lazy evaluation
- 9:00Type inference
- 11:15Type preserving intermediate languages
- 15:00Teaching computing in schools
- 18:30Teaching less math
- 21:00Status report
- 23:50Research
- 25:45Conveying Inspiration
- 27:20Programming Productivity
- 29:45Haskell
- 32:30Keeping it simple
- 36:25Worklife balance
- 38:55What Simon likes and dislikes about his job
- 41:05Do you have any regrets about not having a PhD
- 43:20What are the downsides of structuring your research life this way
- 48:00Justintime compiler
- 50:40Haskell IDE
related talks
54mQ & A Session With Functional Conf Speakers
01h 04mHaskell - A Peek Inside the Ivory Tower
40mWhat Haskell taught us when we were not looking
55mModern Software Development with Haskell
53mIntro to Haskell for Erlangers
57mReal-world Haskell: Good, Bad, & Ugly
04mInterview
38mWhat Haskell Taught Us When We Weren't Looking