Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Published on Apr 18, 2012
The theory and practicum of type inference has been around for literally decades, but it remains a tricky and needlessly dry topic, even in academic circles. This talk will delve into the glorious details and subtle implications of type inference in industrial languages like C# and Scala, as well as highly mathematical languages like Haskell. We will uncover the sordid reasons beyond some of the many unnerving quirks of modern type inference schemes, as well as the the amazing power they proffer.
Love of math is not a prerequisite, though utter dread of such may result in minor hallucinations during the talk. Deep-seated hatred of static typing is welcomed! The primary focus of this talk will be on Scala, Haskell and SML, but prior knowledge of these languages is neither expected nor required.