パターンマッチ

実験II

難しいことを考えずにコンストラクタの選択だけ実装するだけで利便性がかなり違うんだから，十分だと思ってるんだけど... つまりこう：

pattern ::= ctor ["(" var_list ")"]
var_list ::= var (, var)*

これだけでも十分な負担だしなぁ．今のところちょっと実装できそうにない（多分うるさいことを言わずにtupleでやっちゃうと思う）．