Esta es una lista de temas de programación funcional .
Conceptos fundamentales
Cálculo lambda
Lógica combinatoria
Lógica intuicionista
teoría de tipos
semántica denotacional
Teoría de categorías
Problemas operativos
- Reducción de gráficos
- Lenguaje de programación estricto
- Evaluación perezosa , evaluación entusiasta
- Evaluación especulativa
- Efecto secundario
- Asignación
- 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
- Recogida de basura
Lenguajes de programación
- Limpio
- Clojure
- Elixir
- Erlang
- FP
- F#
- Haskell
- ISWIM
- JavaScript
- Calculadora recursiva de Kent
- Ceceo
- Mercurio
- Miranda
- ML ( Categoría:Familia de lenguajes de programación ML )
- Puro, predecesor Q
- Q (lenguaje de programación de Kx Systems)
- Programación cuántica
- Scala
- SISAL
- Ωmega
Categorías :
- Programación funcional
- Listas relacionadas con la informática
- Esquemas de informática e ingeniería
- Esquemas