About: Currying     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:MathematicalRelation113783581, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FCurrying

In mathematics and computer science, currying is the technique of converting a function that takes multiple arguments into a sequence of functions that each take a single argument. For example, currying a function that takes three arguments creates three functions: Or more abstractly, a function that takes two arguments, one from and one from , and produces outputs in by currying is translated into a function that takes a single argument from and produces as outputs functions from to Currying is related to, but not the same as, partial application.

AttributesValues
rdf:type
rdfs:label
  • Currificació
  • Currying
  • Currying
  • Currificación
  • Curryfication
  • Applicazione parziale
  • 커링
  • Currying
  • Currying
  • Каррирование
  • Каррінг (інформатика)
  • 柯里化
rdfs:comment
  • Currying (vor allem in der Linguistik auch Schönfinkeln) ist die Umwandlung einer Funktion mit mehreren Argumenten in eine Sequenz von Funktionen mit jeweils einem Argument. Obwohl das Verfahren 1928 von Moses Schönfinkel erfunden und von Gottlob Frege um 1900 vorausgedacht wurde, wird es oft nach Haskell Brooks Curry benannt, der das Verfahren 1958 umfangreich theoretisch ausgearbeitet hat.
  • En la ciencia de la computación, currificar es la técnica inventada por y Gottlob Frege que consiste en transformar una función que utiliza múltiples argumentos (o más específicamente una n-tupla como argumento) en una secuencia de funciones que utilizan un único argumento. (Eso es la operación inversa a la composición de funciones en matemáticas).
  • In matematica e informatica si definisce applicazione parziale di una funzione l'applicazione di una funzione a una parte dei suoi argomenti. A rigore questa operazione dovrebbe essere "proibita", in quanto una funzione per essere definita deve essere applicata a tutti i suoi argomenti. In realtà ci sono diversi linguaggi di programmazione che consentono di farlo, restituendo un risultato utilizzabile, e anche nell'ambito della matematica è possibile dare un senso ad una espressione in cui una funzione sia applicata ad una parte dei suoi argomenti.
  • En informatique, plus précisément en programmation fonctionnelle, la curryfication est la transformation d'une fonction à plusieurs arguments en une fonction à un argument qui retourne une fonction sur le reste des arguments. La curryfication permet de créer des fonctions pures. L'opération inverse est possible et s'appelle la décurryfication. Le terme vient du nom du mathématicien américain Haskell Curry, bien que cette opération ait été introduite pour la première fois par Moses Schönfinkel.
  • 수학과 컴퓨터 과학에서 커링이란 다중 인수 (혹은 여러 인수의 튜플)을 갖는 함수를 단일 인수를 갖는 함수들의 함수열로 바꾸는 것을 말한다. 모지즈 쇤핑클에 의해 도입되었고, 이후 해스켈 커리에 의해 발전하였다. 언커링(uncurrying)은 커링의 듀얼 트랜스포메이션이다.
  • Em ciência da computação, currying é uma técnica de transformação de uma função que recebe múltiplos parâmetros (mais especificamente, uma n-tupla como parâmetro) de forma que ela pode ser chamada como uma cadeia de funções que recebem somente um parâmetro cada. Foi inventada por Moses Schönfinkel e Gottlob Frege, e independentemente por Haskell Curry. Cunhado por em 1967, o nome é uma referência ao matemático Haskell Curry.
  • Каррирование (от англ. currying, иногда — карринг) — преобразование функции от многих аргументов в набор функций, каждая из которых является функцией от одного аргумента. Возможность такого преобразования впервые отмечена в трудах Готтлоба Фреге, систематически изучена Моисеем Шейнфинкелем в 1920-е годы, а наименование получило по имени Хаскелла Карри — разработчика комбинаторной логики, в которой сведение к функциям одного аргумента носит основополагающий характер.
  • 在计算机科学中,柯里化(英語:Currying),又译为卡瑞化或加里化,是把接受多个参数的函数变换成接受一个单一参数(最初函数的第一个参数)的函数,并且返回接受余下的参数而且返回结果的新函数的技术。这个技术由克里斯托弗·斯特雷奇以逻辑学家哈斯凱爾·加里命名的,尽管它是和戈特洛布·弗雷格发明的。 在直觉上,柯里化声称「如果你固定某些参数,你将得到接受余下参数的一个函数」。所以对于有两个变量的函数,如果固定了,则得到有一个变量的函数。 在理论计算机科学中,柯里化提供了在简单的理论模型中,比如:只接受一个单一参数的lambda演算中,研究带有多个参数的函数的方式。 函数柯里化的对偶是Uncurrying,一种使用匿名单参数函数来实现多参数函数的方法。例如: var foo = function(a) { return function(b) { return a * a + b * b; }} 这样调用上述函数:(foo(3))(4),或直接foo(3)(4)。
  • Каррування або каррінг (англ. currying) в інформатиці — метод обчислення функції від багатьох аргументів, перетворенням її в послідовність функцій одного аргумента.Це перетворення було введено Мойсеєм Шейнфінкелем і отримало свою назву від свого поширювача, Гаскеля Каррі. Операція каррування є функцією вищого порядку, оскільки, вона приймає і повертає функцію. Карровані функції можуть використовуватись у всіх мовах програмування, що підтримують замикання. Хоча не карровані функції обчислюються швидше, оскільки не потребують часткового застосування та створення замикання.
  • En tecnologies de la informació currificar és una tècnica, inventada per Schönfinkel i Gottlob Frege, i de manera independent per Haskell Curry, que consisteix a transformar una funció amb més d'un paràmetre en una composició de funcions que incorporen progressivament, d'un en un, els paràmetres de partida. Per qualsevol funció de n elements amb dominis D1 a Dn que retorna un valor en el domini Dr: f: D1 x D2 x ... x Dn → Dr hi ha una funció currificada equivalent curry f: D1 → (D2 → ... →(Dn →Dr))
  • In mathematics and computer science, currying is the technique of converting a function that takes multiple arguments into a sequence of functions that each take a single argument. For example, currying a function that takes three arguments creates three functions: Or more abstractly, a function that takes two arguments, one from and one from , and produces outputs in by currying is translated into a function that takes a single argument from and produces as outputs functions from to Currying is related to, but not the same as, partial application.
  • Rozwijanie funkcji (ang. currying) - operacja w funkcyjnych językach programowania polegająca na przekształceniu funkcji, która pobiera parę argumentów i zwraca wynik () w funkcję, która po pobraniu argumentu zwraca funkcję, która pobiera argument i zwraca wynik (). Operacja odwrotna nosi nazwę zwijanie funkcji (ang. uncurrying). Oryginalna nazwa została zaproponowana przez w 1967 roku, jako nawiązanie do nazwiska logika Haskella Curry’ego.
foaf:isPrimaryTopicOf
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Faceted Search & Find service v1.17_git51 as of Sep 16 2020


Alternative Linked Data Documents: PivotViewer | iSPARQL | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3319 as of Dec 29 2020, on Linux (x86_64-centos_6-linux-glibc2.12), Single-Server Edition (61 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2021 OpenLink Software