>>704
> lambda 一発になるwW

lambdaを使って書いた無名関数の定義が含むノード数も
評価するわけだから、それなりに妥当なんじゃない?
無名関数を使う側が1ノードになるのは、コード自体の簡潔さに対応する。

> 最終的には、なにがしかの形式意味を、いかに簡潔に書きうるかだろ？

簡潔であることを「どう評価 (数値化) するか」の話をしているんでしょ。

>>704は>>694かな?