In mathematics and computer science, currying, invented by Moses Schönfinkel and later re-invented by Haskell Curry, is the technique of transforming a function that takes multiple arguments (or more accurately an n-tuple as argument) in such a way that it can be called as a chain of functions each with a single argument.

PropertyValue
dbpprop:abstract
  • In mathematics and computer science, currying, invented by Moses Schönfinkel and later re-invented by Haskell Curry, is the technique of transforming a function that takes multiple arguments (or more accurately an n-tuple as argument) in such a way that it can be called as a chain of functions each with a single argument.
  • Currying ist die Umwandlung einer Funktion mit mehreren Argumenten in mehrere Funktionen mit je einem Argument. Obwohl das Verfahren von Moses Schönfinkel und Gottlob Frege erfunden wurde, ist es nach Haskell Brooks Curry benannt.
  • En tecnologies de la informació currificar és una tècnica, inventada per Moses Schönfinkel i Gottlob Frege, i de manera independent per Haskell Curry, que consisteix en 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. f (a b c)= (b) c A partir d'una expressió podem obtenir una funció si escapcem el darrer paràmetre. Per exemple (3+) és una funció obtinguda retallant el segon terme d'una suma.
  • En la ciencia de la computación, currificar, inventada por Moses Schönfinkel y Gottlob Frege, es la técnica que consiste en transformar una función que utiliza múltiples argumentos (o más específicamente una n-tupla como argumento) en una función que utiliza un único argumento.
  • En programmation fonctionnelle, la curryfication désigne l'opération qui fait passer d'une fonction à plusieurs arguments à une fonction à un argument et qui retourne une fonction qui prend le reste des arguments. L'opération inverse est évidemment possible. La curryfication permet de créer des fonctions pures. Le terme vient du nom du mathématicien américain Haskell Curry.
  • 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.
  • カリー化（currying）とは、計算機科学分野の技法の一つ。複数の引数をとる関数を、引数が「もとの関数の最初の引数」で戻り値が「もとの関数の残りの引数を取り結果を返す関数」であるような関数にすること。この技法は、Christopher Stracheyにより論理学者ハスケル・カリーに因んで名付けられたが、実際に考案したのはMoses Schönfinkelとゴットロープ・フレーゲである。 関数 f が f:(X×Y)→Z の形のとき、f をカリー化したものを g とすると、g は f:X→(Y→Z) の形を取る。非カリー化（uncurrying）とは、これの逆の変換である。 カリー化とは直感的には「引数を幾つか固定すると、残った引数の関数が得られる」ということである。たとえば、除算の関数 div(x, y) = x / y をカリー化したものをcdivとし、inv=cdiv(1) とすると、inv は新しい関数となり、inv(y) = 1 / y 、つまり引数の逆数を返す関数になる。 理論計算機科学の分野では、カリー化を利用すると、複数の引数をとる関数を、一つの引数のみを取る複数の関数のラムダ計算などの単純な理論的モデルと見なして研究できるようになる。圏論では、カリー化の概念を冪対象の普遍性に見出せる。適当な2つの対象の積から別の対象への射 f: X × Y → Z に対して、射 g: X → Z が一意に対応する。 カリー化をする現実の動機は、関数に引数を一部だけ渡して新たな関数を作るのが便利な場合がとてもよくあるからである。たとえば、二つの引数を取る+関数の最初の引数を1にしてカリー化を行えば、インクリメント用の関数が簡単に作れる。 カリー化を基盤としているプログラミング言語もある。特にMLとHaskellでは関数は常に一つの引数のみを取り、複数の引数を取る関数とは、単にネストされた複数の一引数関数の糖衣構文にすぎない。関数をfirst-class objectとして扱える言語、たとえばLISP、Scheme、Scala、Erlang、Eiffel、Perl、Ruby、Python、R言語、S言語、JavaScript、Groovyなどでは、カリー化関数を作ることができる。
  • Currying jest to 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ę uncurryingu. Podstawą dla tej operacji jest ugruntowanie systemu typów w językach funkcyjnych na rachunku lambda z typami. Taki rachunek na mocy izomorfizmu Curry'ego-Howarda jest równoważny pewnej logice intuicjonistycznej, a zatem operacja ta odpowiada tautologii logiki intuicjonistycznej: (→ r) ↔ (p →). Nazwa została zaproponowana przez Christophera Strachey'a w 1967 roku, jako nawiązanie do nazwiska logika Haskella Curry'ego.
  • 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 Christopher Strachey em 1967, o nome é uma referência ao matemático Haskell Curry.
  • В компьютерных науках, каррирование или карринг, введенное М. Шейнфинкелем и Г. Фреге, является преобразованием функции от пары аргументов в функцию, берущую свои аргументы по одному. Это преобразование получило свое название в честь Х. Карри.
  • 在计算机科学中，Curry化是把接受多个参数的函数变换成接受一个单一参数（最初函数的第一个参数）的函数，并且返回接受余下的参数而且返回结果的新函数的技术。这个技术由 Christopher Strachey 以逻辑学家 Haskell Curry 命名的，尽管它是 Moses Schönfinkel 和 Gottlob Frege 发明的。 在直觉上，Curry化声称「如果你固定某些参数，你将得到接受余下参数的一个函数」。所以对于有两个变量的函数<math>y^x</math>，如果固定了 <math>y=2</math>，则得到有一个变量的函数 <math>2^x</math>。 在理论计算机科学中，Curry化提供了在简单的理论模型中比如只接受一个单一参数的lambda 演算中研究带有多个参数的函数的方式。
