#6 楼 @levi0214 代码不多的话直接全文字符串查找，IDE 有时候不太准。

#76 楼 @bhuztez 没办法啊，其实所有学科都是熟能生巧的。我记得费曼还是谁以前说过，让你脑子里时刻保持 6 个问题，每次有一个想法，试试看能不能解决你脑子那 6 个问题，久而久之你就成了人们口中的天才了。

#74 楼 @bhuztez 反正我觉得和以前那种绕圈跑相关的数学物理智力题很像。

#70 楼 @bhuztez 初中物理题。。。

#66 楼 @bhuztez 两个指针，一个一次进 2 格，一个一次进 1 格，前面那个如果能追上后面那个，就有环，就像两个人绕圈跑步一样。

#62 楼 @mvj3 #60 楼 @shiny 我也说不清楚，因为我从来不去做面试官，所以不清楚到底怎么做才最适合。如果我要面试一个人，基础的算法还是希望应聘者能掌握的，不要求细枝末节的方方面面，但是对一个问题，怎样去解决还是需要的。比如二分法，对一些边界条件写的不是很精确这没问题，但是至少要知道它是怎么工作的，伪代码即可。 我一直相信一个对各种算法都了然于心的人，应该是很聪明的，聪明的人就算学新东西，也会快，大概这就是为什么大多数公司喜欢用算法来考人吧。 另外一个人聪明不聪明其实并不是固定的，用的越多越聪明。

#54 楼 @shiny 我觉得这是设置技术门槛的问题，如果都是很容易复制的产品，竞争力就会变低。

面试如果不考算法，怎么面呢？

#27 楼 @mvj3 我很赞同你说的，核心算法只占整个工程很小一部分。 主要一点就是，你是不是愿意做那些次要的大部分里的工作呢？

#22 楼 @fsword 我的理解，一是看个人到底愿意做什么。如果愿意做使用者，那也没问题，如果觉得厌倦，那学习算法是有用的。二是可替代性问题，比如我现在做的工作，无非就是用别人写的库，加上些很高层的业务逻辑，做些外围的工作，也即可替代性很高，并且我周围同事做的也都是如此的工作。然而，做同一个产品的一个老美，做的是几何建模算法，比如曲面相交求曲线这类事情。这种工作的可替代性太低了，基本上就是无法替代类的。孰轻孰重，自然是一目了然。 用黑客和画家里面的说法就是，技术的门槛。

#19 楼 @mvj3 我也一直思考，为什么算法已经要变成了面试谈价钱的筹码而不是实用的能力。我的理解，这是比较有效的方法。业务逻辑密集型软件，比如各种 ui，金融软件等，大多也是体力密集型劳动。程序员从中学到的多是对现有工具的用法，很难从中区分 a,b 两个应聘者到底哪个更好。可能多数两人都能很好的完成工作，为了选其一，必须有其他测量方式，算法就是最普遍有效的方式。反过来，算法一直需要温故而知新，久而久之对思维有很大帮助。

悲剧了，算了吧就当交学费。

反正我觉得多看看算法总是非常有用的。

#14 楼 @mvj3 这……

#12 楼 @bhuztez 二分你从来没听说过…… 我觉得像 kmp 这种即使看过很多次也容易忘的算法确实难了点，但二分就像快排是最基础的。

二分真的很不难…… 无理的要求是让你实现 rb tree，avl tree 这种。

这里似乎有点误导人，是 ruby 语言本身的源代码还是用 ruby 写的第三方库？

#14 楼 @luikore 都设计成传值调用不就不用关心逃逸变量了嘛哈哈。

#12 楼 @bhuztez 这个例子里面的类型，假如这个语言只支持 int，那么类型就应该是 int x int -> int。

有时候这种类型变量（占位符）可能不是只有一种类型，会是一个可能的类型的集合，这种时候就比较难办了。

#8 楼 @bhuztez 就是倒 Ax x->y，然后把 x，y 用各种实际的类型去替换，比如 int，bool 这类，然后就可以做比较了。

#5 楼 @bhuztez 我理解的类型推断，就是基于递归的，对前束范式，把全称量词都替换掉，除此之外还有其他途径吗？

和北斗神拳里面的“お前は死んでいる”差不多嘛。

#9 楼 @bhuztez rubinus 这玩意儿是不是没发在 windows 上用？

为什么没人做 JIT 的 ruby 解析器？连 lua 都有 JIT 解析器了。

#101 楼 @luikore 这种强弱分法没意义，除了汇编全是强类型。

#98 楼 @bhuztez 其实编译里面的很多想法都很类似，比如类型推断用占位符，就和代码生成里面的回填地址想法差不多，我的想法就是回填时候并非每次都需要确定的东西。

#98 楼 @bhuztez 等我试试看回头再说明一下。

#96 楼 @bhuztez 我打个比方，没法确定一个确定元素的时候，可以把范围扩大，确定一个集合，然后把集合里面的元素按照可能性排序，然后遍历，是不是可以提高效率？

#94 楼 @bhuztez 我没看过 py 的语法，不过应该可以 ruby 差不多。我前面理解你说的弱类型是指非静态类型，大概我理解不对。 这里的 self 我字面理解一下，应该是调用时才能决定的类型。