About: Currying

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Transforming a function in such a way that it only takes a single argument

Property	Value
dbo:description	transformació d'una funció incorporant els seus paràmetres d'un en un (ca) פונקציה המקבלת פונקציה דו מקומית ומחזירה פונקציה שמחזירה פונקציה (iw) transformace víceparametrické funkce na funkci jednoho parametru (cs) transforming a function in such a way that it only takes a single argument (en) Umwandlung einer Funktion in eine Sequenz von Funktionen mit jeweils 1 Argument (de)
dbo:wikiPageExternalLink	http://lambda-the-ultimate.org/node/2266 http://c2.com/cgi/wiki%3FCurryingSchonfinkelling
dbo:wikiPageWikiLink	dbr:Cobordism dbr:Reduced_suspension dbr:Suspension_(topology) dbr:Classical_logic dbr:Gottlob_Frege dbr:Closure_(computer_programming) dbr:Category_theory dbc:Higher-order_functions dbr:Smn_theorem dbr:Monoidal_category dbc:Lambda_calculus dbr:Lambda_calculus dbr:Mathematical_object dbr:Lattice_(order) dbr:F_Sharp_(programming_language) dbr:Homotopy_class dbr:Tor_functor dbr:Cofibration dbr:Cartesian_closed_category dbr:Compactly_generated_space dbr:Loop_space dbr:Function_(mathematics) dbr:Real_number dbr:Set_theory dbr:String_theory dbr:Set_(mathematics) dbr:Vector_space dbr:Type_constructor dbr:Code_refactoring dbr:Operator_associativity dbr:Homeomorphism dbr:Fibration dbr:Type_system dbr:Type_theory dbr:If_and_only_if dbr:Heyting_algebra dbr:Tensor_product dbr:David_Turner_(computer_scientist) dbr:Function_type dbr:Fundamental_Concepts_in_Programming_Languages dbr:Homotopy dbr:Product_(mathematics) dbr:Function_space dbr:Final_topology dbr:Universal_property dbr:Category_of_sets dbr:Tensor-hom_adjunction dbr:Material_implication_(rule_of_inference) dbc:Articles_with_example_Java_code dbr:Mathematics dbr:Quantum_mechanics dbr:Mapping_cone_(topology) dbr:Duality_(mathematics) dbr:Functional_programming_language dbr:Ordered_pair dbr:Algebraic_topology dbr:Domain_theory dbr:Quantum_logic dbr:Arity dbr:Exact_sequence dbr:Linear_logic dbr:Denotational_semantics dbr:Product_type dbr:Mathematical_analysis dbr:Programming_language dbr:Isomorphism dbr:Homological_algebra dbr:Lazy_evaluation dbr:Cartesian_product dbr:Topological_space dbr:Theoretical_computer_science dbr:Closed_category dbr:Closed_monoidal_category dbr:Lift_(mathematics) dbr:Computer_science dbr:Christopher_Strachey dbr:Haskell_Curry dbr:Adjoint_functors dbr:Functional_analysis dbr:Hilbert_space dbr:Scheme_(programming_language) dbr:John_C._Reynolds dbr:Partial_application dbr:Moses_Schönfinkel dbr:Ext_functor dbr:Category_of_topological_spaces dbr:Puppe_sequence dbr:Material_conditional dbr:Homotopy_theory dbr:Partially_ordered_set dbr:Portland_Pattern_Repository dbr:Compact-open_topology dbr:Apply dbr:Function_application dbr:Boolean_algebra dbr:Continuous_function dbr:Bijection dbr:Tuple dbr:Product_(category_theory) dbr:Natural_transformation dbr:ML_(programming_language) dbr:Simply_typed_lambda_calculus dbr:Defunctionalization dbc:Functional_programming dbr:Computer_programming dbr:Eval dbr:Curry–Howard_correspondence dbr:Hom_functor dbr:Homotopy_type_theory dbr:Complete_partial_order dbr:Exponential_object dbr:Eckmann–Hilton_duality dbr:Order_theory dbr:Quantum_computation dbr:Haskell_(programming_language) dbr:Sober_space dbr:Exponential_notation dbr:Linear_type_system dbr:Monoidal_categories dbr:Morphism_(category_theory) dbr:LISP dbr:Math._Ann. dbr:Adjoint_functor dbr:Adjunction_(category_theory) dbr:Simply-typed_lambda_calculus dbr:Natural_equivalence dbr:Internal_Hom dbr:Internal_language dbr:Entangled_quantum_states dbr:Closure_(computer_science) dbr:Long_exact_sequence dbr:Parameter_(computer_science) dbr:CaML dbr:Locally_compact_Hausdorff dbr:Scott_topology dbr:Synchronization_primitive dbr:Right-associative
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Wiktionary dbt:About dbt:Haskell_Curry dbt:Design_patterns dbt:Main_article dbt:Rp dbt:Subsup dbt:Short_description
dct:subject	dbc:Higher-order_functions dbc:Lambda_calculus dbc:Articles_with_example_Java_code dbc:Functional_programming
gold:hypernym	dbr:Technique
rdfs:label	Currying (en) Currificació (ca) Currying (de) Curryfication (fr) Currificación (es) Applicazione parziale (it) カリー化 (ja) 커링 (ko) Currying (pt) Currying (pl) Каррирование (ru) Каррінг (інформатика) (uk) 柯里化 (zh)
owl:sameAs	freebase:Currying yago-res:Currying wikidata:Currying dbpedia-it:Currying dbpedia-de:Currying dbpedia-fr:Currying dbpedia-zh:Currying dbpedia-ja:Currying dbpedia-pt:Currying dbpedia-he:Currying dbpedia-es:Currying dbpedia-ru:Currying dbpedia-pl:Currying dbpedia-ko:Currying dbpedia-ca:Currying dbpedia-simple:Currying dbpedia-uk:Currying dbpedia-global:Currying dbr:Currying
prov:wasDerivedFrom	wikipedia-en:Currying?oldid=1294880920&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Currying
is dbo:knownFor of	dbr:Haskell_Curry dbr:Moses_Schönfinkel
is dbo:notableIdea of	dbr:Gottlob_Frege__Gottlob_Frege__1
is dbo:wikiPageDisambiguates of	dbr:Curry_(disambiguation)
is dbo:wikiPageRedirects of	dbr:Curried dbr:Curried_form dbr:Curried_function dbr:Curry_(programming) dbr:Curry_function dbr:Curryfication dbr:Currying_concept dbr:Function_currying dbr:Uncurry dbr:Uncurrying dbr:Schoenfinkelisation dbr:Schonfinkelisation dbr:Schönfinkeling dbr:Schönfinkelisation dbr:Schönfinkelization dbr:Schönfinkelling
is dbo:wikiPageWikiLink of	dbr:Bilinear_form dbr:List_of_examples_of_Stigler's_law dbr:List_of_functional_programming_topics dbr:Left_and_right_(algebra) dbr:Suspension_(topology) dbr:Functional_programming dbr:Gottlob_Frege dbr:Closure_(computer_programming) dbr:Polish_notation dbr:Magma_(algebra) dbr:Operand dbr:Builder_pattern dbr:Caml dbr:Smn_theorem dbr:Lambda_calculus dbr:Standard_ML dbr:F_Sharp_(programming_language) dbr:New_Foundations dbr:Eiffel_(programming_language) dbr:Map_(higher-order_function) dbr:Cartesian_closed_category dbr:Function_object dbr:Loop_space dbr:SuperCollider dbr:Exponentiation dbr:Haskell_features dbr:Prolog dbr:Categorical_abstract_machine dbr:Type_constructor dbr:Curry_(disambiguation) dbr:D_(programming_language) dbr:Clean_(programming_language) dbr:Function_composition_(computer_science) dbr:Function_type dbr:Scott_continuity dbr:Tensor-hom_adjunction dbr:Mapping_cone_(topology) dbr:FAUST_(programming_language) dbr:Parameter dbr:Parameter_(computer_programming) dbr:Exportation_(logic) dbr:Anonymous_function dbr:Unlambda dbr:Arity dbr:Type_signature dbr:Conditional_(computer_programming) dbr:Ternary_conditional_operator dbr:Deterministic_finite_automaton dbr:Primitive_recursive_functional dbr:Lazy_evaluation dbr:Associative_property dbr:Intuitionistic_logic dbr:Law_(stochastic_processes) dbr:Probabilistic_automaton dbr:Apache_Groovy dbr:Closed_monoidal_category dbr:Functional_decomposition dbr:Lodash dbr:Christopher_Strachey dbr:Haskell_Curry dbr:Adjoint_functors dbr:Scheme_(programming_language) dbr:Partial_application dbr:Moses_Schönfinkel dbr:Cyclic_order dbr:Higher-order_function dbr:Homotopy_extension_property dbr:Scala_(programming_language) dbr:Apply dbr:Function_application dbr:POP-2 dbr:Boo_(programming_language) dbr:ML_(programming_language) dbr:Simply_typed_lambda_calculus dbr:Derivative dbr:Binary_function dbr:Eval dbr:Miranda_(programming_language) dbr:Curry–Howard_correspondence dbr:ALGOL_68 dbr:Hom_functor dbr:Deduction_theorem dbr:Exponential_object dbr:Eckmann–Hilton_duality dbr:Kind_(type_theory) dbr:List_of_types_of_functions dbr:Constructive_set_theory dbr:List_of_eponyms_(A–K) dbr:Import–export_(logic) dbr:Semigroup_action dbr:Anonymous_recursion dbr:Flix_(programming_language) dbr:Wolfram_Language dbr:Schönfinkel dbr:Bread_and_Ink_Cafe dbr:Curried dbr:Curried_form dbr:Curried_function dbr:Curry_(programming) dbr:Curry_function dbr:Curryfication dbr:Currying_concept dbr:Function_currying dbr:Uncurry dbr:Uncurrying dbr:Schoenfinkelisation dbr:Schonfinkelisation dbr:Schönfinkeling dbr:Schönfinkelisation dbr:Schönfinkelization dbr:Schönfinkelling
is dbp:knownFor of	dbr:Haskell_Curry dbr:Moses_Schönfinkel
is dbp:notableIdeas of	dbr:Gottlob_Frege
is foaf:primaryTopic of	wikipedia-en:Currying