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!