手机浏览器扫描二维码访问
第九十八章 型论第三更（第2页）
类型不安全、无类型对于智商的挑战在于，你永远也不知道会输出什么bug。
那么撒尿虾和牛丸合在一起做撒尿牛丸的思路，也就有了。
同时兼备“类型论”与“图灵完备”的语言，也是存在的。
它确实是两边都不讨好。
这种语言，多是讨好“下面”的。
由于有类型，所以不会输出完全无法预料的结果。
由于有图灵完备，所以有一定的容错率。
码农鄙视链底端的大众化语言，也就诞生了。
这种玩意，王崎冯落衣不会主动去开发，算君压根就不会想着这回事。
但是，这却无异指出了一条明路。
只要奔着这个方向走，那些程序猿用的语言，总会诞生的。
“而且，这在基础算学部分……也算是有意义吧？”王崎如此说道。
赵清潭笑了。
离宗连宗，歌庭少黎一类的名头确实响亮。
但是如他一般的修士却坚信，基派的“结构”，才是下一个时代的力量。
第二天，陈由嘉醒来，听王崎将这些东西介绍一遍之后，也愣了。
“我这么厉害的吗？”
女孩愣愣的眨了眨眼睛。
王崎点了点头：“超厉害。”
陈由嘉眯起眼睛，笑了。
可旋即，她有有些疑惑：“这个……算是基础算学？我原本是要开发应用……”
“这对解析算君的成就，非常有用。”王崎说道：“再者，你是从算君的‘应用’之中反推出来，也算是一条‘从理论指向运用’的道路了。”
类型论，和函数编程也是息息相关了。
尽管在地球上，Lisp一类可以实际使用的函数式编程，早在类型论之前就开发出来了，但这并不妨碍类型论让整个编程，尤其是函数编程的艺术再上一个台阶。
布尔巴基学派理论通向应用的障碍，又消去了一个。
王崎深吸一口气，严肃道：“但是，师妹，这个还不算完。在你手上，这个类型论，也只是刚刚成型而已。”
陈由嘉一愣：“你叫它什么？类型论？”
王崎点了点头：“定义语言类型……你又什么不满吗？”
陈由嘉笑了：“感觉会被你的类论【K理论】盖过名头啊。”
王崎一愣。这可是前世语境下不存在的麻烦。
“那就唤‘型论’咯。”
“听起来和你那‘类论’是一对儿啊，不妥不妥……”
王崎勾起陈由嘉下巴，反问道：“一对儿，有什么不妥？”
“别闹，这两个理论在算学领域天差地别……”
月薪十万，女总裁她果然不只是让我当司机 谭笑风声里，灼灼桃之夭 舌尖天下 我的修真小米三 巫妖生存指南 先婚后爱：娇妻拒婚101次 穿进语文书，从刺猹开始 敛财心 什么？奥特曼是终身制的？ 盛世花都 道化九界 建立帝国从骑士次子开始 我，地球唯一超能力者 西游：六岁熊孩子，开局怒怼观世音 网游航海之王 运河之韵 巨树领主 万苍天穹 大明：开局剧透崇祯，重振河山 灵异直播，女主她不想吓人
老登，看！咱家的散装宗门
一条鱼？一只狐狸？一个阿飘？外加一位魔族！徒儿啊！你是一个人都不给为师收啊？！！扶山子额头青筋突跳，扭头看向自己的开山大弟子，只见他的大弟子躺在躺椅上，蒲扇轻轻摇动，好不快哉，悠然道师父，这话徒儿不爱听，不爱听啊！怎么没给你收人，那不就是随即手中蒲扇往远方一指，扶山子顺势看去，只觉吾命休矣，那可是人族修士...
重生七零，末世女带着异能杀疯了
「年代双洁穿越虐渣打脸异能空间忠犬甜宠搞钱」在末世不幸丧生的徐娇娇一睁眼竟发现自己穿回了华夏国五百年前的七十年代，还是开局就遇上渣男一家前来退婚的狗血画面。经历过末世逃亡的徐娇娇冷冷一笑，很好，她最喜欢以拳服人了。刚考上县里的临时工就看不起我了是吧，没关系，想退婚可以，先挨本小姐一顿揍再说。你以为这就...
传奇，从继承校花老婆开始
周波，你个死肥猪，还在睡，赶紧给老娘滚下来！一个身穿大红嫁衣的绝美女子站在床前大声呵斥。迷迷糊糊的周波看到这个女子心中一跳开玩笑，老夫今天结婚？这么漂亮的女人是我未婚妻？我咋一点印象都没有？...
嫡女惨死后，重回赐婚前，不嫁了
关于嫡女惨死后，重回赐婚前，不嫁了疯批嫡女重生后，虐渣男斗庶妹嫁死对头，狗咬她她都要咬回去！上一世，相府嫡女颜云姝身负恶名，倾尽外祖家财力和权势，助大皇子许景烨得太子位得皇位。可登基当日，他却抄了她外祖满门，将她打入死牢，迎娶了她的庶妹颜书瑶。数月后，他亲自带着她的庶妹颜书瑶来到死牢，一壶毒酒将她活活灌死。死后她才发现，这个世界是一本书。她是书中恶毒女配，庶妹颜书瑶是穿书女主，手握预知未来的金手指肆意夺取她的气运，踩她上位。一朝重生，竟回到了圣上赐婚前，坚决不嫁了。但上一世那个处处和她作对的死对头，原本的皇位继承者，却成了她的这一世的准夫君。人人都道二皇子许景槐冷酷残暴不近女色，只有他自己知道，他心里只有她。...
校园青春之混的那些年
关于校园青春之混的那些年我叫陈庆，因为校园霸凌，走上了这条不归路，而踏进这泥潭后，却越陷越深，直到淹没，永远的消失给大家讲讲我曾混过的那些年吧，或许当时很快乐，或许当时没有那么多的烦恼，或许也因为那几年改变了一生，又或许正是那些年毁了我的一生！（特此声明本故事纯属虚构无不良引导切勿代入现实请勿模仿）注作者写本书目的只是告诫大家，不要踏足这泥泞之地，出来混，没有什么好下场，也不会有那么多的叱咤风云，常在河边走哪有不湿鞋，当你遇到背叛出卖欺骗家人分离时，那种痛苦无法想象，你以为你得到尊严了，但你却早已失去了尊严。相信各位读者都会感同身受，远离这片是非之地。珍惜眼前，活在当下，简单平淡也是幸福，感谢大家。...
称霸诸天：从娶女弟子开始
关于称霸诸天从娶女弟子开始大弟子天狐女帝师傅，人家怕冷，求暖被窝二弟子九幽魔帝师傅，你若不嫁给我，我就砍你了哦三弟子绝情女帝师傅，缺对象吗？咱俩处处。萧三斤乖徒儿们别闹，我忙着独断万古呢...