Track 1: Dev + Web (18:00 - 18:45)

Dawid Furman: "¿Por qué tipos de dato algebraicos?"

Cómo se puede utilizar operadores matemáticos básicos para evaluar una prueba de mis datos. Vamos a ver y contar un par de ADT en Scala, Haskell y ...

Descripción

ADT (Algebraic Data Type) y álgebra con isomorfismo de Curry-Howard, Philip Wadler (co-autor de "Generic in Java" y gran personaje dentro del mundo de la programación funcional).

Público objetivo

Todo el mundo, especialmente desarrolladores de software y/o cualquier persona interesada en la programación funcional.

Ponente(s)

Dawid Furman