dbpprop:hasPhotoCollection
dbpprop:p
  • 8 (xsd:integer)
dbpprop:reference
dbpprop:wikiPageUsesTemplate
rdfs:comment
  • In mathematics and computer science, currying, invented by Moses Schönfinkel and later re-invented by Haskell Curry, is the technique of transforming a function that takes multiple arguments (or more accurately an n-tuple as argument) in such a way that it can be called as a chain of functions each with a single argument.
  • Currying ist die Umwandlung einer Funktion mit mehreren Argumenten in mehrere Funktionen mit je einem Argument. Obwohl das Verfahren von Moses Schönfinkel und Gottlob Frege erfunden wurde, ist es nach Haskell Brooks Curry benannt.
  • En tecnologies de la informació currificar és una tècnica, inventada per Moses Schönfinkel i Gottlob Frege, i de manera independent per Haskell Curry, que consisteix en 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. f (a b c)= (b) c A partir d'una expressió podem obtenir una funció si escapcem el darrer paràmetre.
  • En la ciencia de la computación, currificar, inventada por Moses Schönfinkel y Gottlob Frege, es la técnica que consiste en transformar una función que utiliza múltiples argumentos (o más específicamente una n-tupla como argumento) en una función que utiliza un único argumento.
  • En programmation fonctionnelle, la curryfication désigne l'opération qui fait passer d'une fonction à plusieurs arguments à une fonction à un argument et qui retourne une fonction qui prend le reste des arguments. L'opération inverse est évidemment possible. La curryfication permet de créer des fonctions pures. Le terme vient du nom du mathématicien américain Haskell Curry.
  • 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.
  • Currying jest to 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ę uncurryingu. Podstawą dla tej operacji jest ugruntowanie systemu typów w językach funkcyjnych na rachunku lambda z typami.
  • 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 Christopher Strachey em 1967, o nome é uma referência ao matemático Haskell Curry.
  • В компьютерных науках, каррирование или карринг, введенное М. Шейнфинкелем и Г. Фреге, является преобразованием функции от пары аргументов в функцию, берущую свои аргументы по одному. Это преобразование получило свое название в честь Х. Карри.
rdfs:label
  • Currying
  • Currying
  • Currificació
  • Currificación
  • Curryfication
  • Applicazione parziale
  • カリー化
  • Currying
  • Currying
  • Каррирование
  • 柯里化
owl:sameAs
skos:subject
foaf:page
is dbpprop:redirect of