PPLでの質問にも関連するのですが、意外と周知というわけでもないようなので、簡単にメモしてみました。MinCamlでも実装されていないことですし（某所のコンパイラ演習の課題にはなっていますし、私が学部４年生だったときの演習課題にもありましたが）、サ…