Início Apresentações Theorems for Free, Blame for All
Theorems for Free, Blame for All
Resumo
A magic trick: Give me the type of a function and I will tell you a theorem that it satisfies, even though I know nothing about the function's definition other than its type. It is even possible to write the function in a dynamically typed language, such as JavaScript, and impose the type later in a way that ensures it will still satisfy the corresponding theorem. This talk explains the magic.
Minibiografia
Philip is a principal designer of Haskell, contributing to its two main innovations: type classes and monads. He also co-created GJ, the main basis for the original Java generics. He's co-author of 'Introduction to Functional Programming' (Prentice Hall), and "Generics and Collections in Java" (O'Reilly).
Sobre o Evento
Entre 24 e 26 de abril, São Paulo recebeu a décima edição brasileira do QCon. Organizado pelo InfoQ Brasil e com palestras selecionadas por um comitê independente, esta edição contou com 3 keynotes, 81 palestras e 93 palestrantes, sendo 19 internacionais. Esse foi o QCon mais internacional do Brasil, o que levou o QCon São Paulo ao patamar dos maiores QCons mundiais.