Category:Functional programming

C

• Combinatory logic‎ (1 C, 9 P)

D

• Dependently typed programming‎ (1 C, 13 P)

F

• Functional data structures‎ (7 P)
• Functional languages‎ (8 C, 129 P)

H

• Higher-order functions‎ (12 P)

I

• Implementation of functional programming languages‎ (2 C, 19 P)

L

• Lambda calculus‎ (2 C, 54 P)

• Functional programming
• List of functional programming languages
• List of functional programming topics
• Purely functional programming

A

• A-normal form
• Actant
• Algebraic data type
• Anonymous function
• Append
• Applicative functor
• Apply
• Arrow (computer science)

B

• Brouwer–Heyting–Kolmogorov interpretation

C

• Catamorphism
• Coinduction
• Cons
• Constructed product result analysis
• Continuation-passing style
• Corecursion
• Currying

D

• Direct function

F

• F-algebra
• First-class function
• Frenetic (programming language)
• Functional logic programming
• Functional reactive programming
• Functor (functional programming)

G

• Generalized algebraic data type
• Software:GNU Guix
• Software:GNU Guix System
• Graph reduction machine

H

• Higher-order function
• Biography:Paul Hudak

I

• Immutable object
• Initial algebra
• International Conference on Functional Programming
• Iteratee

J

• Journal of Functional Programming

L

• Software:Lout

M

• Biography:Erik Meijer (computer scientist)
• Monad (functional programming)
• Monad transformer

N

• Software:Nix (package manager)
• Software:Nix package manager

O

• Option type

P

• Parser combinator
• Partial application
• Pattern matching
• Biography:Simon Peyton Jones
• Polymorphism (computer science)
• Pure function
• Purely functional data structure

R

• Regular number
• Result type

S

• Biography:John M. Scholes
• Software:SequenceL
• Side effect (computer science)
• Skew binary number system
• Store-passing style
• Stream (abstract data type)
• Stream (computer science)
• Supercombinator
• System F-sub

T

• Thunk
• Software:TidalCycles
• Total functional programming
• Type class
• Type family
• Type variable

W

• Biography:Philip Wadler

Z

• Zipper (data structure)