>>462
ちなみに「構造化代入」という訳はあまり深く考えてつけたものではありません.

>>466
複数のパターンから選べないとパターンマッチとは言えないような気がします.