HoldPattern

HoldPattern[expr]

パターンマッチにおいて式 expr に等しいものとして扱われるが，式 expr は評価保留の形に保持する．

詳細

  • HoldPatternは，属性HoldAllを持つ．
  • 割当て式において左辺が評価されるのと同様に，規則においても通常左辺は評価される．そこでHoldPatternを適用することで，左辺のどの部分でも評価不可にすることができる．

例題

例  (4)

左辺が未評価に保たれるパターンを設定する：

このパターンを使う：

fの引数が評価されないように定義する：

Log[a,b]は自動的に評価されてLog[b]/Log[a]になるので，マッチする：

Cases[e,patt->rhs]は patt にマッチする要素を求める．HoldPatternを使って規則を求める：

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

テキスト

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

CMS

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

APA

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

BibTeX

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

BibLaTeX

@online{reference.wolfram_2024_holdpattern, organization={Wolfram Research}, title={HoldPattern}, year={1996}, url={https://reference.wolfram.com/language/ref/HoldPattern.html}, note=[Accessed: 21-November-2024 ]}