手机浏览器扫描二维码访问
第九十八章 型论第三更（第2页）
类型不安全、无类型对于智商的挑战在于，你永远也不知道会输出什么bug。
那么撒尿虾和牛丸合在一起做撒尿牛丸的思路，也就有了。
同时兼备“类型论”与“图灵完备”的语言，也是存在的。
它确实是两边都不讨好。
这种语言，多是讨好“下面”的。
由于有类型，所以不会输出完全无法预料的结果。
由于有图灵完备，所以有一定的容错率。
码农鄙视链底端的大众化语言，也就诞生了。
这种玩意，王崎冯落衣不会主动去开发，算君压根就不会想着这回事。
但是，这却无异指出了一条明路。
只要奔着这个方向走，那些程序猿用的语言，总会诞生的。
“而且，这在基础算学部分……也算是有意义吧？”王崎如此说道。
赵清潭笑了。
离宗连宗，歌庭少黎一类的名头确实响亮。
但是如他一般的修士却坚信，基派的“结构”，才是下一个时代的力量。
第二天，陈由嘉醒来，听王崎将这些东西介绍一遍之后，也愣了。
“我这么厉害的吗？”
女孩愣愣的眨了眨眼睛。
王崎点了点头：“超厉害。”
陈由嘉眯起眼睛，笑了。
可旋即，她有有些疑惑：“这个……算是基础算学？我原本是要开发应用……”
“这对解析算君的成就，非常有用。”王崎说道：“再者，你是从算君的‘应用’之中反推出来，也算是一条‘从理论指向运用’的道路了。”
类型论，和函数编程也是息息相关了。
尽管在地球上，Lisp一类可以实际使用的函数式编程，早在类型论之前就开发出来了，但这并不妨碍类型论让整个编程，尤其是函数编程的艺术再上一个台阶。
布尔巴基学派理论通向应用的障碍，又消去了一个。
王崎深吸一口气，严肃道：“但是，师妹，这个还不算完。在你手上，这个类型论，也只是刚刚成型而已。”
陈由嘉一愣：“你叫它什么？类型论？”
王崎点了点头：“定义语言类型……你又什么不满吗？”
陈由嘉笑了：“感觉会被你的类论【K理论】盖过名头啊。”
王崎一愣。这可是前世语境下不存在的麻烦。
“那就唤‘型论’咯。”
“听起来和你那‘类论’是一对儿啊，不妥不妥……”
王崎勾起陈由嘉下巴，反问道：“一对儿，有什么不妥？”
“别闹，这两个理论在算学领域天差地别……”
巫妖生存指南 运河之韵 我的修真小米三 道化九界 盛世花都 网游航海之王 我，地球唯一超能力者 灵异直播，女主她不想吓人 巨树领主 西游：六岁熊孩子，开局怒怼观世音 敛财心 月薪十万，女总裁她果然不只是让我当司机 大明：开局剧透崇祯，重振河山 先婚后爱：娇妻拒婚101次 穿进语文书，从刺猹开始 建立帝国从骑士次子开始 谭笑风声里，灼灼桃之夭 舌尖天下 什么？奥特曼是终身制的？ 万苍天穹
捡漏鉴宝收藏我的博物馆举世无双
老板不是人跑路，失业女朋友坐宝马车里‘哭’去了，失恋口袋里分币不剩的图乾，正准备加入三和大神队伍，却突然被博物馆系统绑定了。什么？博物馆是空的？只有公厕大？还真就是公厕改的？这不是侮辱人嘛！狗屁系统，滚粗！什么，可以将文物碎片恢复成完整状态，那不是要发财了么？系统不，爸爸！你不要离开我啊！分币不剩，被博物馆系统...
无限升级之恶魔皇帝
...
玄门不正宗
世人修行，皆须肉身圆满方可补益神魂，而后阴神出窍揽天地精粹。王弃修行，直接从出窍开始于是修行之始便可纳天地精粹。世间万法学过，会了，改一改，形状变了。时逢天子白首求长生，又有三次大征凋敝民生。王弃挎弓入世，起于行伍，开启他的野路子修行之旅。...
兽世生子：猫系美人被大佬们追宠
关于兽世生子猫系美人被大佬们追宠天煞孤星的禾芊芊魂穿到兽世。成为金猫部落的雌性。原主貌丑，身体瘦弱矮小，发育不良，孤苦无依。到手一把烂牌。不怕不怕。幸亏绑定兽世生存系统，送动物亲和力赋能，送好孕生子大礼包。禾芊芊果断选择隔壁英俊阳光的兔狲兽人，当自己夫君。日子一天天红火，她脸上的脓包好了，长高了，更美了。突然有一天，被预测无生育能力的她，怀崽了。亲和力赋能Buff的加持，她妥妥的蜕变成猫系万人迷美人。撒丫子奔向好日子搞基建，种田，织布，一样样来。泠野，傲娇的猞猁兽人，孤冷清傲，为她折了腰。戬泽杀伐霸气的翼虎兽人，秒变虎斑猫，腻歪撒娇什么，宠物想升级当夫君？你咋不上天？有一天禾芊芊嘿嘿真香，路虎有，私人飞机也有，真的能上天。夜千暮霸道的疯批太攀蛇兽人，冷漠凉薄却对为她上了心忠犬雪鸮擎羽芊芊，你快看看我，毛秃了我就不可爱了吗？会幻术的人鱼冥宫谣妖孽傲娇的九尾狐狐翎，耿直的大熊猫兄弟，趾高气昂的凤凰甚至，还有个琅树藤，成了精的上古神树禾芊芊装柔弱你们不要过来啊！...
穿成窝囊小姐的贴身丫鬟
关于穿成窝囊小姐的贴身丫鬟一觉睡醒后，温紫茉竟然穿成了小姐身边的丫鬟！什么？开局就出现一本书，告诉她三天后就嘎了？！这能忍？忍不了一点，直接摆烂！没准还能穿越回去！谁知道，摆着摆着怎么又嘎不掉了？更没想到的是，竟然还有奖励！温紫茉对此表示很满意！但是为什么那本书又出现了...
般若花开情根净
（女主痛失后醒觉，释怀所有，心死情灭，戒情绪断情根，心住于空门。）叶弥若曾是玄天宗最受人艳羡的大小姐。她不仅拥有玄天宗内所有人的宠爱，还是自己的师父父母兄长们捧在手心的明珠。可自从她那三哥从凡俗界带回来一个跟她同岁的小孤女后她的世界，变了。她的母亲陷入昏迷，父亲师父不信她，哥哥逐渐厌弃她，师姐们小伙伴...