コサキさんのblogエントリーに、C++へのラムダ式とクロージャ導入の提案ネタが。ふーん、そうなの。次のような構文だそうです。 <> (int x, int y) -> int { return x + y; } 型付きラムダの記法、ほとんどそのままですね；λ(x:int, y:int).(x + y):int 。コ…

以前、多値について書きました（まとめはコレ）。今日は無値（値がないこと）について考えてみようかと。小見出しを付けてパランパランと、細かいネタを書いた後で、無値が気になったキッカケとかを話します。C言語のvoidCでは、戻り値がない関数（“手続き”…

なんか勘違いして、メイヤー本は「入手困難」なんて書いてしまいましたが、Amazonから簡単に購入できるようです。 オブジェクト指向入門 - http://www.amazon.co.jp/exec/obidos/ASIN/4756100503/ プログラミング言語理論への招待 - http://www.amazon.co.jp…