Functional Programming Glossary

A

• Abstraction in Functional Programming
• Ad Hoc Polymorphism in Functional Programming
• Algebra in Functional Programming
• Algebraic Data Type (ADT) in Functional Programming
• Algebraic Data Types in Functional Programming
• Algebraic effect handler in Functional Programming
• Algebraic Effects in Functional Programming
• Algebraic Law in Functional Programming
• Algebraic Structure in Functional Programming
• Anonymous Function in Functional Programming
• Apomorphism in Functional Programming
• Applicative Functor in Functional Programming
• Applicative in Functional Programming
• Apply in Functional Programming
• Arity in Functional Programming
• Arrow in Functional Programming
• Aspect-Oriented Programming in Functional Programming
• Associativity in Functional Programming

B

• Bifunctor in Functional Programming

C

• Category Theory in Functional Programming
• Closure in Functional Programming
• Coinduction in Functional Programming
• Combinator in Functional Programming
• Commutativity in Functional Programming
• Composable in Functional Programming
• Concurrency in Functional Programming
• Constrained type in Functional Programming
• Continuation in Functional Programming
• Continuation Monad in Functional Programming
• Continuation monad transformer in Functional Programming
• Continuation-Passing Style in Functional Programming
• Contravariant Functor in Functional Programming
• Corecursion in Functional Programming
• Corecursive in Functional Programming
• Currying in Functional Programming

D

• Data Modeling in Functional Programming
• Dataflow programming in Functional Programming
• Datatype-generic programming in Functional Programming
• DeBruijn index in Functional Programming
• Declarative Programming in Functional Programming
• Defunctionalization in Functional Programming
• Denotational semantics in Functional Programming
• Dependency Injection in Functional Programming
• Dependent Typing in Functional Programming
• Deterministic in Functional Programming
• Domain-specific embedded language in Functional Programming
• Domain-Specific Language (DSL) in Functional Programming
• Domain-Specific Language in Functional Programming
• Dynamic typing in Functional Programming

E

• Effect handler in Functional Programming
• Effect Rotation in Functional Programming
• Effect system in Functional Programming
• Evaluation strategy in Functional Programming
• Existential Quantification in Functional Programming
• Existential Type in Functional Programming
• Expression in Functional Programming

F

• F-Algebra in Functional Programming
• First-Class Function in Functional Programming
• First-Class in Functional Programming
• Fixed Point Combinator in Functional Programming
• Fixed-point combinator in Functional Programming
• Fixed-point type in Functional Programming
• Flow analysis in Functional Programming
• Flow-based programming in Functional Programming
• Fold in Functional Programming
• Free monad in Functional Programming
• Free Structure in Functional Programming
• Function application in Functional Programming
• Function composition in Functional Programming
• Function in Functional Programming
• Function object in Functional Programming
• Functional Effect in Functional Programming
• Functional interface in Functional Programming
• Functional Programming in Functional Programming
• Functional programming languages in Functional Programming
• Functional programming patterns in Functional Programming
• Functional Reactive Programming in Functional Programming
• Functional-Imperative in Functional Programming
• Functor in Functional Programming
• Fusion in Functional Programming
• Fusion law in Functional Programming

G

• GADT (Generalized Algebraic Data Type) in Functional Programming
• Generalized Algebraic Data Type (GADTs) in Functional Programming
• Generic programming in Functional Programming
• Global Reasoning in Functional Programming

H

• Higher-kinded type in Functional Programming
• Higher-Kinded Types in Functional Programming
• Higher-Order Function in Functional Programming
• Higher-Order in Functional Programming
• Higher-Order Type in Functional Programming
• Hindley-Milner Type System in Functional Programming
• Homomorphism in Functional Programming
• Hylomorphism in Functional Programming

I

• Immutability in Functional Programming
• Imperative Programming in Functional Programming
• Indexed Monad in Functional Programming
• Indirection in Functional Programming
• Interpreter pattern in Functional Programming
• Isomorphism in Functional Programming

J

• Just-in-time compilation in Functional Programming
• Just-in-time specialization in Functional Programming

K

• Kind in Functional Programming
• Kleene star in Functional Programming
• Kleisli composition in Functional Programming

