静的型付け言語も、パターンマッチは実行時の値で判断する。
これって、実行時の値で判断しましょうという考えから来るのではないのか？
だから根本的には同じだ。