ラムダ計算の勉強
ラムダ計算(Lambda calculus)の勉強を少し始めました。
プログラマーなので、Boolean Logicについて勉強しました。
not p = (p)(false)(true) a and b = (a)(b)(false) a or b = (a)(true)(b) a xor b = (a)((false)(true))(b)
「‘if p then E1 else E2’ は pE1E2になる。」
(http://safalra.com/science/lambda-calculus/boolean-logic/ より)
これは凄い発見でした。
ラムダ計算ができるCPU(ラムダチップ)を使えばだいぶCPU命令を省略化(高速化)できるのではないでしょうか。そしたら、スループットが凄く良くなりますよね。
If文が凄く省略してかける事については驚きを覚えました。
日本の技術者さん、ラムダチップを開発してください!