C++とかいう関数型言語
について、この頃、よく聞くようになった。最近はStroustrupがPOPLなどに出没して、templateとかいう多相関数の分割型チェックなどについて話したらしいので、これからますますMLやHaskellのようになっていくに違いない。うむうむ。
について、この頃、よく聞くようになった。最近はStroustrupがPOPLなどに出没して、templateとかいう多相関数の分割型チェックなどについて話したらしいので、これからますますMLやHaskellのようになっていくに違いない。うむうむ。