Functional Programming

GPTKB entity

Statements (52)
Predicate Object
gptkbp:instanceOf gptkb:programming_language
gptkbp:contrastsWith Object-Oriented Programming
Imperative Programming
gptkbp:emphasizes Immutability
Pure Functions
gptkbp:enables Concurrency
Parallelism
gptkbp:focusesOn Functions
https://www.w3.org/2000/01/rdf-schema#label Functional Programming
gptkbp:industry Increasing
gptkbp:influenced gptkb:Mathematics
gptkb:Lambda_Calculus
gptkbp:influencedBy gptkb:Alonzo_Church
gptkbp:originatedIn 1950s
gptkbp:prevention Side Effects
Mutable State
gptkbp:programmingLanguage gptkb:Lisp
gptkb:Clojure
gptkb:F#
gptkb:Haskell
gptkb:OCaml
gptkb:Scheme
gptkb:Erlang
gptkb:Scala
gptkbp:relatedTo gptkb:logic
gptkb:Type_Theory
gptkb:Category_Theory
gptkbp:researchInterest High
gptkbp:supports Referential Transparency
gptkbp:uses gptkb:Monads
Composition
Pattern Matching
Recursion
Functors
Combinators
Type Inference
Algebraic Data Types
Anonymous Functions
Closures
Currying
Declarative Programming
Filter Function
First-Class Functions
Fold Function
Higher-Order Functions
Lazy Evaluation
Map Function
Partial Application
Reduce Function
gptkbp:bfsParent gptkb:Monads
gptkb:FP
gptkbp:bfsLayer 6