09/05/05 00:05:28
>>704
> lambda 一発になるwW
lambdaを使って書いた無名関数の定義が含むノード数も
評価するわけだから、それなりに妥当なんじゃない?
無名関数を使う側が1ノードになるのは、コード自体の簡潔さに対応する。
> 最終的には、なにがしかの形式意味を、いかに簡潔に書きうるかだろ？
簡潔であることを「どう評価 (数値化) するか」の話をしているんでしょ。
>>704は>>694かな?
09/05/05 00:05:28
>>704
> lambda 一発になるwW
lambdaを使って書いた無名関数の定義が含むノード数も
評価するわけだから、それなりに妥当なんじゃない?
無名関数を使う側が1ノードになるのは、コード自体の簡潔さに対応する。
> 最終的には、なにがしかの形式意味を、いかに簡潔に書きうるかだろ？
簡潔であることを「どう評価 (数値化) するか」の話をしているんでしょ。
>>704は>>694かな?