手机浏览器扫描二维码访问
第九十八章 型论（第2页）
类型不安全、无类型对于智商的挑战在于，你永远也不知道会输出什么bug。
那么撒尿虾和牛丸合在一起做撒尿牛丸的思路，也就有了。
同时兼备“类型论”与“图灵完备”的语言，也是存在的。
它确实是两边都不讨好。
这种语言，多是讨好“下面”的。
由于有类型，所以不会输出完全无法预料的结果。
由于有图灵完备，所以有一定的容错率。
码农鄙视链底端的大众化语言，也就诞生了。
这种玩意，王崎冯落衣不会主动去开发，算君压根就不会想着这回事。
但是，这却无异指出了一条明路。
只要奔着这个方向走，那些程序猿用的语言，总会诞生的。
“而且，这在基础算學部分……也算是有意义吧？”王崎如此说道。
赵清潭笑了。
离宗连宗，歌庭少黎一类的名头确实响亮。
但是如他一般的修士却坚信，基派的“结构”，才是下一个时代的力量。
第二天，陈由嘉醒来，听王崎将这些东西介绍一遍之后，也愣了。
“我这么厉害的吗？”
女孩愣愣的眨了眨眼睛。
王崎点了点头：“超厉害。”
陈由嘉眯起眼睛，笑了。
可旋即，她有有些疑惑：“这个……算是基础算學？我原本是要开发应用……”
“这对解析算君的成就，非常有用。”王崎说道：“再者，你是从算君的‘应用’之中反推出来，也算是一条‘从理论指向运用’的道路了。”
类型论，和函数编程也是息息相关了。
尽管在地球上，lisp一类可以实际使用的函数式编程，早在类型论之前就开发出来了，但这并不妨碍类型论让整个编程，尤其是函数编程的艺术再上一个台阶。
布尔巴基學派理论通向应用的障碍，又消去了一个。
王崎深吸一口气，严肃道：“但是，师妹，这个还不算完。在你手上，这个类型论，也只是刚刚成型而已。”
陈由嘉一愣：“你叫它什么？类型论？”
王崎点了点头：“定义语言类型……你又什么不满吗？”
陈由嘉笑了：“感觉会被你的类论【k理论】盖过名头啊。”
王崎一愣。这可是前世语境下不存在的麻烦。
“那就唤‘型论’咯。”
“听起来和你那‘类论’是一对儿啊，不妥不妥……”
王崎勾起陈由嘉下巴，反问道：“一对儿，有什么不妥？”
“别闹，这两个理论在算學领域天差地别……”
“名字相似而已嘛！”
鼎天武帝 醉卧九天 我叫布里茨 纸醉江山 舞吧，傀儡 死亡神座 网游之零纪元 美女总裁老婆 苍天霸业 道梦之轮回 重生之天生我才 神捕乱宋 霸隋 超级特警综合系统 黑暗剑圣 玄玑图 权柄大明 兽王三国 与女精灵的地球生活 美女教师的鬼医高手
绑架全世界
罗宁做梦也没有想到，自己不过是一个普通的大学生，居然能有一天干出绑架全世界的壮举来。事情还要从他穿越的那天说起。没错，罗宁穿越了，魂穿，还是做梦的时候魂穿。穿越地点，天衍大陆，穿越人物，一个普通的杂役小厮因为犯了点小错结果被管家带人给打了个半死。这本来没什么，可是问题是，地球上的所有与他上下相差十岁以内的男人，一夜之间都受到了同样的伤害。医院瞬间满员，而这还不是最严重的。真正最严重的问题在于，如果罗宁在天衍大陆死亡的话，那么整个世界的男人，上到三十二下到十二岁，将会出现一个绝对的断层空间所有人都会跟着死亡。这一下问题就很严重了所以，如何才能在这个弱肉强食的玄幻世界里活下去，就是罗宁的第一奋斗目标。...
百亿神豪从送外卖开始
百亿神豪从送外卖开始...
末世机甲：开局签到错选充电宝
穿越到了未来的末世。生态破坏，一千座要塞拔地而起，作为人类最后能生存的家园。结果信峰开局就被人扔到了外界。辐射，毒气，身体只是一个普通人的信峰完全没有办法在环境中生存。还好签到选择的外挂还是在他快死的时候来了。二选一，一个改善体质让你可以活下去的药剂。还是一个超级厉害的充电宝。这还用选？结果脚下一伴。抓向药剂的手一不小心抓歪了。卧槽，选错了怎么办啊！？没关系，就在这个末世中，在所有人梦想身体进化适应环境的时代，掀起一场机甲狂潮吧！...
慕医生，你老婆又闯祸了
...
新三国策
生死无二志，丈夫何壮哉！腹内藏经史，胸中隐甲兵。真烈心无异，坚刚志更清。豪气贯长虹，成败复谁论高宠手语。也或狂喜，也或狷狂，高宠是怎样的一个人？没有人知道，即使是奋笔疾书的作者也不能完全的描述出来。在获得自由的那一刻起，年少的高宠如同一片纷飞飘落的叶子，时尔被命运的狂风吹落，时尔又被推到时世的风口浪尖。神亭岭上，当高宠拧矟刺向孙策的那一刻，他不会知道自己的生命还会延续多久，也不能预料孙策将会成为他最强悍的对手。江南，一段新的吴楚争霸故事娓娓展开。面对高宠这般顽强不弃的对手，曹操刘备孙策刘表袁绍这些纵横一时的诸侯不知又会作如何动作？柳絮桃花，自在飞莺，恰恰马蹄，浅草闲人，英雄多情无悔。当高宠第一次意识到男女之情时，他的生命也因为陆缇慕沙大乔等妙龄女子的出现而变得多姿多彩起来，而这才是高宠心中的三国。新书色相在新书榜打榜，大家多多支持，万分感谢！...
我老婆真的是仙女
万万没想到，当周然醒来的时候，枕边竟然多了一位仙女。嗯，一言不合就拔剑砍人的仙女...