連想を使ったパターンマッチング
バージョン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 /@ pointsOut[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]=
