手机浏览器扫描二维码访问
第1280章（第1页）
第二天，陈由嘉醒来，听王崎将这些东西介绍一遍之后，也愣了。
“我这么厉害的吗？”
女孩愣愣的眨了眨眼睛。
王崎点了点头：“超厉害。”
陈由嘉眯起眼睛，笑了。
可旋即，她有有些疑惑：“这个……算是基础算学？我原本是要开发应用……”
“这对解析算君的成就，非常有用。”王崎说道：“再者，你是从算君的‘应用’之中反推出来，也算是一条‘从理论指向运用’的道路了。”
类型论，和函数编程也是息息相关了。
尽管在地球上，Lisp一类可以实际使用的函数式编程，早在类型论之前就开发出来了，但这并不妨碍类型论让整个编程，尤其是函数编程的艺术再上一个台阶。
布尔巴基学派理论通向应用的障碍，又消去了一个。
王崎深吸一口气，严肃道：“但是，师妹，这个还不算完。在你手上，这个类型论，也只是刚刚成型而已。”
陈由嘉一愣：“你叫它什么？类型论？”
王崎点了点头：“定义语言类型……你又什么不满吗？”
陈由嘉笑了：“感觉会被你的类论【K理论】盖过名头啊。”
王崎一愣。这可是前世语境下不存在的麻烦。
“那就唤‘型论’咯。”
“听起来和你那‘类论’是一对儿啊，不妥不妥……”
王崎勾起陈由嘉下巴，反问道：“一对儿，有什么不妥？”
“别闹，这两个理论在算学领域天差地别……”
“名字相似而已嘛！”
笑闹之中，这注定震动历史的理论，算是敲定名字了。
陈由嘉却突然叹息：“这一次，还真是机缘巧合……若是没有海霆真人、冯老师的论战，我绝无可能触及算君的那一丝‘想法’；而若是没有算君的书稿，我纵使窥得门径，也未必能入……”
“自信一点。”王崎拍了拍陈由嘉的脑袋：“你也足够强了。”
兴奋过后，陈由嘉忽然又有些担忧：“话说，基派算学，主要就是为了那算学根基。这次我论文发表，那便是……便是以连宗的身份加入现在的论战了吧？是不是……不大好？”
一个学派，总得有一个学派的理念一以贯之。
王崎思考片刻：“我看没什么不好啊。我发表不周之算的时候，可还算歌庭派编外成员呢。”
“啊？我总觉得你做了个不吉利的比喻……”
王崎摆手：“想哪去了……总之，不周之算，算是我万法门内崛起的一个点，也算是基派的原点了吧？可以说，连宗离宗的上一场论战，就是由我终结。而现在，也就是他们最后的论战，也算是因我而起。”
现在离宗连宗，都在尝试对不完备定理发起挑战。王崎这么说，也没错。
“我也正是因为这样，才有了组件基派的资本。”
“这一场纷乱，因基派而起，那么，由基派成员终结，也并无不妥。”
陈由嘉语气一滞：“终结……”
王崎点了点头：“终结。我该说……去吧，终结这个旧世代。”
时光请善待我的她 天黑请开眼 悍妻[医道] 我是狠人大帝的同乡 眼镜兄撞上恶魔王子 大明孤狼 捡到病娇太子之后（重生） 废材重生：邪王独宠悍王妃 一爱到底之顾少毒妻 穿越之弃子国师 扛着boss拼下限（末世） 烈火燃情：高冷总裁滚远点 直播和男神同居的日子 神偷长公主 断神 系统之娇宠孕妻 赌妃在上，王爷在下 天地炼成 娱乐超级奶爸 最强除妖师
从亮剑开始的战争系统
我以为亮剑是我战争生涯的结束，没想到却是开始。为了生存，我去了太平洋战争。去了珍珠港。去了中途岛之战。我还去了兵临城下和硫磺岛。我甚至还去了举起手来？？系统，出错了吧？？？如果您喜欢从亮剑开始的战争系统，别忘记分享给朋友...
无限气运主宰
穿越异界，成为帝国唯一继承人，日后更可继承皇位，没毛病，这很主角！只可惜时不我待，晚生了十几年，未能力挽狂澜于国破家亡之前！只能无奈沦为囚犯，被困樊笼不得逃脱！好在有诸天万界作为后盾，更可用气运兑换诸多功法宝物！那还有什么好说的？苏景拿出了自己的气运值，一通买买买什么？气运值过低会导致被世界排斥变的很倒霉？更...
全程防御，我气哭了百万修仙者
关于全程防御，我气哭了百万修仙者修为犹如凡人，防御却强得令人发指。以肉身硬扛天道神雷，坑死了天道化身，在沼泽毒气中睡觉，一觉醒来发现沼泽毒气都没了张缺在下张缺，今年十八，神虚大陆，四坑之首，最爱灵石，实力无敌，你要是看我不爽，丫的就来打我啊！...
男神豪宠小宝贝
一百万，谁愿意陪我一夜？一千万，我买你一夜！一次酒醉，她被权倾京城的太子爷豪门封家的继承人封凌夜看中，面对他的步步紧逼，她节节败退然而一场突如其来的车祸，引出了背后一个巨大的阴谋六...
灾厄之冠
死亡如风，灾厄随行！当我戴起王冠之时永不低头！穿越而来的歌德面对着短短一个月内祖父病亡父母叔叔姑姑堂弟们全部失踪，债台高筑，且下一个就是他的糟糕境地不由嘴角浮现狞笑，准备干翻一切。如果您喜欢灾厄之冠，别忘记分享给朋友...
掠夺两界
我叫南木，两个空间的主宰者。南木格言老子曰天地不仁以万物为刍狗。掠夺异界文明面对机甲战士兽化战士符法师变种人僵尸荒兽变异怪兽异星人等等南木说打劫！征服原界文明面对商业寡头，南木说我能用黄金铺满你所能看到的地方！面对工业巨头，南木说看过漫威吗？托尼斯塔克玩的是哥剩下的东西。面对能源霸主，南木说见过一张卡片，驱动的坦克吗？那如果驱动的是飞船呢？面对修者超能者，南木说来呀！正面钢呀！面对两界的女人南木冷静些！今天名额满了。孟子曰有无相生。（非无脑爽文，逻辑科幻，古风描写，不爽你找我）Q群109576670如果您喜欢掠夺两界，别忘记分享给朋友...