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

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!