Ingresar:

Juan Jose Olivera :: Blog :: Resumen de la Charla de S. Peyton Jones sobre Type-Driven Testing en Haskell

March 27, 2008

En Jottings on Software pueden encontrar el resumen. 

Está tambien el video, pero lastimosamente por el momento no esta funcionando el sitio, esperemos lo arreglen pronto.

 

Palabras clave: aplicaciones en Haskell, Haskell, test, types

Enviado por Juan Jose Olivera



Comentarios

  1. Los puntos importantes de la charla según el enlace enviado:

    • Future of programming will be about “Control of (Side) Effects” (1)
    • Programming languages will become more functional than imperative (2)
    • Purity is good for understanding, verification, maintenance, (3)
    • Purity pays back in performance, parallelism, testing (4)
    • Functional/value-oriented is easier to test than object-oriented stateful (5)
    • Functional is good for generating tests (domain-specific language) (6)

    user iconPablo Azero on Friday, 28 March 2008, 07:58 BOT # |

Debes iniciar sesión para enviar un comentario.