In mathematics and computer science, currying is the technique of transforming a function that takes multiple arguments (or an n-tuple of arguments) in such a way that it can be called as a chain of functions each with a single argument. It was invented by Moses Schönfinkel and later re-invented by Haskell Curry; because of this, some say it would be more accurate to name it schönfinkeling.

PropertyValue
dbpedia-owl:abstract
  • In mathematics and computer science, currying is the technique of transforming a function that takes multiple arguments (or an n-tuple of arguments) in such a way that it can be called as a chain of functions each with a single argument. It was invented by Moses Schönfinkel and later re-invented by Haskell Curry; because of this, some say it would be more accurate to name it schönfinkeling. Uncurrying (also known as counter-currying) is the dual transformation to currying, and can be seen as a form of defunctionalization. It takes a function f(x) which returns another function g(y) as a result, and yields a new function f'(x, y) which takes a number of additional parameters and applies them to the function returned by f. The process can be iterated if necessary.
  • Currying ist die Umwandlung einer Funktion mit mehreren Argumenten in eine Funktion mit einem Argument. Obwohl das Verfahren von Moses Schönfinkel und Gottlob Frege erfunden wurde, ist es nach Haskell Brooks Curry benannt.
  • En la ciencia de la computación, currificar es la técnica inventada por Moses Schönfinkel 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 función que utiliza un único argumento.
  • 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(a, b) = c という関数 f があるときに、F(a) = g ただし、g(b) = c という関数 g が得られる関数 F を定義した場合、F は、f をカリー化したものである。 関数 f が の形のとき、 をカリー化したものを g とすると、g は の形を取る。非カリー化 (uncurrying) とは、これの逆の変換である。 カリー化とは直感的には「引数を幾つか固定すると、残った引数の関数が得られる」ということである。たとえば、除算の関数 をカリー化したものを とし、 とすると、 は新しい関数となり、、つまり引数の逆数を返す関数になる。 理論計算機科学の分野では、カリー化を利用すると、複数の引数をとる関数を、一つの引数のみを取る複数の関数のラムダ計算などの単純な理論的モデルと見なして研究できるようになる。圏論では、カリー化の概念を冪対象の普遍性に見出せる。適当な2つの対象の積から別の対象への射 に対して、射 が一意に対応する。 カリー化をする現実の動機は、関数に引数を一部だけ渡して新たな関数を作るのが便利な場合がとてもよくあるからである。たとえば、二つの引数を取る 関数の最初の引数を にしてカリー化を行えば、インクリメント用の関数が簡単に作れる。 カリー化を基盤としているプログラミング言語もある。特にMLとHaskellでは関数は常に一つの引数のみを取り、複数の引数を取る関数とは、単にネストされた複数の一引数関数の糖衣構文にすぎない。第一級関数を扱える言語、たとえばLISP、Scheme、Scala、Erlang、Eiffel、Perl、Ruby、Python、R言語、S言語、JavaScript、Groovyなどでは、カリー化関数を作ることができる。 標準C++ライブラリの も一種のカリー化と見なせる。
  • Rozwijanie funkcji - 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. 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 →). Oryginalna 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.
  • 在计算机科学中，柯里化（Template:Lang）是把接受多个参数的函数变换成接受一个单一参数（最初函数的第一个参数）的函数，并且返回接受余下的参数而且返回结果的新函数的技术。这个技术由 Christopher Strachey 以逻辑学家 哈斯凱爾·加里 命名的，尽管它是 Moses Schönfinkel 和 Gottlob Frege 发明的。 在直觉上，柯里化声称「如果你固定某些参数，你将得到接受余下参数的一个函数」。所以对于有两个变量的函数，如果固定了 ，则得到有一个变量的函数 。 在理论计算机科学中，柯里化提供了在简单的理论模型中比如只接受一个单一参数的lambda 演算中研究带有多个参数的函数的方式。
  • Каррирование или карринг в информатике — преобразование функции от пары аргументов в функцию, берущую свои аргументы по одному. Это преобразование было введено М. Шейнфинкелем и Г. Фреге и получило свое название в честь Х. Карри.
  • 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, bien que cette opération fut introduite pour la première fois par Moses Schönfinkel.
