谁可以跟我解释下，为什么程序设计语言理论的“学姐”们都那么难相处……

不是说女生会更感性么，这是物极必反，还是搞技术已经很“反人类”了？

并不是PLT的学姐

那是啥的学姐唉

不知道，似乎也不是CS的学姐

虽然我不知道这个是学长还是学姐

反正都喜欢对后辈冷脸

给人一种不止是脸，心也是零下十度的感觉

“type infer的有一个分步骤一般是unification。
bidirectional parsing是unify，general的parsing只是模式匹配。
还有你可以不可以滚？”

“你不会去试图深入，去总结，不会尝试把一个孤立的东西用更宏大的框架的表达。你hype你的设计，认为他新颖，认为好用，不会去思考前为何人们面对相同的问题做了不同的选择，不待见学术意义上的成果。
你为工程界人数上压制学术界窃喜，你为自己不听不问闭门造车而骄傲，你并不尊敬那些穿越千山万水仍困顿在前沿问题的研究者，你希望用你那些不成熟的，还未从火热的激情化为冷酷真理的认知，去荼毒初探编程世界，满是白纸，可能对你大声称赞的新手，你是这样一个人。
你在技术上没有责任心，你在parsing技术上也没有天分。至于你誓死捍卫我们说话的权利，这得等到你比我们在任何领域有更大的话语权。”

我感觉这些人的眼里似乎没有自己的领域，没有对领域里其他人的热心，意识不到没有新人 会少许多可能

有些事纯粹的精英主义有些不是，但都对简单的东西不感兴趣

或许他们喜欢自己的学科，但他们也只是重视，甚至说只能看见哪一个侧面
学术和正常工程中的鸿沟只会越来越大

@ScienceYuan 什么是first order logic

你问本民科我怎么知道

你以前总是谓语逻辑不离口

记错人了

算是我的一点 banned 感言。
呵呵，我哪有那么喜欢敷衍，偏偏我的每句话都在降低自己的高度和每字的信息量

只是显得自己愈发傻气，我为什么要不开心呢……

那皮亚诺公理那个总该是你吧

知道/提过这个的人不是很多吗

我寻思但看着话，如果说给民科听没毛病啊

你是怎么进入这个（我猜）审核严格的裙的

verb 或者啥连接词（且/或）回会是谓语……

你是怎么说服自己留在这里的，这里总是有让你不开心的我