BT

Disseminando conhecimento e inovação em desenvolvimento de software corporativo.

Contribuir

Tópicos

Escolha a região

Início Apresentações Theorems for Free, Blame for All

Theorems for Free, Blame for All

Favoritos
52:30

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.

Gravado em:

06 fev 2018

Olá visitante

Você precisa cadastrar-se no InfoQ Brasil ou para enviar comentários. Há muitas vantagens em se cadastrar.

Obtenha o máximo da experiência do InfoQ Brasil.

HTML é permitido: a,b,br,blockquote,i,li,pre,u,ul,p

Comentários da comunidade

HTML é permitido: a,b,br,blockquote,i,li,pre,u,ul,p

HTML é permitido: a,b,br,blockquote,i,li,pre,u,ul,p

BT