Total Programming Using Swift with Andre Videla
In simple terms, a total function is a function that produces a well defined output for all possible inputs. A total program is a program composed of only total functions. A non-total, or partial...
View ArticleDependent Types in Haskell with Stephanie Weirich
At Strange loop 2017, a wandered into a talk where I saw some code that deeply surprised me. The code could have been python if you squinted, passing dictionaries around, no type annotations anywhere....
View ArticleThe Little Typer With Dan Friedman and David Christiansen
When it comes to type systems “I am, so far, only in the dependent types camp” – Daniel P. Friedman You can write more correct software and even rigorous mathematical proofs. Prepare for some mind...
View ArticleRefinement Types with Niki Vazou
Formal verification and type systems – how do they relate? Niki Vazou is on a mission to bring better formal verification to the masses. I have done a couple of episodes about dependent types and my...
View Article
