手机浏览器扫描二维码访问
第九十八章 型论第三更（第2页）
类型不安全、无类型对于智商的挑战在于，你永远也不知道会输出什么bug。
那么撒尿虾和牛丸合在一起做撒尿牛丸的思路，也就有了。
同时兼备“类型论”与“图灵完备”的语言，也是存在的。
它确实是两边都不讨好。
这种语言，多是讨好“下面”的。
由于有类型，所以不会输出完全无法预料的结果。
由于有图灵完备，所以有一定的容错率。
码农鄙视链底端的大众化语言，也就诞生了。
这种玩意，王崎冯落衣不会主动去开发，算君压根就不会想着这回事。
但是，这却无异指出了一条明路。
只要奔着这个方向走，那些程序猿用的语言，总会诞生的。
“而且，这在基础算学部分……也算是有意义吧？”王崎如此说道。
赵清潭笑了。
离宗连宗，歌庭少黎一类的名头确实响亮。
但是如他一般的修士却坚信，基派的“结构”，才是下一个时代的力量。
第二天，陈由嘉醒来，听王崎将这些东西介绍一遍之后，也愣了。
“我这么厉害的吗？”
女孩愣愣的眨了眨眼睛。
王崎点了点头：“超厉害。”
陈由嘉眯起眼睛，笑了。
可旋即，她有有些疑惑：“这个……算是基础算学？我原本是要开发应用……”
“这对解析算君的成就，非常有用。”王崎说道：“再者，你是从算君的‘应用’之中反推出来，也算是一条‘从理论指向运用’的道路了。”
类型论，和函数编程也是息息相关了。
尽管在地球上，Lisp一类可以实际使用的函数式编程，早在类型论之前就开发出来了，但这并不妨碍类型论让整个编程，尤其是函数编程的艺术再上一个台阶。
布尔巴基学派理论通向应用的障碍，又消去了一个。
王崎深吸一口气，严肃道：“但是，师妹，这个还不算完。在你手上，这个类型论，也只是刚刚成型而已。”
陈由嘉一愣：“你叫它什么？类型论？”
王崎点了点头：“定义语言类型……你又什么不满吗？”
陈由嘉笑了：“感觉会被你的类论【K理论】盖过名头啊。”
王崎一愣。这可是前世语境下不存在的麻烦。
“那就唤‘型论’咯。”
“听起来和你那‘类论’是一对儿啊，不妥不妥……”
王崎勾起陈由嘉下巴，反问道：“一对儿，有什么不妥？”
“别闹，这两个理论在算学领域天差地别……”
网游航海之王 我，地球唯一超能力者 什么？奥特曼是终身制的？ 西游：六岁熊孩子，开局怒怼观世音 月薪十万，女总裁她果然不只是让我当司机 灵异直播，女主她不想吓人 谭笑风声里，灼灼桃之夭 我的修真小米三 运河之韵 建立帝国从骑士次子开始 巨树领主 大明：开局剧透崇祯，重振河山 道化九界 盛世花都 舌尖天下 巫妖生存指南 万苍天穹 敛财心 穿进语文书，从刺猹开始 先婚后爱：娇妻拒婚101次
折枝花满暄
关于折枝花满暄来阅文旗下网站阅读我的更多作品吧！...
原神：开局被打劫，恨上第三席！
「休闲」「日常」「多女主」「正宫哥伦比娅」。杨鸣穿越到了提瓦特，刚走出新手村的他，就被冒充愚人众的盗宝团打劫了。杨鸣混蛋，穷鬼都打架敢不敢报上名来！盗宝人行不改名坐不改姓，第三席少女手下！然后昏迷的杨鸣就被捡人…留云借风真君给捡了回去。但是修行虽然给了他强大的仙家法术武艺体魄，但是穿越之前...
星穹铁道：我也是开拓者
关于星穹铁道我也是开拓者苏心穿越到未知世界，带着系统默默发展三年，都快称霸整颗星球了才发现这是崩铁宇宙。而自己的师傅竟然是其他列车的开拓者，在师傅的推荐下，苏心成为了星穹列车的开拓者。也许开拓之旅很有趣，但是了解这个宇宙的隐秘更为有趣。...
她发癫，他绿茶，恋综撒糖尊嘟甜
关于她发癫，他绿茶，恋综撒糖尊嘟甜因骂的太脏，穿成po文里和她同名同姓恶毒女配假千金苏夏。原主爱的死去活来的万人迷偏执霸总维护敌蜜。她在直播间哐哐一顿输出呦呦呦，哪里来的狗叫的这么欢我看你是眉毛下面挂俩蛋，光会眨眼不会看监控有吧请看VCR＊参加恋综，节目组灵魂发问你的梦想是什么苏夏眼神流露出向往躺在一八五八块腹肌不爱穿衣服有钱的帅男人怀里哭。弹幕尖叫。＊后来，一不小心颠成团宠。霸总大哥甩她无限额黑卡，影帝二哥给她开娱乐公司，歌手三哥为她作曲高冷真千金唯独跟她贴贴。＊反派男配江羡天生凄惨，早死的妈，渣宰的爸，狠毒的哥和断了一条腿的他。江羡私生子身份曝光，被骂上热搜，全网群嘲，只有苏夏一人站在他身前维护。苏夏遇到危险，他奇迹般的站了起来。面对镜头质问他坦然一笑没错，我装的。爱她不是。我早就心动了，在你看向我的每一个眼神里，千千万万次。咸鱼烂虾是真的...
晶卡修真：从下民区开始修炼
当地球文明陷落，人类被外星文明统治。根据资质被分为了上民公民和下民。谢如龙，下民区的一个普通晶卡师。意外发现十年前觉醒的精神力可以穿梭到修真世界。从此两个体系碰撞，且看主角如何带领地球突破文明封锁，进入到浩瀚的宇宙文明中！我们的征途，是星辰大海！宇宙中有着浩瀚不同的文明，主流科技文明晶卡文明幻兽文明神话文明...
西游：旃檀大圣金蝉王
关于西游旃檀大圣金蝉王有些人忘了，西游路上是非不分的和尚，曾经也是敢在雷音宝刹中，顶撞佛祖的金蝉子。有些人以为，五百年前大闹天宫的猴子，不过是一个神佛算计下，实力平平而不自知的棋子。有些人只记得，手执钉耙龙探爪的是个猪头，却忽略了，腰挎弯弓月半轮的天蓬究竟是谁。这是个，不一样的西游故事。你会看到六翅金蝉唐三藏心猿之身孙悟空弃耙挽弓的猪八戒还有，神秘莫测的心师须菩提。不黑道祖不黑六圣，没有绝对的反派。如果你也觉得，洪荒流就只有阴谋诡计杀人夺宝太过无趣。不妨来此一观且看那五行山下仙猿镇，高老庄中人与妖。天魔祸乱十洲岛，金身染血观音院。黄风岭上得神通，流沙河下取本源。五庄观内遁乾坤，白虎岭外圣人劫解构洪荒流，在充斥算计的洪荒世界里，讲一个不只有阴谋算计的西游故事...