Statements (59)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Logic
|
| gptkbp:allows |
function composition
|
| gptkbp:are |
a basis for functional programming paradigms
a basis for many programming languages a form of abstraction a foundational concept in type systems a key concept in theoretical computer science a method for defining functions a method for function application a method for reasoning about programs a part of combinatorial logic a part of the history of programming languages a subject of research in computer science a subject of study in mathematical logic a tool for abstraction in programming a tool for functional abstraction a tool for reasoning about functions a way to express computations without variables a way to express higher-order functions foundational in functional programming languages non-typed statements in combinatory logic used in programming language design used in type theory a part of the foundation of modern programming languages |
| gptkbp:can_be_combined_with |
other combinators
|
| gptkbp:can_be_used_to |
analyze algorithms
model computation develop algorithms create compilers create domain-specific languages create interpreters create new combinators define control structures define semantics of programming languages eliminate variables implement functional languages implement lazy evaluation implement recursion implement type inference optimize code study computational complexity transform expressions |
| gptkbp:consists_of |
combinators
|
| gptkbp:developed_by |
gptkb:Haskell_Curry
|
| gptkbp:enables |
point-free style
|
| https://www.w3.org/2000/01/rdf-schema#label |
Curry's combinators
|
| gptkbp:include |
gptkb:K_combinator
S combinator |
| gptkbp:influence |
gptkb:computer_science
|
| gptkbp:is_represented_in |
lambda expressions
|
| gptkbp:named_after |
gptkb:Haskell_Curry
|
| gptkbp:provides |
higher-order functions
|
| gptkbp:related_to |
lambda calculus
|
| gptkbp:represents |
any computable function
|
| gptkbp:simplify |
function application
|
| gptkbp:used_in |
functional programming
|
| gptkbp:bfsParent |
gptkb:Haskell_Curry
|
| gptkbp:bfsLayer |
6
|