V2EX › sectic 的所有回复 › 第 10 页 / 共 17 页

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

现在注册

已注册用户请登录

1 ... 2 3 4 5 6 7 8 9 10 11 ... 17

❮

❯

2013-12-18 19:21:57 +08:00

回复了 d5d 创建的主题 › Ripple › 快去抄底吧，

接飞刀

2013-11-19 13:09:30 +08:00

回复了 icarrien 创建的主题 › Bitcoin › 一个夜晚过去，大家都在购买比特币？

卖走

2013-11-16 09:23:54 +08:00

回复了 jiangle 创建的主题 › 问与答 › 遇到这样的老师我能怎么办？

好孩子没出路，把自己当人看

2013-11-14 22:48:06 +08:00

回复了 frogs 创建的主题 › 程序员 › 想学一门functional programming语言，求推荐

我来讲一下吧，计算机语言基本来源大概就俩，一个是无限纸带的图灵机，另外一个是邱奇的算子。这俩很有意思，图灵和邱奇差不多同时通过这俩模型来证明了希尔伯特猜想不成立。图灵机可以说是一大批语言的前身，比如ALGO，比如C。元图灵机U可以说是现代编程这个东西的先驱。functional programming 可以说是另外一个路子，就是邱奇的算子。我推荐haskell的原因之一，就是haskell中的概念跟lambda calculus 中的概念基本是一一对应的，知道这些概念后，看其他的函数式语言也差不多。包括haskell中函数的定义。说实话，lisp可能是最正统的，但是我觉得lisp方言有点严重，各种lisp应该有一定鉴别力后再去看。

2013-11-14 21:58:34 +08:00

回复了 frogs 创建的主题 › 程序员 › 想学一门functional programming语言，求推荐

sicp的话有些概念很有意思，比如引用透明性，这个往上深究可以到lambda 算子怎么和图灵机等价的。

2013-11-14 21:50:26 +08:00

回复了 frogs 创建的主题 › 程序员 › 想学一门functional programming语言，求推荐

haskell 这个语言不一定能用上，设计上也不一定“好”，但是对于接触functional programming最好不过，可以让你很直接的接触各个概念。

2013-11-14 16:45:22 +08:00

回复了 z 创建的主题 › iPhone › iOS 有没有自动备份短信和通话记录的解决方案？

请问问 Nexus 有什么自动备份短信和通话记录的解决方案，我换到用android了，想找一下android的比较好用的软件。

2013-11-07 11:50:06 +08:00

回复了 Hawk 创建的主题 › 问与答 › 大家都准备在双11的时候买什么？

冲锋衣