007 - Total Programming Using Swift with Andre Videla
CoRecursive: Coding Stories - Ein Podcast von Adam Gordon Bell - Software Developer
Kategorien:
In this interview Andre Videla discusses how the swift program language encourages programming in a total style. He also discusses his love of Idris, proof assistants and how his research into haskell, idris and dependant types have made him a better swift programmer.
