Computación y programación funcional. Camilo Chacón Sartori

       6.3 Reducción eta (η)

       Capítulo 7. Aritmética

       7.1 Números

       7.2 Operaciones

       7.2.1 Sucesor

       7.2.2 Suma

       7.2.3 Multiplicación

       7.2.4 Predecesor

       7.2.5 Resta

       Capítulo 8. Condicionales

       8.1 Valor booleano

       8.2 Operadores

       8.2.1 AND

       8.2.2 OR

       8.2.3 NOT

       8.2.4 XOR

       Capítulo 9. Tuplas y listas

       9.1 Tuplas

       9.1.1 Operaciones de acceso

       9.2 Listas

       9.2.1 Append

       9.2.2 Head

       9.2.3 Tail

       9.2.4 IsEmpty

       Capítulo 10. Tipos

       10.1 Cálculo-λ tipado

       10.2 Definiciones de reglas

       10.2.1 Variable

       10.2.2 Abstracción

       10.2.3 Aplicación

       10.3 Reducción de tipo

       10.4 Una breve introducción a Haskell

       10.4.1 Funciones

       10.4.2 Listas

       10.4.3 Tuplas

       10.5 Otras características

       10.5.1 Pattern matching

       10.5.2 Guards

       Capítulo 11. Cálculo-λ como base de un lenguaje de programación real

       11.1 Diferencias e influencias

       11.1.1 Lenguajes de programación funcional

       11.2 Límites del cálculo-λ

       PARTE III PROGRAMACIÓN FUNCIONAL

       Capítulo 12. ¿Qué es la programación funcional?

       12.1 Introducción

       12.1.1 Justificaciones previas

       12.1.2 Racket

       12.1.3 Python

       12.2 Función, recursión y datos

       12.2.1 Sobre funciones

       12.2.2 Recursividad

       12.2.3 Lista

       12.3 Principales conceptos de la programación funcional

       12.3.1 Funciones puras

       12.3.2 Higher-order functions

       12.3.3 Pattern matching

       12.3.4 Lazy evaluation

       12.3.5 Transparencia referencial