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