Search


	Podcast:		CoRecursive w/ Adam Bell
	Episode:		015 - Dependant Types in Haskell with Stephanie Weirich
	Category:		Technology
	Duration:		00:58:44
	Publish Date:		2018-06-12 23:00:00
	Description:		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. Yet key look up in the dictionary was validated at compile time. It was a compile time error to access elements that didn't exist. Also the dictionary was heterogeneous, the elements had different types, and it was all inferred and validated at compile time. What I was seeing was Dependant types in Haskell. In todays interview Stephanie Weirich explains her efforts to make haskell have dependant types and how that example worked. Shows Notes: https://www.cis.upenn.edu/~sweirich/ https://github.com/sweirich https://twitter.com/fancytypes?lang=en Dependant Types Regex
	Total Play:		0