Closures in ruby

ychael — Tue, 15 Apr 2008 10:40:56 +0800

作者: ychael 链接：http://ychael.javaeye.com/blog/182812 发表时间: 2008年04月15日

声明：本文系JavaEye网站发布的原创博客文章，未经作者书面许可，严禁任何网站转载本文，否则必将追究法律责任！

class File
	def File.grep(fileName, pattern)
		IO.foreach(fileName) do |line|
			if md = pattern.match(line)
				yield md;
			end
		end
	end
end
	
File.grep("foo.txt", /total: (\d+)/) { |md| puts md[1]; }

延续是台时光机，闭包只是对旧时光的怀念
本文的讨论也很精彩，浏览讨论>>

JavaEye推荐

lambda

ychael — Mon, 07 Apr 2008 18:33:58 +0800

作者: ychael 链接：http://ychael.javaeye.com/blog/180242 发表时间: 2008年04月07日

声明：本文系JavaEye网站发布的原创博客文章，未经作者书面许可，严禁任何网站转载本文，否则必将追究法律责任！

刘未鹏的数学基础真好，看了他的那篇永恒的金色对角线，很简明。
Y Combinator

Y(F) = F(Y(F))

--------------------------------------------------------------------------------

不动点构造
let power_gen = lambda self. P(self(self))

铸造Y Combinator

let Y = lambda F.
let f_gen = lambda self. F(self(self))
return f_gen(f_gen)

哥德尔不完备定理的核心构造式
N(n) is unprovable in T
UnPr(X)来表达“X is unprovable in T”
UnPr( N(n) )
G(n): UnPr( N(n) )，以G的编码g代入公式，得出命题
G(g): UnPr( G(g) ) ‘我是不可在T内证明的

从哥德尔公式到Y Combinator
G(n): UnPr( N(n) )
G(n): P( N(n) )
G(g): P( G(g) )
我们从哥德尔的证明里面直接看到了Y Combinator

(The Halting Problem)
bool God_algo(char* program, char* input)
{
if( halts on )
return true;
return false;
}
bool Satan_algo(char* program)
{
if( God_algo(program, program) ){
while(1); // loop forever!
return false; // can never get here!
}
else
return true;
}

Satan_algo(Satan_algo);
本文的讨论也很精彩，浏览讨论>>

JavaEye推荐