哈哈哈。我证明poocp也是位基本功扎实，很有追求的朋友。
恰好两个人的领域错开了，容易互相认为自己不熟悉的知识更重要。。。

【 在 adoal (阿豆) 的大作中提到: 】
: 这两个人都是技术水平还不错但是一旦争论起问题来就没边没沿的，
: 群众表示吃瓜看猹就很欢乐^o^
--
FROM 114.85.202.*

他走shell、gcc、嵌入式、电路设计路线的，基本功非常扎实。

【 在 siegfried415 (更号2) 的大作中提到: 】
: @poocp 的研究领域是什么？
--
FROM 114.85.202.*

嗯，你的看法我很理解。我在某个技术群也提过几次我对过度吹捧形式化方法的观点有点反感。

不过话说回来，程序员需要掌握的知识面实在太广，要做的选择题多得令人窒息。一个人没有足够的经验积累、自信构建、还有中招踩坑的过程，要质疑，要唱衰一个热点事物是需要很大的勇气的，真的非常非常难。

poocp现在和这些科班知识还处在热恋期，他迟早也会倦的。哈哈哈。

【 在 siegfried415 (更号2) 的大作中提到: 】
: 是吗，失敬啊，我的研究生涯就是从形式语言开始，逐渐过度到算法，最后变成实用化的工具平台的过程，我必须承认，因为这段不算成功的经历，我的潜意识中对过度抽象的技术存在反感。。。
--
FROM 114.85.202.*

一旦涉及关键业务部分，我就会用有限自动机来保证所有条件全覆盖，来提高代码的健壮性。
只要文档注释足够，旁人也不难理解。

【 在 siegfried415 的大作中提到: 】
: 是吗，失敬啊，我的研究生涯就是从形式语言开始，逐渐过度到算法，最后变成实用化的工具平台的过程，我必须承认，因为这段不算成功的经历，我的潜意识中对过度抽象的技术存在反感。。。
:
--
FROM 222.212.186.*

楼主的IF漫天飞的问题显然是有限状态的。

【 在 siegfried415 的大作中提到: 】
: 然而这个世界上大部分实用的程序都不是有限状态（即状态可枚举）的，比如编程中经常出现的递归结构（比如OS中的进程树等概念），这些结构本质上是一个下推有界自动机，需要上下文无关文法（2型文法）才能描述，然而能自如地使用2型、以及2型以上文法的人，我在现实生活中还没看到过，能正确地掌握3型文法（正则表达式）的人就已经凤毛麟角了。。。
:
--
FROM 222.212.186.*