List of functional programming topics
This is a list of functional programming topics.
Foundational concepts
- Programming paradigm
- Declarative programming
- Programs as mathematical objects
- Function-level programming
- Purely functional programming
- Total functional programming
- Lambda programming
- Static scoping
- Higher-order function
- Referential transparency
Lambda calculus
- Currying
- Lambda abstraction
- Church–Rosser theorem
- Extensionality
- Church numeral
Combinatory logic
- Fixed point combinator
- SKI combinator calculus
- B, C, K, W system
- SECD machine
- Graph reduction machine
Intuitionistic logic
Type theory
- Typed lambda calculus
- Typed and untyped languages
- Type signature
- Type inference
- Datatype
- Algebraic data type (generalized)
- Type variable
- First-class value
- Polymorphism
- Calculus of constructions
Denotational semantics
Category theory
Operational issues
- Graph reduction
- Combinator graph reduction
- Strict programming language
- Lazy evaluation, eager evaluation
- Speculative evaluation
- Side effect
- Assignment
- Setq
- Closure
- Continuation
- Continuation passing style
- Operational semantics
- State transition system
- Simulation preorder
- Bisimulation
- Monads in functional programming
- Exception handling
- Garbage collection
Programming languages
- Abstract rewriting machine
- Clean
- Clojure
- Elixir
- Erlang
- FP
- F#
- Haskell
- ISWIM
- JavaScript
- Kent Recursive Calculator
- Kogut
- Lisp
- Mercury
- Miranda
- ML (Category:ML programming language family)
- Mythryl
- OCaml
- Standard ML
- Pure, predecessor Q
- Q (programming language from Kx Systems)
- Quantum programming
- Scala
- SISAL
- Ωmega
gollark: If anyone wants, I can dial us a connection back to esolangs 1 <#800373244162867234>.
gollark: Think about it. Macros. Universal function call syntax. That's actually about it.
gollark: <@319753218592866315> What if Nim was Macron?
gollark: I don't know how linkers work, ask gibsoid.
gollark: Do so?
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.