BT
NOVIDADE: QCon São Paulo 2018, de 9 a 11 de Maio. Não perca! Em tela cheia
Fechar tela cheia

Theorems for Free, Blame for All
Gravado em:

| por Philip Wadler Seguir 2 Seguidores em 06 fev 2018 |

Para melhorar a experiência das pessoas que acessam o InfoQ Brasil, nós criamos uma série de funcionalidades que te permitem ficar pode dentro das últimas tendências e das novidades de seu interesse, sem que você seja incomodado por coisas irrelevantes. Receba e-mails periódicos e notificações sobre seus tópicos favoritos!

  • Mostrar apresentação
  •  
  •  
  •  
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.

Sponsored Content

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).

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.

Faça seu login para melhorar sua experiência com o InfoQ e ter acesso a funcionalidades exclusivas


Esqueci minha senha

Follow

Siga seus tópicos e editores favoritos

Acompanhe e seja notificados sobre as mais importantes novidades do mundo do desenvolvimento de software.

Like

Mais interação, mais personalização

Crie seu próprio feed de novidades escolhendo os tópicos e pessoas que você gostaria de acompanhar.

Notifications

Fique por dentro das novidades!

Configure as notificações e acompanhe as novidades relacionada a tópicos, conteúdos e pessoas de seu interesse

BT