re: （一）初识Luajit 右席 2016-01-12 10:27
@可惜了
最近改做hotspot了，工作用不到lua了。。。就没继续看了。。
re: 类型系统与图灵完全 右席 2014-09-04 19:00
@noname
本来Y组合子就是没啥（实际）意义啊。。
haskell的类型系统本来就是HM+一堆补丁组成的，我没明白为啥需要一个 “类型系统加一个Y组合子”，本来就支持函数的命名，直接调不就可以了嘛
re: 类型系统与图灵完全 右席 2014-09-04 15:38
@Noname
原来叫self application , 不过对这个的处理和对最后那个例子上的处理本质都是一样，原生（不打补丁）的HM系统就是搞不定这个嘛
"\x -> x x不是typable的" 这是针对简单类型lambda演算来说，haskell不支持，但是Ocaml打了这个补丁可以支持哇~
还有那个fix函数，这就是不动点的定义啊，不能叫Y嘛，Y写成那样的目的就是为了做出fix函数的样子来，还不能在式子中出现“fix”这个名字(不引入名字)。
（我一直在看书学习哇~~ 欢迎交流~~
@Quon 额。。“高大上”是玩笑话拉，文中提到的那个做了一次beta变换之后也和定义一致嘛。我倒是觉得文中的那个写法没有用到额外的扩展，更像是用纯粹的haskell做出来的东西，unsafeCoerce则像是给类型系统打上的hack
@Quon 这个unsafeCoerce也是绕过类型检查嘛，而且不高大上 （逃