title: 王垠到底对winter做了什么？
desc: 没有无缘无故的爱，也没有无缘无故的恨<br>
topic: 问答社区用户
content: 谢谢邀请。我和王垠和 winter 都不熟悉，所以只能说几句题外话。对人不对事，见谅。考虑到这里有很多朋友似乎特别在意评论他们俩人的资格问题，所以我想我有必要大概介绍一下我的背景。我在大学时的专业是 C 程序静态分析。我的主要工作，是和同学们一起山寨过一个 PREFix，分析过 OmniORB 这样的开源程序我调研过 Type System 的程序语义分析，以及 model checking 的基本原理。毕业后我自学过一点无类型的 lambda calculu
answerer_tags: 生长于闽，求学入秦，漂泊适燕，实秦人也。