手机浏览器扫描二维码访问
第九十八章 型论（第2页）
类型不安全、无类型对于智商的挑战在于，你永远也不知道会输出什么bug。
那么撒尿虾和牛丸合在一起做撒尿牛丸的思路，也就有了。
同时兼备“类型论”与“图灵完备”的语言，也是存在的。
它确实是两边都不讨好。
这种语言，多是讨好“下面”的。
由于有类型，所以不会输出完全无法预料的结果。
由于有图灵完备，所以有一定的容错率。
码农鄙视链底端的大众化语言，也就诞生了。
这种玩意，王崎冯落衣不会主动去开发，算君压根就不会想着这回事。
但是，这却无异指出了一条明路。
只要奔着这个方向走，那些程序猿用的语言，总会诞生的。
“而且，这在基础算學部分……也算是有意义吧？”王崎如此说道。
赵清潭笑了。
离宗连宗，歌庭少黎一类的名头确实响亮。
但是如他一般的修士却坚信，基派的“结构”，才是下一个时代的力量。
第二天，陈由嘉醒来，听王崎将这些东西介绍一遍之后，也愣了。
“我这么厉害的吗？”
女孩愣愣的眨了眨眼睛。
王崎点了点头：“超厉害。”
陈由嘉眯起眼睛，笑了。
可旋即，她有有些疑惑：“这个……算是基础算學？我原本是要开发应用……”
“这对解析算君的成就，非常有用。”王崎说道：“再者，你是从算君的‘应用’之中反推出来，也算是一条‘从理论指向运用’的道路了。”
类型论，和函数编程也是息息相关了。
尽管在地球上，lisp一类可以实际使用的函数式编程，早在类型论之前就开发出来了，但这并不妨碍类型论让整个编程，尤其是函数编程的艺术再上一个台阶。
布尔巴基學派理论通向应用的障碍，又消去了一个。
王崎深吸一口气，严肃道：“但是，师妹，这个还不算完。在你手上，这个类型论，也只是刚刚成型而已。”
陈由嘉一愣：“你叫它什么？类型论？”
王崎点了点头：“定义语言类型……你又什么不满吗？”
陈由嘉笑了：“感觉会被你的类论【k理论】盖过名头啊。”
王崎一愣。这可是前世语境下不存在的麻烦。
“那就唤‘型论’咯。”
“听起来和你那‘类论’是一对儿啊，不妥不妥……”
王崎勾起陈由嘉下巴，反问道：“一对儿，有什么不妥？”
“别闹，这两个理论在算學领域天差地别……”
“名字相似而已嘛！”
黑暗剑圣 重生之天生我才 道梦之轮回 鼎天武帝 玄玑图 舞吧，傀儡 超级特警综合系统 苍天霸业 死亡神座 网游之零纪元 权柄大明 霸隋 美女教师的鬼医高手 纸醉江山 美女总裁老婆 我叫布里茨 醉卧九天 兽王三国 神捕乱宋 与女精灵的地球生活
我在峡谷捡宝箱
作者冷七的经典小说我在峡谷捡宝箱最新章节全文阅读服务本站更新及时无弹窗广告小说苏白发现自己的王者荣耀不太一样，他的王者峡谷里面有诸多宝箱，里面能爆出无数东西，金钱，技能，丹药，功法等等各种匪夷所思的宝贝！靠着峡谷里面的宝箱，苏白走上了人生巅峰！苏白，打团了，这波团定生死！等等，我捡个宝箱先！苏白，你这个辅助怎么玩的，我一个射手被压死！你还不来帮我？相信你，你可以的，我先去对抗路捡个宝箱就来！队友...
她从骨中来
午夜时分，夜栈之门为你打开，你不敢走的路她会陪你走...
全能弃少在都市
杨桀，一个十分普通的学生却因为机缘巧合被抓到了国外，成为人体研究的素材几经生死，后得高人相助，意外获得神秘力量。他将成为华夏的传奇，佣兵界的神话，全能的兵王，而这一切，从他王者归来，回返华夏开始！两百万字老书逍遥房东俏房客连接等更新的时候可以去看看。★金钻200加一更，玉佩加一更，皇冠加十更，个人累计打赏...
重生空间：豪门辣妻不好惹
她，鬼医传人，爆炸身亡，竟然重生到了一个高三的傻姑娘身上。说她傻？呸，炼丹医术信手拈来吓得你们屁都不敢放一个！笑她爹不疼娘不爱？呵，随手就能将渣妹后妈给扎个透心凉！重生一世，林素儿只想揍渣男虐贱女活个潇潇洒洒，可怎料却是招惹了整个华夏国最尊贵的男人。不小心吃了那男人的豆腐，她撒腿就想跑，不想就被男人强势抓回。小丫头，吃了就要负责，这道理要我教你？甜宠爽文，女强男强，1v1，男女主身心干净！...
美食攻略：王爷，你好鲜
身为现代顶级女厨师的林鸢，竟然试新菜单时过敏而死！真够憋屈的，没想到更憋屈的还在后面穿越成为古代的陆府厨娘也就算了，还因长相过美被陆府小姐嫉妒，送给她痴傻兄长冲喜，长得漂亮怪她咯，惹不起还躲不起，凭她一手出神入化的厨艺，照样能混得风生水起。林鸢无奈叹息哎哎，这位晕倒的兄弟，滴水之恩当涌泉相报！赵昀一把抱住，这样抱？...
隐婚娇妻：老公选我，我超甜
他，权势滔天，冷傲矜贵脸庞之中又透着心狠手辣。对豪门弃女的叶子清，为了嫁给自己费尽心机的行为厌之入骨。婚后，叶子清你真的就那么讨厌我吗？墨斯年掐着她脖颈的力道又重了几分看到你，就会觉得恶心！四年后，墨斯年看到叶子清牵着一个缩小版自己的小包子的时候，开始不淡定了。关键是这小包子还抱着他大腿，奶声奶气道你是我爸比吗？...