L

• Lambda Calculus in Functional Programming
• Lambda in Functional Programming
• Lambda lifting in Functional Programming
• Lazy Evaluation in Functional Programming
• Lazy List in Functional Programming
• Lenses in Functional Programming
• Lifting in Functional Programming
• Linear type in Functional Programming
• Liskov Substitution Principle in Functional Programming
• Local Reasoning in Functional Programming

M

• Map in Functional Programming
• MapReduce in Functional Programming
• Memoization in Functional Programming
• Metacircular evaluator in Functional Programming
• Metaprogramming in Functional Programming
• Minimal in Functional Programming
• Modular in Functional Programming
• Monad comprehensions in Functional Programming
• Monad in Functional Programming
• Monad Transformer in Functional Programming
• Monadic parser in Functional Programming
• Monadic programming in Functional Programming
• Monoid in Functional Programming
• Monoidal category in Functional Programming
• Monomorphic in Functional Programming
• Multi-paradigm programming in Functional Programming

N

• Natural Transformation in Functional Programming
• Nominal Typing in Functional Programming
• Non-determinism in Functional Programming
• Non-Strict Evaluation in Functional Programming
• Normalization in Functional Programming

O

• Object-oriented programming in Functional Programming
• Onion Architecture in Functional Programming
• Optics in Functional Programming
• Orthogonal in Functional Programming

P

• Parallelism in Functional Programming
• Parametric Polymorphism in Functional Programming
• Parametric Reasoning in Functional Programming
• Partial Application in Functional Programming
• Partial Function in Functional Programming
• Pattern matching in Functional Programming
• Point-free programming in Functional Programming
• Point-Free Style in Functional Programming
• Pointed functor in Functional Programming
• Pointwise in Functional Programming
• Polymorphism in Functional Programming
• Prisms in Functional Programming
• Procedural Programming in Functional Programming
• Procedures in Functional Programming
• Product Type in Functional Programming
• Profunctor in Functional Programming
• Projection in Functional Programming
• Property-based Testing in Functional Programming
• Pure Function in Functional Programming
• Pure in Functional Programming
• Purely functional data structure in Functional Programming
• Purely Functional in Functional Programming
• Push-pull functional reactive programming in Functional Programming

Q

• Quantum programming in Functional Programming
• Quotient type in Functional Programming

R

• Rank-n polymorphism in Functional Programming
• Record in Functional Programming
• Recursion in Functional Programming
• Recursion scheme in Functional Programming
• Recursion Schemes in Functional Programming
• Recursive Data in Functional Programming
• Recursive Functions in Functional Programming
• Redex in Functional Programming
• Refactoring in Functional Programming
• Referential Transparency in Functional Programming
• Refinement type in Functional Programming
• Reified in Functional Programming
• Relational programming in Functional Programming
• Reverse-mode automatic differentiation in Functional Programming

S

• Semigroup in Functional Programming
• Separation of concerns in Functional Programming
• Side-Effect in Functional Programming
• State in Functional Programming
• Static type checking in Functional Programming
• Stream Processing in Functional Programming
• Strict evaluation in Functional Programming
• Strong Typing in Functional Programming
• Structural recursion in Functional Programming
• Structural Typing in Functional Programming
• Structure in Functional Programming
• Subtyping in Functional Programming
• Sum Type in Functional Programming

T

• Tagless final encoding in Functional Programming
• Tagless-Final in Functional Programming
• Tail Call Optimization in Functional Programming
• Tail recursion in Functional Programming
• Template Haskell in Functional Programming
• Thunk in Functional Programming
• Thunkification. in Functional Programming
• Total in Functional Programming
• Traversals in Functional Programming
• Type Class in Functional Programming
• Type Constructor in Functional Programming
• Type Constructors in Functional Programming
• Type in Functional Programming
• Type Inference in Functional Programming
• Type System in Functional Programming
• Type Theory in Functional Programming
• Type Variable in Functional Programming
• Typeclassopedia in Functional Programming

U

• Unit Type in Functional Programming
• Universal Quantification in Functional Programming
• Universal Type in Functional Programming

V

• Value in Functional Programming

Z

• Zipper in Functional Programming