Lista de temas de programación funcional

Esta es una lista de temas de programación funcional .

Conceptos fundamentales

• Paradigma de programación
• Programación declarativa
• Los programas como objetos matemáticos
• Programación a nivel de función
• Programación puramente funcional
• Programación funcional total
• Programación Lambda
• Alcance estático
• Función de orden superior
• Transparencia referencial

Cálculo lambda

• Zurra
• Abstracción lambda
• Teorema de Church-Rosser
• Extensionalidad
• Número de la iglesia

Lógica combinatoria

• Combinador de punto fijo
• Cálculo combinador SKI
• Sistema B, C, K, W
• Máquina SECD
• Máquina de reducción de gráficos

Lógica intuicionista

• Secuencial , cálculo secuencial
• Deducción natural
• Teoría de tipos intuicionista
• Interpretación de BHK
• Correspondencia entre Curry y Howard
• Lógica lineal
• Semántica del juego

Teoría de tipos

• Cálculo lambda tipificado
• Lenguajes tipificados y no tipificados
• Tipo de firma
• Inferencia de tipos
• Tipo de datos
• Tipo de datos algebraicos ( generalizados )
• Tipo variable
• Valor de primera clase
• Polimorfismo
• Cálculo de construcciones

Semántica denotacional

• Teoría de dominios
  • Orden parcial completa dirigida
  • Teorema de Knaster-Tarski

Teoría de categorías

• Categoría cartesiana cerrada
• Lema de Yoneda

Cuestiones operativas

• Reducción de gráficos
  • Reducción del gráfico combinador
• Lenguaje de programación estricto
• Evaluación perezosa , evaluación ansiosa
• Evaluación especulativa
• Efecto secundario
• Asignación
  • Conjunto q
• Cierre
• Continuación
• Estilo de pase de continuación
• Semántica operacional
• Sistema de transición de estados
• Pedido anticipado de simulación
• Bisimulación
• Mónadas en programación funcional
• Manejo de excepciones
• Recolección de basura

Lenguajes de programación

• Limpio
• Clojure
• Elixir
• Erlang
• FP
• F#
• Haskell
  • Compilador Glasgow Haskell
  • Recadero
  • Abrazos
  • Plantilla Haskell
• Yo nadé
• JavaScript
• Calculadora recursiva de Kent
• Ceceo
  • AutoLISP
  • Ceceo común
  • Emacs Lisp
  • Esquema
• Mercurio
• Miranda
• ML ( Categoría: Familia de lenguajes de programación ML )
  • OCaml
  • ML estándar
• Puro, predecesor Q
• Q (lenguaje de programación de Kx Systems)
• Programación cuántica
• Escala
• SISAL
• Ωmega