CurryApplied

CurryApplied[f,n]

CurryApplied[f,n][x1]…[xn]が f[x1,…,xn]と等しくなるような，n 引数の関数 f の演算子形を表す．

CurryApplied[n]

関数に適用して n 引数の演算子形を表すことができるCurryAppliedの演算子形を表す．

CurryApplied[f,{i1,…,in}]

CurryApplied[f,{i1,…,in}][x1]…[xn]が f[xi1,…,xin]と等しくなるような，n 引数の関数 f の演算子形を表す．

CurryApplied[f,k{i1,…,in}]

k 個の引数を取る演算子形を表す．

詳細

  • CurryApplied[f,arity][x1,…][y1,…]…[z1,…]はCurryApplied[f,arity][x1,…,y1,…,z1,…]に等しいので，ブラケット構造は関係なく，引数の数のみが関係する．
  • CurryApplied[f,n]はCurryApplied[f,{1,2,…,n}]に等しい．
  • CurryApplied[f,{i1,…,in}]はCurryApplied[f,Max[{i1,…,in}]{i1,…,in}]に等しい．
  • CurryApplied[f,{i1,…,in,opts}][x1]…[xk]は，連続するオプション opts について f[xi1,…,xin,opts]に等しい．
  • CurryApplied[f,{i1,…,in}]のカリー化された ip番目の引数は f の p 番目の引数である．
  • CurryApplied[arity][f]はCurryApplied[f,arity]に等しい．

例題

すべて開くすべて閉じる

例  (3)

2引数の関数をカリー化する：

CurryAppliedの演算子形を使って同じことを行う：

3引数の関数を，引数の順序を保ってカリー化する：

これは，2つの積分変数をカリー化する，カリー化した形のIntegrateである：

これを変数 と を持つ関数に適用する：

上記は以下と等価である：

スコープ  (7)

2引数の関数の最初の引数をカリー化する：

この関数を任意の日付オブジェクトに適用する：

関数の第2引数をカリー化する：

この演算子を適用する：

3引数の関数を，引数の順序を保ってカリー化する：

3引数の関数を，引数が関数に渡される前に置換を適用してカリー化する：

以下は4つの引数を取るカリー化された演算子であるが，その内の2つしか関数 f には渡されない：

カリー化された関数の引数を任意のブラケット構造で使う：

Levelをデフォルトのオプション値でカリー化する：

オプションをLevelに渡す：

アプリケーション  (4)

3つの関数のCompositionをカリー化する：

3つの関数を連続的にフィードする：

この組合せを式に適用する：

構築する関数の引数の数を指定する：

下付き文字が付いた変数の配列を構築する：

CurryAppliedを使ってKとSの結合子を構築する：

SKKとSKSの組合せは恒等式に等しい：

SとKを使ってBとCの結合子を構築する：

特性と関係  (7)

CurryApplied[f,arity]はOperatorApplied[f,arity]と同じ演算子を表す：

CurryApplied[n][f]はCurryApplied[f,n]に等しい：

OperatorApplied[f]はOperatorApplied[f,{2,1}]に等しい：

CurryApplied[f,0]は，引数がない関数については f[]を返す：

追加の引数が与えられた場合でも，空のブラケットペアが挿入される：

CurryApplied自体をカリー化する：

Constructと比較する：

CurryApplied[Construct,n][f]は，正の n についてはCurryApplied[f,n-1]と等価である：

この関係は n=1のときも成り立つ：

2つのCurryApplied演算子を置換とその逆の操作で構築する：

結果は引数の並べ替えをしないでCurryAppliedを使った場合と同じである：

同じ長さの2つの置換リストを取る：

対応するCurryApplied演算子を構築する：

あるいは，CurryAppliedを同じ順序でそれらの置換の積と共に使う：

Wolfram Research (2020), CurryApplied, Wolfram言語関数， https://reference.wolfram.com/language/ref/CurryApplied.html.

テキスト

Wolfram Research (2020), CurryApplied, Wolfram言語関数， https://reference.wolfram.com/language/ref/CurryApplied.html.

CMS

Wolfram Language. 2020. "CurryApplied." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/CurryApplied.html.

APA

Wolfram Language. (2020). CurryApplied. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/CurryApplied.html

BibTeX

@misc{reference.wolfram_2024_curryapplied, author="Wolfram Research", title="{CurryApplied}", year="2020", howpublished="\url{https://reference.wolfram.com/language/ref/CurryApplied.html}", note=[Accessed: 18-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_curryapplied, organization={Wolfram Research}, title={CurryApplied}, year={2020}, url={https://reference.wolfram.com/language/ref/CurryApplied.html}, note=[Accessed: 18-November-2024 ]}