C≒ML

MinCamlの論文というかレポートが、FDPEというワークショップに通ったのですが（ICFPには落ちた）、「こんな小さいサブセットではMLよりCに近い。学生が納得したとしたら、それは教員の性格のせいだろう。」とかいうreviewが。いくらなんでもそれは嘘だと思うんですけど。高階関数とか型推論とか組とかtail callとかあるし、なにより変数への破壊的代入もないし…。他の二つのreviewはまともでした。