手机浏览器扫描二维码访问
第1280章（第1页）
第二天，陈由嘉醒来，听王崎将这些东西介绍一遍之后，也愣了。
“我这么厉害的吗？”
女孩愣愣的眨了眨眼睛。
王崎点了点头：“超厉害。”
陈由嘉眯起眼睛，笑了。
可旋即，她有有些疑惑：“这个……算是基础算学？我原本是要开发应用……”
“这对解析算君的成就，非常有用。”王崎说道：“再者，你是从算君的‘应用’之中反推出来，也算是一条‘从理论指向运用’的道路了。”
类型论，和函数编程也是息息相关了。
尽管在地球上，Lisp一类可以实际使用的函数式编程，早在类型论之前就开发出来了，但这并不妨碍类型论让整个编程，尤其是函数编程的艺术再上一个台阶。
布尔巴基学派理论通向应用的障碍，又消去了一个。
王崎深吸一口气，严肃道：“但是，师妹，这个还不算完。在你手上，这个类型论，也只是刚刚成型而已。”
陈由嘉一愣：“你叫它什么？类型论？”
王崎点了点头：“定义语言类型……你又什么不满吗？”
陈由嘉笑了：“感觉会被你的类论【K理论】盖过名头啊。”
王崎一愣。这可是前世语境下不存在的麻烦。
“那就唤‘型论’咯。”
“听起来和你那‘类论’是一对儿啊，不妥不妥……”
王崎勾起陈由嘉下巴，反问道：“一对儿，有什么不妥？”
“别闹，这两个理论在算学领域天差地别……”
“名字相似而已嘛！”
笑闹之中，这注定震动历史的理论，算是敲定名字了。
陈由嘉却突然叹息：“这一次，还真是机缘巧合……若是没有海霆真人、冯老师的论战，我绝无可能触及算君的那一丝‘想法’；而若是没有算君的书稿，我纵使窥得门径，也未必能入……”
“自信一点。”王崎拍了拍陈由嘉的脑袋：“你也足够强了。”
兴奋过后，陈由嘉忽然又有些担忧：“话说，基派算学，主要就是为了那算学根基。这次我论文发表，那便是……便是以连宗的身份加入现在的论战了吧？是不是……不大好？”
一个学派，总得有一个学派的理念一以贯之。
王崎思考片刻：“我看没什么不好啊。我发表不周之算的时候，可还算歌庭派编外成员呢。”
“啊？我总觉得你做了个不吉利的比喻……”
王崎摆手：“想哪去了……总之，不周之算，算是我万法门内崛起的一个点，也算是基派的原点了吧？可以说，连宗离宗的上一场论战，就是由我终结。而现在，也就是他们最后的论战，也算是因我而起。”
现在离宗连宗，都在尝试对不完备定理发起挑战。王崎这么说，也没错。
“我也正是因为这样，才有了组件基派的资本。”
“这一场纷乱，因基派而起，那么，由基派成员终结，也并无不妥。”
陈由嘉语气一滞：“终结……”
王崎点了点头：“终结。我该说……去吧，终结这个旧世代。”
杨东苏沐芸 天蚕土豆的作品万相之王 什么金盆洗手，我又不是龙头大佬 万相之王李洛百度云 我在三十年前与现在来回穿梭 暮雪与穆雪 救命霍医生破戒后太狂了姜怡霍燃 杨东苏沐芸开局停职我转投市纪委调查组免费阅读全文 救命霍医生破戒后太狂了姜怡霍燃的全文免费阅读无弹窗 姜怡霍燃全文免费阅读无弹窗 武动乾坤之淫符林动 万相之王李洛全集免费阅读 双生神级武魂，震惊妖帝老婆！ 觉醒鉴宝读心术，我捡漏狂赚百亿 开局停职我转投市纪委调查组杨东苏沐芸全文免费阅读完整版 救命霍医生破戒后太狂了 开局停职我转投市纪委调查组 开局停职我转投市纪委调查组杨东苏沐芸免费阅读 开局停职我转投市纪委调查组杨东苏沐芸的全文免费阅读无弹窗 开局停职我转投市纪委调查组
邪气凛然
很显然，这是跳舞的又一套新书。也将会是跳舞在起点的第五套全本。（注意，这本书是都市YY，呵呵。几乎没有什么神话色彩，更不会再有什么教皇教会宗教圣骑士吸血鬼玉皇大帝之类的东西了）...
凝脂美人随军后，最强军爷急红眼
一朝穿越七十年代，成为了一个将要遭受迫害，面临下乡窘境的物理教授的女儿林听绾，无奈之下被迫相亲！据说那人比她大八岁带三个娃，还不能生育！别人避之不及，林听绾见之却眼前一亮，宽肩窄腰大长腿，一身正气不说，还是个妥妥的纯情小狼狗！结婚后，众人八卦的DNA启动！听说了吗？陆云铮带回来一个漂亮媳妇，可这后妈不好当啊...
下山第一天就撞鬼
时锦从小长在白云观，十五岁时跟随萧家家主萧鹤川回京。二十二岁的萧鹤川看着面前娇娇小小的小孩儿你跟着行远叫我爸爸也可以。眼底毫无波澜的时锦你要是觉得你七岁的时候能生下我，我是不介意叫你爹的。萧鹤川二十五岁的萧鹤川面对出落的亭亭玉立的时锦锦锦时锦爹爹萧鹤川卒...
乡村慾孽
这里有寂寞的嫂子，性感的村妇，美艳动人的邻家小妹，还有无数活色春香的美女。看乡村少年如何玩转乡村，抱得美人归！这是一部极度YY的故事，主角不御女三千决不罢休！...
重生的齿轮
时忆，时氏集团大小姐，上辈子带着亲情滤镜被害离世。重生归来，她不在眼瞎，披上战甲，决定用自己的力量，守护时家，找到弟弟。骆祺，骆氏集团继承人，回国接手家族集团，杀伐果断的霸总，却在遇上时小姐之后屡屡碰壁，他发誓一定要把人拐回家。...
漂亮小哑巴被阴鸷大佬盯上了
看似心狠手辣阴鸷疯批实则心地柔软温润护妻攻×柔弱漂亮纯洁小白花哑巴受小哑巴被逼勾引大佬，盗取商业机密，之后不告而别，再没脸去见他。四年后，大佬回国逮到他。很缺钱？要跑到这种地方来卖？聂北弦眼神冰冷。小哑巴小脸羞红，用力摇头。抖什么？背叛我的时候，不是挺有勇气吗？小哑巴欲哭无泪，有口难言。放心，我不会弄死...