第二百九十章操作系统负责人
陈咨能够记住这家伙是因为这人是中科大的少年班毕业生。
而特意去关注中科大少年班的这些家伙,是因为无意之中看到了少年班优劣的评析,又关注了少年班那班大部分留在国外的人才大犇。
所以他特别搜索过中科大后来成才的那些牛人,里面就有这叫邵中的家伙。
由于陈咨自己学的就是计算机,就特别关注有没有在计算机方面的牛人。
很遗憾,大型集成电路或者芯片上的专业环境面太大,华人大成就者也不算多,软件方面更加。
排名前二十的程序员中,唯一的黄种人是来自日本的,而唯一最接近的华人就是这叫邵中的家伙。
由此陈咨特别关注了他的研究方向和履历。
记得这家伙对函数式编程语言有非同一般的理解和造诣,是学术界和工业界科研项目中广泛使用的SML/NJ函数式编程语言的编译器的主要设计和实现者之一,其中有影响的研究成果包括基于后续传递风格的编译方法等多项成果。(注1)
而编译这种最底层的研究,恰恰就是操作系统最核心的技术根基之一。
所以能够搞编译的人,绝对能够搞汇编和操作系统。
很多即使是学计算机专业的人都搞不清楚编译和汇编最本质的区别。
事实上汇编语言变成机器语言的这个过程一样可以叫编译,所以编译才是机器语言到其它语言的基础。
或者说编就是编织1010这样的机器语言变成人可以识别的符号语言或者高级语言,反过来就是翻译,也就是解释,合起来就是编译。
所以这家伙来搞操作系统,那绝对的没毛病。
而且函数式编程语言虽然效率不高,但是是公认的最贴合人类思维的编程语言。
搞不好嫁接上这个星球上最具表现力的象形文字(汉字),或许能够让象形文字为基础编码的操作系统出现化学反应哩!
弄不好会搞出超越这个时代的操作系统,那就真好玩了。
不过现在就考虑这个似乎还有点远。
人没找着不说,别人同不同意还难说呢?
很多目前出国留学的精英,后来都变成了外国人,邵中好像最后就成了美国人。
中科大少年班那一串串成才的天才们,大多是吃了华国的培养饭,贡献都给了美帝国主义。
……
陈咨找到迟