条件に応じて消えていく感じ、手続き型でありながら関数型に近い 歪みつつ混ざり合っている感じ これも正しい文法を与えることができそう

次のプログラムを考える。 C f(){ A a = g(); bool flag = true; if(!a.valid){ a = h(); flag = false; } B b(a, flag); return C(b); } 結構ありうるシチュエーションだとおもう。 このプログラムの中で、 flag は本質的ではない。というのは b の構築自体…