連想を使ったパターンマッチング
バージョン11では,連想の操作とパターンマッチングを簡単にするいくつかの関数が導入されている.
KeyMemberQおよびKeyFreeQを使ってキーが連想の一部かどうかを調べる.
In[1]:=

KeyMemberQ[<|a -> 1, b -> 2, c -> 3|>, a]
Out[1]=

In[2]:=

KeyFreeQ[<|a -> 1, b -> 2, c -> 3|>, a]
Out[2]=

KeyValuePatternを使うと,指定された規則を1つあるいは複数含む連想全体をマッチすることができる.
In[3]:=

MatchQ[<|a -> 1, b -> 2, c -> 3|>, KeyValuePattern[b -> _]]
Out[3]=

In[4]:=

MatchQ[<|a -> 1, b -> 2, c -> 3|>, KeyValuePattern[{c -> _, a -> _}]]
Out[4]=

地球上のいくつかの点における重力場についてのデータを計算する.
In[5]:=

points = {{40, -100, 691}, {30, -120, 560}, {80, 70, 91}};
data = GeogravityModelData /@ points
Out[5]=

重力場の値が標準平均値よりも大きくなる場合をいくつか選ぶ.
In[6]:=

Cases[data,
KeyValuePattern[
"Magnitude" -> _?(GreaterThan[
Quantity[1, "StandardAccelerationOfGravity"]])]]
Out[6]=

KeyValueMapを使ってキーと値の各ペアをさらに処理する.
In[7]:=

Cases[data,
KeyValuePattern[
"Magnitude" -> _?(GreaterThan[
Quantity[1, "StandardAccelerationOfGravity"]])]];
KeyValueMap[
EntityProperty["GeogravityModel", #1] ->
UnitConvert[#2, "Imperial"] &, First[%]]
Out[7]=
