「ぱたーん☆まっち」とプログラミング言語

たぶん、「ブロック」を first-class のオブジェクトとして扱える言語がループ等の制御構造を自由自在に作り出せるのと同じように、「パターン」を first-class のオブジェクトとして扱える言語なら、こういう、ユーザー定義のパターンマッチ制御構造みたいなのを書けるであろうなあ、というアレコレ。

d.y.d.

k.inabaさんによる。
「プログラミング言語の基本要素(first-classのオブジェクト(?))になりうるもの」と「プログラミング言語の機能としてユーザ（プログラマ）に提供してほしいもの」の全一覧表って誰か作っていないだろうか。そして「このプログラミング言語ではコレを基本要素として、コレを提供している」という一覧表も。