Brandon Williams – Proof in Functions
Proof in Functions
A programming language with a sufficiently advanced type system allows us to explore a beautiful idea that straddles the line between mathematics and computer science. The type system can be used to prove mathematical theorems. We’ll use Apple’s new language, Swift, and interactive playgrounds to explore this idea and come face-to-face with the strange fact that sometimes the compiler can write our code for us.
About Brandon Williams
Brandon Williams is a mathematician that works as an engineer at Kickstarter. He’s worked primarily on iOS for the past 3 and a half years, but also contributed to discovery and mobile for the website.
Can't join us in person? This event will be streamed at 7pm Eastern.
Wednesday, Jun 17, 2015
6:30-7:00 pm: Registration
7:00-8:00 pm: Presentation
8:00-9:00 pm: Social Hour
Code as Craft participants are expected to abide by our Code of Conduct.