MATHEMATICA 組込みシンボル

Flat

Flat
シンボルの属性で，このシンボル f がネストしている場合に自動的にフラットにする（ネストをほどく）ことを指定する．この属性はパターンマッチの際に考慮される．

平坦な関数を持つネストした式は平坦化される：

Flatは結合律の概念を実装する：

平坦な関数を持つネストした式は平坦化される：

Out[2]=

Flatは結合律の概念を実装する：

Out[1]=

Out[2]=

結合性の関数を持つネストした式は平坦化される：

パターンマッチングで，Flatは要素列の置換を許容する：

平坦で順序を問わない関数の場合，引数の部分集合が一致することがある：

平坦な関数を持つネストした式は自動的に平坦化される：

平坦な関数の場合，2引数の場合の定義で通常は十分である：

平坦な関数のパターンマッチにはOneIdentity属性も必要である：

平坦で順序を問わない関数の場合，パターンマッチにはたくさんの場合を試さなければならないことがある：

Longestを使うと，短い部分式についての追加的なマッチを防ぐことができる：