C++博客-右席的搬砖日记-最新评论http://cppblog.com/pwq1989/CommentsRSS.aspxzh-cnTue, 19 Jan 2016 08:12:42 GMTTue, 19 Jan 2016 08:12:42 GMTcnblogsre: （一）初识Luajithttp://www.cppblog.com/pwq1989/archive/2016/01/12/204487.html#212644右席右席Tue, 12 Jan 2016 02:27:00 GMThttp://www.cppblog.com/pwq1989/archive/2016/01/12/204487.html#212644最近改做hotspot了，工作用不到lua了。。。就没继续看了。。

右席 2016-01-12 10:27 发表评论
]]>re: （一）初识Luajithttp://www.cppblog.com/pwq1989/archive/2015/12/08/204487.html#212437可惜了可惜了Tue, 08 Dec 2015 09:16:00 GMThttp://www.cppblog.com/pwq1989/archive/2015/12/08/204487.html#212437

可惜了 2015-12-08 17:16 发表评论
]]>re: 自撸web小框架 dodolu(基于nginx lua) + lua debuggerhttp://www.cppblog.com/pwq1989/archive/2014/12/24/209273.html#209289S.l.e!ep.￠%S.l.e!ep.￠%Wed, 24 Dec 2014 01:16:00 GMThttp://www.cppblog.com/pwq1989/archive/2014/12/24/209273.html#209289

S.l.e!ep.￠% 2014-12-24 09:16 发表评论
]]>re: 类型系统与图灵完全http://www.cppblog.com/pwq1989/archive/2014/09/04/207536.html#208234右席右席Thu, 04 Sep 2014 11:00:00 GMThttp://www.cppblog.com/pwq1989/archive/2014/09/04/207536.html#208234哦哦哦~ 等我加群

右席 2014-09-04 19:00 发表评论
]]>re: 类型系统与图灵完全http://www.cppblog.com/pwq1989/archive/2014/09/04/207536.html#208233右席右席Thu, 04 Sep 2014 11:00:00 GMThttp://www.cppblog.com/pwq1989/archive/2014/09/04/207536.html#208233本来Y组合子就是没啥（实际）意义啊。。

haskell的类型系统本来就是HM+一堆补丁组成的，我没明白为啥需要一个 “类型系统加一个Y组合子”，本来就支持函数的命名，直接调不就可以了嘛

右席 2014-09-04 19:00 发表评论
]]>re: 类型系统与图灵完全[未登录]http://www.cppblog.com/pwq1989/archive/2014/09/04/207536.html#208232nonamenonameThu, 04 Sep 2014 10:54:00 GMThttp://www.cppblog.com/pwq1989/archive/2014/09/04/207536.html#208232

noname 2014-09-04 18:54 发表评论
]]>re: 类型系统与图灵完全[未登录]http://www.cppblog.com/pwq1989/archive/2014/09/04/207536.html#208231nonamenonameThu, 04 Sep 2014 10:43:00 GMThttp://www.cppblog.com/pwq1989/archive/2014/09/04/207536.html#208231fix :: (a -> a) -> a
fix f = let x = f x in x
当然HM里的let..in..有它自己的问题
Prelude>:m +Data.Functon
Prelude Data.Function> let fact = fix (\f n -> if n == 0 then 1 else n * f (n-1))
(0.00 secs, 517488 bytes)
Prelude Data.Function> fact 4
24

Haskell不需要Y，虽然它也可以定义。这里你没有了解Haskell整个系统的结构。因为Haskell的本质是一个所有term都需要typable的类型系统加一个Y组合子，Y承载了Haskell中所有的递归语义，包括互调递归、多重递归等等，自然也承载这里的fix，你可以用fix写出所有递归的函数，也可以通过函数自己调用自己写出所有递归函数，只要语义上没差，所以你关于Y的那篇博文讨论了一堆完全没有意义的东西。

noname 2014-09-04 18:43 发表评论
]]>re: 类型系统与图灵完全http://www.cppblog.com/pwq1989/archive/2014/09/04/207536.html#208229右席右席Thu, 04 Sep 2014 07:38:00 GMThttp://www.cppblog.com/pwq1989/archive/2014/09/04/207536.html#208229原来叫self application , 不过对这个的处理和对最后那个例子上的处理本质都是一样，原生（不打补丁）的HM系统就是搞不定这个嘛

"\x -> x x不是typable的" 这是针对简单类型lambda演算来说，haskell不支持，但是Ocaml打了这个补丁可以支持哇~

还有那个fix函数，这就是不动点的定义啊，不能叫Y嘛，Y写成那样的目的就是为了做出fix函数的样子来，还不能在式子中出现“fix”这个名字(不引入名字)。

（我一直在看书学习哇~~ 欢迎交流~~



右席 2014-09-04 15:38 发表评论
]]>re: 类型系统与图灵完全[未登录]http://www.cppblog.com/pwq1989/archive/2014/09/03/207536.html#208215NonameNonameWed, 03 Sep 2014 01:51:00 GMThttp://www.cppblog.com/pwq1989/archive/2014/09/03/207536.html#208215lambda里的Y跟Haskell里的Y是“有”区别的，打错了

Noname 2014-09-03 09:51 发表评论
]]>re: 类型系统与图灵完全[未登录]http://www.cppblog.com/pwq1989/archive/2014/09/03/207536.html#208214NonameNonameWed, 03 Sep 2014 01:49:00 GMThttp://www.cppblog.com/pwq1989/archive/2014/09/03/207536.html#208214

Noname 2014-09-03 09:49 发表评论
]]>