Robert Widmann's guest appearances

Robert Widmann

SwiftCoders: Interviews with Swift Developers

Swift by Sundell

Jesse Squires

Meghan Kane

Radek Pietruszewski

Erica Sadun

Harlan Haskins

Leah Culver

Sean Allen

Chris Lattner

Nick Lockwood

Bas Broek

Chris Eidhof

Gui Rambo

Brandon Williams

Ryan Nystrom

Marcin Krzyzanowski

OwlTail

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.LinksHarlan on TwitterRobert on TwitterJohn on TwitterHarlan and Robert's talk at App BuildersTrillSiltAgdaLLVMLLVMSwiftlibSyntaxConor McBride's talkLLVM Kaleidoscope tutorialSwift Intermediate Language (SIL)Robert's 3SAT GistConditional conformances in SwiftSwift ForumsSwift JIRASwift for TensorFlowEpisode with Meghan Kane about Machine LearningHarlan's try! Swift talk about libSyntaxLLVM Swift SlackHarlan's websiteIntro and outro music by Dariusz Dziuk

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.<h2>Links</h2><ul><li><a href="https://twitter.com/harlanhaskins" rel="nofollow" target="_blank">Harlan on Twitter</a></li><li><a href="https://twitter.com/CodaFi_" rel="nofollow" target="_blank">Robert on Twitter</a></li><li><a href="https://twitter.com/johnsundell" rel="nofollow" target="_blank">John on Twitter</a></li><li><a href="https://www.youtube.com/watch?v=oGJKsp-pZPk" rel="nofollow" target="_blank">Harlan and Robert's talk at App Builders</a></li><li><a href="https://github.com/trill-lang/trill" rel="nofollow" target="_blank">Trill</a></li><li><a href="https://github.com/silt-lang/silt" rel="nofollow" target="_blank">Silt</a></li><li><a href="http://wiki.portal.chalmers.se/agda/pmwiki.php" rel="nofollow" target="_blank">Agda</a></li><li><a href="https://llvm.org" rel="nofollow" target="_blank">LLVM</a></li><li><a href="https://github.com/llvm-swift/LLVMSwift" rel="nofollow" target="_blank">LLVMSwift</a></li><li><a href="https://github.com/apple/swift/tree/master/lib/Syntax" rel="nofollow" target="_blank">libSyntax</a></li><li><a href="https://m.youtube.com/watch?v=pNBPCnZEdSs" rel="nofollow" target="_blank">Conor McBride's talk</a></li><li><a href="http://llvm.org/docs/tutorial/" rel="nofollow" target="_blank">LLVM Kaleidoscope tutorial</a></li><li><a href="https://github.com/apple/swift/blob/master/docs/SIL.rst" rel="nofollow" target="_blank">Swift Intermediate Language (SIL)</a></li><li><a href="https://gist.github.com/CodaFi/5add20c3d1fb23475e476fbdfa59a355" rel="nofollow" target="_blank">Robert's 3SAT Gist</a></li><li><a href="https://www.swiftbysundell.com/articles/conditional-conformances-in-swift" rel="nofollow" target="_blank">Conditional conformances in Swift</a></li><li><a href="https://forums.swift.org" rel="nofollow" target="_blank">Swift Forums</a></li><li><a href="https://bugs.swift.org" rel="nofollow" target="_blank">Swift JIRA</a></li><li><a href="https://www.tensorflow.org/community/swift" rel="nofollow" target="_blank">Swift for TensorFlow</a></li><li><a href="https://www.swiftbysundell.com/podcast/22" rel="nofollow" target="_blank">Episode with Meghan Kane about Machine Learning</a></li><li><a href="https://www.youtube.com/watch?v=5ivuYGxW_3M" rel="nofollow" target="_blank">Harlan's try! Swift talk about libSyntax</a></li><li><a href="https://llvmswift-slack.herokuapp.com" rel="nofollow" target="_blank">LLVM Swift Slack</a></li><li><a href="https://harlanhaskins.com" rel="nofollow" target="_blank">Harlan's website</a></li><li><a href="https://soundcloud.com/banana-drama" rel="nofollow" target="_blank">Intro and outro music by Dariusz Dziuk</a></li></ul>

