Category:Functional programming

• Functional programming
• List of functional programming topics

A

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

B

• Brouwer–Heyting–Kolmogorov interpretation

C

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

F

• F-algebra
• First-class function
• Functional reactive programming

G

• Generalized algebraic data type
• Graph reduction machine

H

• Higher-order function

I

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

J

• Journal of Functional Programming

M

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

N

• Nix (package manager)

P

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

R

• Regular number

S

• Side effect (computer science)
• Supercombinator

T

• Thunk
• Total functional programming
• Type class
• Type variable

W

• Philip Wadler

Z

• Zipper (data structure)