Reseña: How functional programming mattered

Se ha publicado un artículo sobre el estado de la programación funcional titulado How functional programming mattered

Sus autores son

Su resumen es

In 1989 when functional programming was still considered a niche topic, Hughes wrote a visionary paper arguing convincingly “why functional programming matters“. More than two decades have passed. Has functional programming really mattered? Our answer is a resounding “Yes!”. Functional programming is now at the forefront of a new generation of programming technologies, and enjoying increasing popularity and influence. In this paper, we review the impact of functional programming, focusing on how it has changed the way we may construct programs, the way we may verify programs, and fundamentally the way we may think about programs.

El trabajo se ha publicado en National Science Review.

I1M2014: Demostración de propiedades de programas por inducción sobre árboles

En la segunda parte de la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentado las soluciones a los ejercicios de la relación 40 sobre demostración de propiedades de programas por inducción sobre árboles.

Los ejercicios y su solución se muestran a continuación
Read More “I1M2014: Demostración de propiedades de programas por inducción sobre árboles”

I1M2014: Demostración de propiedades por inducción sobre números y listas

En la primera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentado las soluciones a los ejercicios de la relación 39 sobre demostración de propiedades por inducción sobre números y listas

Los ejercicios y su solución se muestran a continuación
Read More “I1M2014: Demostración de propiedades por inducción sobre números y listas”

I1M2014: Razonamiento sobre programas

En la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado cómo demostrar propiedades de funciones definidas en Haskell. Los esquemas de demostración estudiados son:

  • por simplificación,
  • por casos,
  • por inducción sobre los números naturales,
  • por inducción sobre listas,
  • por inducción anidada y
  • por generalización e inducción.

Las transparencias usadas en la clase son las del tema 8
Read More “I1M2014: Razonamiento sobre programas”