23: “Epic compiler quest”, with special guests Harlan Haskins and Robert Widmann

Follow The SwiftCoder Journey at WWDC 2017 via Instagram. I'll be posting a lot of Stories: https://www.instagram.com/swiftcoders/ Come to The SwiftCoders Meet &amp; Greet at AltConf 2017. Find all the details here: https://swiftcoders.eventfarm.com In this episode, I interview Robert Widmann. Robert is a rising Junior at Carnegie Mellon University where he studies Mathematics. He was an intern at Apple on the Swift Compiler Team in 2016. He will be interning at Apple on the Swift Static Analysis Team this summer, and he's also a frequent contributor to Swift Open Source. I really wanted to interview Robert because he helped me get my first Swift Open Source pull request merged in. The Swift Community is really lucky to have Robert as a member. Anyone interested in talking about Swift or getting started with Swift Open Source should definitely reach out to him on Twitter. Enjoy! Links: https://twitter.com/CodaFi_ http://xn--wxak1a.com https://github.com/CodaFi https://github.com/typelift https://en.wikipedia.org/wiki/No_true_Scotsman https://en.wikipedia.org/wiki/Lego_Mindstorms http://www.vanschneider.com https://en.wikipedia.org/wiki/APL_(programming_language) https://en.wikipedia.org/wiki/Haskell_(programming_language) https://en.wikipedia.org/wiki/Depth-first_search https://en.wikipedia.org/wiki/Tree_traversal https://en.wikipedia.org/wiki/Homotopy_type_theory https://github.com/HoTT/HoTT https://en.wikipedia.org/wiki/Agda_(programming_language) https://bugs.swift.org/ https://twitter.com/UINT_MIN https://github.com/apple/swift/blob/master/docs/Lexicon.rst https://github.com/trill-lang/trill https://twitter.com/aciidb0mb3r https://gist.github.com/CodaFi/fe42d673f1a37395ffd1 https://github.com/apple/swift/pull/8908  Listen on iTunes. Support this podcast via Patreon. Questions, comments, or you just wanna say Hi? Contact your host @garricn on Twitter. This episode was recorded using the Cast platform by @JulianLepinski. Wanna start your own podcast? Try Cast! 

