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
|