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

SwiftCoders: Interviews with Swift Developers - A podcast by Garric Nahapetian

Categories:

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 & 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!