Catégorie:Programmation fonctionnelle

• Programmation fonctionnelle

A

• Anamorphisme
• Architecture Dataflow

C

• Catamorphisme
• Coinduction
• Combinateur d'analyseurs
• Curryfication

D

• Design génératif

E

• Évaluation paresseuse

F

• F-coalgèbre
• Filtrage par motif
• Flèches dans la programmation fonctionnelle
• Fonction 91 de McCarthy
• Fonction anonyme
• Fonction d'ordre supérieur
• Fonction de Takeuchi
• Fonction pure

G

• Garde (informatique)
• GNU Guix

I

• Interprétation de Brouwer-Heyting-Kolmogorov
• ISWIM

J

• Simon Peyton Jones
• Journal of Functional Programming

L

• Lambda-calcul
• Peter J. Landin
• Xavier Leroy

M

• Machine de Krivine
• Machine SECD
• Monade (informatique)

N

• Nix (gestionnaire de paquets)

P

• Paramorphisme
• Polymorphisme (informatique)
• Programmation purement fonctionnelle
• Purement fonctionnel
• PureScript

S

• Stratégie d'évaluation (informatique)
• Structure de données persistante
• Substitution explicite

T

• Théorie des langages de programmation
• Transparence référentielle
• Type algébrique de données
• Type algébrique généralisé
• Type produit
• Type somme

W

• Philip Wadler
• Wolfram Language