09/03/10 02:17:15
>>550
>最近はlambda-calculusあるいはpi-calculusベースの設計技法の
>研究をする人が増えてきて、
>関数型言語がずいぶん幅を利かせつつあります。
例えば「pi-calculusベースの設計スゲ～」から関数型言語が流行って
いるのかな。
後者は前者によってドライブされているわけじゃないと思う。
OOADのオルタナティブとなる手法として「lambda-calculusあるいは
pi-calculusベースの設計技法」なるものが研究されているとしても
(良い論文等あればポインタ希望)、自分には未だマイナーだと思うし、
少なくとも昨今関数型言語がはやっている文脈からは随分明後日の
方向だと思う。
とりあえずは関係がイマイチ自明でない関係ないトピックをくっつけた
だけの文章としか読めなかった。