BT

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

Seu cadastro no InfoQ está atualizado? Poderia rever suas informações?

Nota: se você alterar seu email, receberá uma mensagem de confirmação

Nome da empresa:
Cargo/papel na empresa:
Tamanho da empresa:
País:
Estado:
Você vai receber um email para validação do novo endereço. Esta janela pop-up fechará em instantes.