#92 楼 @bhuztez 是啊，强类型直接就可以解析了，现在已经可以做得不错了。

#86 楼 @luikore 昨天我洗澡的时候也在想这个问题，想到 2 点： 1.类型闭包，即可相互转型的类型作为一个闭包，最后合并同类项。 2.类型转化是由用户决定的。

#39 楼 @wcp1231 他会建议你学 erlang 这类的。

#76 楼 @bhuztez 这年头大家都想自己做语言了？……

#62 楼 @luikore 赞，真实的库就是这么来的。

#73 楼 @bhuztez 我觉得应该算是复杂不是难吧。复杂在有些情况要向前看两个词素，有些情况要回溯词素，即使有工具支持也非常麻烦。我自己觉得实在没必要把文法设计成这样。我喜欢简洁的文法。

#70 楼 @bhuztez 不看现成的也得有文法标注吧，一周写出来很困难，为什么要一周写出来呢？

#28 楼 @bhuztez 一星期写出来也有区别，纯手写？那基本没有一个人能做到，手动推导 lr1 项集和用机器推导比没有任何智力上的更多的的乐趣。用工具？如果用工具，纯文法一周也并非不可能，但是要做到什么形式的 ir？线性还是图形还是树型异或是组合型？这就不是一周的问题了。 任何动态语言都可以推出类型来，数理逻辑里面有一部分和它很有关系。

想立竿见影提高 ruby 的执行效率很简单，把那堆 ir 保存下来，直接读字节码执行就行了。

我当年做的是棋类人机对弈，包括各种剪枝算法和估值算法。我觉得这个不错，既有理论又能实践。

没什么更具生产力可言，生产力低只是不熟悉这门语言而已。

大部分程序写起来确实价值不大，做下 UI，调用这个那个 API，写点自己绕自己的 OO 的烂代码。其实其他工作也未必更有价值。

我觉得这里过多的集中于 rails 的讨论，忽略了其他方面的东西。

Ken 认为，代码总会以某种方式“腐烂”掉，即使没有做任何修改。而对于腐烂的代码，方法就是将其扔掉，重新写。 用 Java 新写的，以后也会一样。

我也买了本，看起来挺浅显易懂的。

#45 楼 @victorz 先谢了，只是问问目前还没打算。。。

有直接去日本的职位么。。。

#37 楼 @yangxing_star 如果你想创造，尽力去做就行了。

梁漱溟先生谈过人生的意义，他认为人做为万物之灵，其意义在于不断创造。

#43 楼 @jimrokliu 正则文法即 3 型文法，可以和 NFA/DFA 互相等价转化，也即所谓状态机，状态机本身可以不用栈，可以是 2 维表，也可以是 switch/case 结构，甚至 if/else。自顶向下最简单的实现方式就是递归调用，或者可以预计算向前看 1 的表，也即 LL(1)。 构造正则解析器有很多方法，不用栈用图也行。

买一本也就一顿饭钱，难道一本书的价值还不如一顿饭？

前端解析说到底，就是基于两个闭包集合的预测分析，一个 first, 一个 follow，万变不离其宗。

#34 楼 @luikore 我大概理解你的意思了，做 ide 需要。做后段优化几乎无用。

手写的：

def expr aa
   ret = true

   if '(' == aa[$curr_iter] 
      $start_status = false
      $curr_iter += 1
      ret &&= expr aa
      return false unless ret
      if ')' == aa[$curr_iter]
         $curr_iter += 1
         ret &&= true
      else
         return false
      end
   elsif '{' == aa[$curr_iter]
      $start_status = false
      $curr_iter += 1
      ret &&= expr aa
      return false unless ret
      if '}' == aa[$curr_iter]
         $curr_iter += 1
         ret &&= true
      else
         return false
      end
   else
      return false if $start_status
   end

   ret
end

def balanced? aa
   $curr_iter = 0
   $start_status = true
   total_len = aa.size
   ret = true

   while $curr_iter < total_len
      ret = expr aa
      return false unless ret
      $start_status = true
   end

   true
end

tc = ["", "()", "{()}", "{}", "{{}}", "({})", "{()}", 
   "(", ")", "(()", "())", "{", "}", "{{}", "{}}", "{(})", "({})(){()}"]

tc.each do |item|
   puts balanced? item.split(//)
end

#28 楼 @luikore 正则在词法里只不过分析最底层的字符串，和优化有什么关系。。。

#25 楼 @luikore 什么方面的优化？

#23 楼 @luikore 正则一般都是用来做自动化 scanner 的，问题是这东西是鸡肋，词法完全可以手写。

#20 楼 @bhuztez 看不太明白。。 像是直接用参数做模式匹配了。

#18 楼 @luikore 我看到正则表达式就头疼。