23: “Epic compiler quest”, with special guests Harlan Haskins and Robert Widmann
Harlan Haskins and Robert Widmann, who are both regular contributors to the Swift compiler, join John to take a deep dive into the internals of Swift, its type system, the compilation process and how they used LLVM to build their own programming language.
May 10, 20181h 2m
Audio is streamed directly from the publisher (static1.squarespace.com) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.
Show Notes
Harlan Haskins and Robert Widmann, who are both regular contributors to the Swift compiler, join John to take a deep dive into the internals of Swift, its type system, the compilation process and how they used LLVM to build their own programming language.
Links
- Harlan on Twitter
- Robert on Twitter
- John on Twitter
- Harlan and Robert's talk at App Builders
- Trill
- Silt
- Agda
- LLVM
- LLVMSwift
- libSyntax
- Conor McBride's talk
- LLVM Kaleidoscope tutorial
- Swift Intermediate Language (SIL)
- Robert's 3SAT Gist
- Conditional conformances in Swift
- Swift Forums
- Swift JIRA
- Swift for TensorFlow
- Episode with Meghan Kane about Machine Learning
- Harlan's try! Swift talk about libSyntax
- LLVM Swift Slack
- Harlan's website
- Intro and outro music by Dariusz Dziuk