dbpedia-owl:wikiPageExternalLink
dcterms:subject
rdf:type
rdfs:comment
  • Currying ist die Umwandlung einer Funktion mit mehreren Argumenten in eine Funktion mit einem Argument. Obwohl das Verfahren von Moses Schönfinkel und Gottlob Frege erfunden wurde, ist es nach Haskell Brooks Curry benannt.
  • En la ciencia de la computación, currificar es la técnica inventada por Moses Schönfinkel 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 función que utiliza un único argumento.
  • カリー化 (currying) とは、計算機科学分野の技法の一つ。複数の引数をとる関数を、引数が「もとの関数の最初の引数」で戻り値が「もとの関数の残りの引数を取り結果を返す関数」であるような関数にすること。この技法は、Christopher Strachey により論理学者ハスケル・カリーに因んで名付けられたが、実際に考案したのは Moses Schönfinkel とゴットロープ・フレーゲである。 f(a, b) = c という関数 f があるときに、F(a) = g ただし、g(b) = c という関数 g が得られる関数 F を定義した場合、F は、f をカリー化したものである。 関数 f が の形のとき、 をカリー化したものを g とすると、g は の形を取る。非カリー化 (uncurrying) とは、これの逆の変換である。 カリー化とは直感的には「引数を幾つか固定すると、残った引数の関数が得られる」ということである。たとえば、除算の関数 をカリー化したものを とし、 とすると、 は新しい関数となり、、つまり引数の逆数を返す関数になる。 理論計算機科学の分野では、カリー化を利用すると、複数の引数をとる関数を、一つの引数のみを取る複数の関数のラムダ計算などの単純な理論的モデルと見なして研究できるようになる。圏論では、カリー化の概念を冪対象の普遍性に見出せる。適当な2つの対象の積から別の対象への射 に対して、射 が一意に対応する。 カリー化をする現実の動機は、関数に引数を一部だけ渡して新たな関数を作るのが便利な場合がとてもよくあるからである。たとえば、二つの引数を取る 関数の最初の引数を にしてカリー化を行えば、インクリメント用の関数が簡単に作れる。 カリー化を基盤としているプログラミング言語もある。特にMLとHaskellでは関数は常に一つの引数のみを取り、複数の引数を取る関数とは、単にネストされた複数の一引数関数の糖衣構文にすぎない。第一級関数を扱える言語、たとえばLISP、Scheme、Scala、Erlang、Eiffel、Perl、Ruby、Python、R言語、S言語、JavaScript、Groovyなどでは、カリー化関数を作ることができる。 標準C++ライブラリの も一種のカリー化と見なせる。
  • 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.
  • 在计算机科学中，柯里化（Template:Lang）是把接受多个参数的函数变换成接受一个单一参数（最初函数的第一个参数）的函数，并且返回接受余下的参数而且返回结果的新函数的技术。这个技术由 Christopher Strachey 以逻辑学家 哈斯凱爾·加里 命名的，尽管它是 Moses Schönfinkel 和 Gottlob Frege 发明的。 在直觉上，柯里化声称「如果你固定某些参数，你将得到接受余下参数的一个函数」。所以对于有两个变量的函数，如果固定了 ，则得到有一个变量的函数 。 在理论计算机科学中，柯里化提供了在简单的理论模型中比如只接受一个单一参数的lambda 演算中研究带有多个参数的函数的方式。
  • Каррирование или карринг в информатике — преобразование функции от пары аргументов в функцию, берущую свои аргументы по одному. Это преобразование было введено М. Шейнфинкелем и Г. Фреге и получило свое название в честь Х. Карри.
  • In mathematics and computer science, currying is the technique of transforming a function that takes multiple arguments (or an n-tuple of arguments) in such a way that it can be called as a chain of functions each with a single argument. It was invented by Moses Schönfinkel and later re-invented by Haskell Curry; because of this, some say it would be more accurate to name it schönfinkeling.
  • 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.
  • Rozwijanie funkcji - 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. Podstawą dla tej operacji jest ugruntowanie systemu typów w językach funkcyjnych na rachunku lambda z typami.
  • 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, bien que cette opération fut introduite pour la première fois par Moses Schönfinkel.
rdfs:label
  • Currying
  • Currying
  • Currificación
  • Curryfication
  • Applicazione parziale
  • カリー化
  • Currying
  • Currying
  • Каррирование
  • 柯里化
owl:sameAs
foaf:page
is dbpedia-owl:wikiPageDisambiguates of
is dbpedia-owl:wikiPageRedirects of
is owl:sameAs of
is foaf:primaryTopic of