手机浏览器扫描二维码访问
第1280章（第1页）
第二天，陈由嘉醒来，听王崎将这些东西介绍一遍之后，也愣了。
“我这么厉害的吗？”
女孩愣愣的眨了眨眼睛。
王崎点了点头：“超厉害。”
陈由嘉眯起眼睛，笑了。
可旋即，她有有些疑惑：“这个……算是基础算学？我原本是要开发应用……”
“这对解析算君的成就，非常有用。”王崎说道：“再者，你是从算君的‘应用’之中反推出来，也算是一条‘从理论指向运用’的道路了。”
类型论，和函数编程也是息息相关了。
尽管在地球上，Lisp一类可以实际使用的函数式编程，早在类型论之前就开发出来了，但这并不妨碍类型论让整个编程，尤其是函数编程的艺术再上一个台阶。
布尔巴基学派理论通向应用的障碍，又消去了一个。
王崎深吸一口气，严肃道：“但是，师妹，这个还不算完。在你手上，这个类型论，也只是刚刚成型而已。”
陈由嘉一愣：“你叫它什么？类型论？”
王崎点了点头：“定义语言类型……你又什么不满吗？”
陈由嘉笑了：“感觉会被你的类论【K理论】盖过名头啊。”
王崎一愣。这可是前世语境下不存在的麻烦。
“那就唤‘型论’咯。”
“听起来和你那‘类论’是一对儿啊，不妥不妥……”
王崎勾起陈由嘉下巴，反问道：“一对儿，有什么不妥？”
“别闹，这两个理论在算学领域天差地别……”
“名字相似而已嘛！”
笑闹之中，这注定震动历史的理论，算是敲定名字了。
陈由嘉却突然叹息：“这一次，还真是机缘巧合……若是没有海霆真人、冯老师的论战，我绝无可能触及算君的那一丝‘想法’；而若是没有算君的书稿，我纵使窥得门径，也未必能入……”
“自信一点。”王崎拍了拍陈由嘉的脑袋：“你也足够强了。”
兴奋过后，陈由嘉忽然又有些担忧：“话说，基派算学，主要就是为了那算学根基。这次我论文发表，那便是……便是以连宗的身份加入现在的论战了吧？是不是……不大好？”
一个学派，总得有一个学派的理念一以贯之。
王崎思考片刻：“我看没什么不好啊。我发表不周之算的时候，可还算歌庭派编外成员呢。”
“啊？我总觉得你做了个不吉利的比喻……”
王崎摆手：“想哪去了……总之，不周之算，算是我万法门内崛起的一个点，也算是基派的原点了吧？可以说，连宗离宗的上一场论战，就是由我终结。而现在，也就是他们最后的论战，也算是因我而起。”
现在离宗连宗，都在尝试对不完备定理发起挑战。王崎这么说，也没错。
“我也正是因为这样，才有了组件基派的资本。”
“这一场纷乱，因基派而起，那么，由基派成员终结，也并无不妥。”
陈由嘉语气一滞：“终结……”
王崎点了点头：“终结。我该说……去吧，终结这个旧世代。”
七零空间小娇女 替嫁给病弱佛修太子后他破戒了姜南枝容司璟更新 天才高手 玄学大佬在现代 替嫁给病弱佛修太子后他破戒了姜南枝容司璟全文免费完结版 一觉醒来怀了崽 武裂苍穹秦天青儿百度云 武裂苍穹秦天青儿全集免费阅读 穿书之末世娇宠 九子登云的作品武裂苍穹 替嫁给病弱佛修太子后他破戒了姜南枝容司璟后续 唐老太的种田生活 神道丹帝叶尘苏傲雪全本免费阅读 人人都爱马文才 就想和你在一起 封先生的宠爱 穿成大佬假妹妹 替嫁给病弱佛修太子后他破戒了姜南枝容司璟番外 贵门妾 周一见
重生西游之我为妖尊
重生西游之我为妖尊简介emspemsp关于重生西游之我为妖尊六耳猕猴被如来假借孙悟空之手打死，时空错乱，似乎有一些事情是冥冥中早已注定，一个叫做罗峰的年轻人穿越到了六耳猕猴刚出生时的样子，天道为系统，他，会怎么做？...
命劫惊魂
命劫惊魂简介emspemsp关于命劫惊魂眼瞎，不一定看不见眼见，也不一定为实。那次，我下令斩杀了我的曾祖母亲手杀了我的二妹，后来又打死了我爹诡异的事不断发生，仿佛透着层雾，叫我看不清，该往哪里走...
这就是无敌
这就是无敌简介emspemsp这就是无敌是王冠非锟的经典玄幻魔法类作品，这就是无敌主要讲述了白策在考虑一个事情，自己这是无敌了吗？可是，自己什么也没做，王冠非锟最新鼎力大作，年度必看玄幻魔法。海棠屋（haitangshuwucom）提供这就是无敌最新章节全文免费阅读！。...
某美漫的神级强化师
某美漫的神级强化师简介emspemsp关于某美漫的神级强化师你曾面临过强化失败到所有装备都归零，甚至碎掉的痛苦吗？当南森面临这一切的时候，只是一声怒吼赛丽亚，劳资当年一定是智障了才特么的救你！然后，穿越了发现自己随身携带‘强化机’在天上飞那个铁罐头，你要不要强化一波？钢铁侠不要！南森听闻后掏出了一块10老旧的半块板砖，先把他干下来，随后再商量。美队，你这个盾牌质量不行，你看我拿个小刀划两下它竟然破了。美队MMP！灭霸...
穿成大反派的团宠闺女
穿书团宠腹黑小娇包别人穿书都是穿成公主皇后妃子，偏偏季裳初穿成了一个跟剧情毫不相干的人？毫不相干也就罢了，穿过去的第一天还经历了了屠村，父母双亡？季裳初郁闷。为了好好活下去，她自然是要抱个好大腿。战无不胜能文能武风姿绰约的晟王便成了她的亲爹首要人选。从此，晟王身后多了一个小娇包爹爹长，爹爹短，爹爹的养老初初管。太后哀家的孙女真可爱。皇帝朕的小侄女真可爱。闻太师本座的孙媳妇真可爱。楚尧？？？晟王爷千防万防，防得了近贼，却没防住远贼。医蛊少年宋玄卿，历尽天下冷暖，过眼风情万千，却独独败在了西楚小郡主的石榴裙下。数年之前，季裳初机缘巧合拾得一块血玉麒麟，数年之后，她被蛊神宋玄卿逼至墙角，那人如同皎皎天上仙般不染凡尘，邪魅一笑便足以勾魂。小郡主可知，您身上佩戴的血玉麒麟，乃是宋家儿郎的定亲之物，小郡主佩戴此物多年，那宋某，也就只能认下小郡主这未婚之妻了。季裳初！！！如果您喜欢穿成大反派的团宠闺女，别忘记分享给朋友...
嫡女无双：妖孽王爷请让道
嫡女无双妖孽王爷请让道简介emspemsp嫡女无双妖孽王爷请让道是青霞云的经典其他类型类作品，嫡女无双妖孽王爷请让道主要讲述了一朝重生，凤凰涅槃，朝堂之上，能言善辩，一挽狂澜。医术武功青霞云最新鼎力大作，年度必看其他类型。PO1...