Follow The SwiftCoder Journey at WWDC 2017 via Instagram. I'll be posting a lot of Stories: <a href="https://www.instagram.com/swiftcoders/" rel="nofollow" target="_blank">https://www.instagram.com/swiftcoders/</a> Come to <a href="https://swiftcoders.eventfarm.com/" rel="nofollow" target="_blank">The SwiftCoders Meet &amp; Greet at AltConf 2017</a>. Find all the details here: <a href="https://swiftcoders.eventfarm.com/" rel="nofollow" target="_blank">https://swiftcoders.eventfarm.com</a> In this episode, I interview Robert Widmann. Robert is a rising Junior at Carnegie Mellon University where he studies Mathematics. He was an intern at Apple on the Swift Compiler Team in 2016. He will be interning at Apple on the Swift Static Analysis Team this summer, and he's also a frequent contributor to Swift Open Source. I really wanted to interview Robert because he helped me get <a href="https://github.com/apple/swift/pull/8947" rel="nofollow" target="_blank">my first Swift Open Source pull request</a> merged in. The Swift Community is really lucky to have Robert as a member. Anyone interested in talking about Swift or getting started with Swift Open Source should definitely <a href="https://twitter.com/CodaFi_" rel="nofollow" target="_blank">reach out to him on Twitter</a>. Enjoy! Links: <ul><li><a href="https://twitter.com/CodaFi_" rel="nofollow" target="_blank">https://twitter.com/CodaFi_</a></li> <li><a href="http://xn--wxak1a.com" rel="nofollow" target="_blank">http://xn--wxak1a.com</a></li> <li><a href="https://github.com/CodaFi" rel="nofollow" target="_blank">https://github.com/CodaFi</a></li> <li><a href="https://github.com/typelift" rel="nofollow" target="_blank">https://github.com/typelift</a></li> <li><a href="https://en.wikipedia.org/wiki/No_true_Scotsman" rel="nofollow" target="_blank">https://en.wikipedia.org/wiki/No_true_Scotsman</a></li> <li><a href="https://en.wikipedia.org/wiki/Lego_Mindstorms" rel="nofollow" target="_blank">https://en.wikipedia.org/wiki/Lego_Mindstorms</a></li> <li><a href="http://www.vanschneider.com" rel="nofollow" target="_blank">http://www.vanschneider.com</a></li> <li><a href="https://en.wikipedia.org/wiki/APL_(programming_language)" rel="nofollow" target="_blank">https://en.wikipedia.org/wiki/APL_(programming_language)</a></li> <li><a href="https://en.wikipedia.org/wiki/Haskell_(programming_language)" rel="nofollow" target="_blank">https://en.wikipedia.org/wiki/Haskell_(programming_language)</a></li> <li><a href="https://en.wikipedia.org/wiki/Depth-first_search" rel="nofollow" target="_blank">https://en.wikipedia.org/wiki/Depth-first_search</a></li> <li><a href="https://en.wikipedia.org/wiki/Tree_traversal" rel="nofollow" target="_blank">https://en.wikipedia.org/wiki/Tree_traversal</a></li> <li><a href="https://en.wikipedia.org/wiki/Homotopy_type_theory" rel="nofollow" target="_blank">https://en.wikipedia.org/wiki/Homotopy_type_theory</a></li> <li><a href="https://github.com/HoTT/HoTT" rel="nofollow" target="_blank">https://github.com/HoTT/HoTT</a></li> <li><a href="https://en.wikipedia.org/wiki/Agda_(programming_language)" rel="nofollow" target="_blank">https://en.wikipedia.org/wiki/Agda_(programming_language)</a></li> <li><a href="https://bugs.swift.org/" rel="nofollow" target="_blank">https://bugs.swift.org/</a></li> <li><a href="https://twitter.com/UINT_MIN" rel="nofollow" target="_blank">https://twitter.com/UINT_MIN</a></li> <li><a href="https://github.com/apple/swift/blob/master/docs/Lexicon.rst" rel="nofollow" target="_blank">https://github.com/apple/swift/blob/master/docs/Lexicon.rst</a></li> <li><a href="https://github.com/trill-lang/trill" rel="nofollow" target="_blank">https://github.com/trill-lang/trill</a></li> <li><a href="https://twitter.com/aciidb0mb3r" rel="nofollow" target="_blank">https://twitter.com/aciidb0mb3r</a></li> <li><a href="https://gist.github.com/CodaFi/fe42d673f1a37395ffd1" rel="nofollow" target="_blank">https://gist.github.com/CodaFi/fe42d673f1a37395ffd1</a></li> <li><a href="https://github.com/apple/swift/pull/8908" rel="nofollow" target="_blank">https://github.com/apple/swift/pull/8908</a></li> </ul> <a href="https://itunes.apple.com/us/podcast/swiftcoders/id1082937962?mt=2" rel="nofollow" target="_blank">Listen on iTunes</a>. Support this podcast via <a href="http://bit.ly/2n3h74b" rel="nofollow" target="_blank">Patreon</a>. Questions, comments, or you just wanna say Hi? Contact your host <a href="https://twitter.com/garricn" rel="nofollow" target="_blank">@garricn</a> on Twitter. This episode was recorded using the Cast platform by <a href="https://twitter.com/JulianLepinski" rel="nofollow" target="_blank">@JulianLepinski</a>. Wanna start your own podcast? <a href="http://cast.rocks/8853" rel="nofollow" target="_blank">Try Cast!</a>

54: Robert Widmann - Swift Compiler Intern &amp; Swift Open Source Contributor