手机浏览器扫描二维码访问
第九十八章 型论第三更（第2页）
类型不安全、无类型对于智商的挑战在于，你永远也不知道会输出什么bug。
那么撒尿虾和牛丸合在一起做撒尿牛丸的思路，也就有了。
同时兼备“类型论”与“图灵完备”的语言，也是存在的。
它确实是两边都不讨好。
这种语言，多是讨好“下面”的。
由于有类型，所以不会输出完全无法预料的结果。
由于有图灵完备，所以有一定的容错率。
码农鄙视链底端的大众化语言，也就诞生了。
这种玩意，王崎冯落衣不会主动去开发，算君压根就不会想着这回事。
但是，这却无异指出了一条明路。
只要奔着这个方向走，那些程序猿用的语言，总会诞生的。
“而且，这在基础算学部分……也算是有意义吧？”王崎如此说道。
赵清潭笑了。
离宗连宗，歌庭少黎一类的名头确实响亮。
但是如他一般的修士却坚信，基派的“结构”，才是下一个时代的力量。
第二天，陈由嘉醒来，听王崎将这些东西介绍一遍之后，也愣了。
“我这么厉害的吗？”
女孩愣愣的眨了眨眼睛。
王崎点了点头：“超厉害。”
陈由嘉眯起眼睛，笑了。
可旋即，她有有些疑惑：“这个……算是基础算学？我原本是要开发应用……”
“这对解析算君的成就，非常有用。”王崎说道：“再者，你是从算君的‘应用’之中反推出来，也算是一条‘从理论指向运用’的道路了。”
类型论，和函数编程也是息息相关了。
尽管在地球上，Lisp一类可以实际使用的函数式编程，早在类型论之前就开发出来了，但这并不妨碍类型论让整个编程，尤其是函数编程的艺术再上一个台阶。
布尔巴基学派理论通向应用的障碍，又消去了一个。
王崎深吸一口气，严肃道：“但是，师妹，这个还不算完。在你手上，这个类型论，也只是刚刚成型而已。”
陈由嘉一愣：“你叫它什么？类型论？”
王崎点了点头：“定义语言类型……你又什么不满吗？”
陈由嘉笑了：“感觉会被你的类论【K理论】盖过名头啊。”
王崎一愣。这可是前世语境下不存在的麻烦。
“那就唤‘型论’咯。”
“听起来和你那‘类论’是一对儿啊，不妥不妥……”
王崎勾起陈由嘉下巴，反问道：“一对儿，有什么不妥？”
“别闹，这两个理论在算学领域天差地别……”
我真的只想做角色球员 神雕战神 流浪仙人 虐仙记 毕业就结婚吧 枫灵大陆 冷血老公太温柔 反派:黑化女主们，跪求我当坏人 为师实在是太弱了 清穿后我绑定了强国系统 未来之树 顾辰神武霸帝 穿越之我不想做驸马 赘婿当道全文免费 阅读小说最新 黑夜之眼 重生乐神 我是来种地的 换嫁后发现质子夫君他爱我 我在游戏世界搞基建 跃马西凉
发个微信去天庭
当秦奋手机微信摇出了天庭朋友圈，他发现自己的人生变了，但天庭的变化更惊悚。想要金点子，行，拿东西来换，我不挑食。超市，串串香，等一系列熟悉的东西对原有的天庭造成了冲击。秦奋看着天庭的物产，发现自己似乎要发了。种田，数钱，好多事要做。我是先吃蟠桃呢，还是九转金丹。签已过，人品嘛，我很有节操可以吗？求点求收求票票，求包...
种田山里汉：神医美娇娘
已完结，新书求支持！小神医魂穿女尊王朝，原主臭名昭著，残暴不仁，身后留下一堆烂摊子。家徒四壁，茅屋漏雨，粮缸又已见了底。面对美貌的夫君，又瞅瞅丑不拉叽的自己，她狂奔在一条通往钢牙小白兔的康庄大道上！敢觊觎她夫君？揍，没有拳头解决不了的事情！如果有，那就接着揍！穷？医术，香粉，布艺，美食，酒庄，生意做起来，铺子开...
功夫皇帝逍遥游(功夫皇帝艳福星)
一个落魄的大学生阴差阳错地灵魂穿越到了古代，稀里糊涂地做了皇子，又发动政变赶走太子当上了皇帝，从此便过上了锦衣玉食声色犬马的生活。但他却不满足，他要做一个全能型的功夫皇帝因此，他拜武林宗师学习武功，又向江湖术士讨取御女秘方，美艳绝伦的妃子欲望强烈的宫女温婉恬静的皇后妖艳迷人的异族美女野性十足的江湖侠女，各种类型的美女纷纷被他男人的功夫征服金钱权利和美女一个都不能少！想爽的，还等什么呢？本书保证精彩，敬请放心收藏，推荐！...
提前登陆三百年
新书从获得奇遇点开始宇宙深处飞来一座浩瀚无垠的大陆，从此整个世界都不一样了。同时陈荣火脑海里还突然出现了一本古书，按照古书的指引，他提前其他人三百年登陆到了新界。同样在书籍的指引下，在新界中，他的左手也变得不一样了。他从地下挖出一颗夜明珠，啪的一声，夜明珠被他捏碎，但是夜明珠的‘夜光属性’却留在了他手里。琢磨了...
丈夫的秘密
我做梦都没想到老公出轨的对象是个男人这社会给小三的爱足够宽容，为什么不给我的恨一条出路。关键词丈夫的秘密最新章节丈夫的秘密小说丈夫的秘密全文阅读...
绝代名师
市二中的金牌老师孙默落水后，来到了中州唐国，成了一个刚毕业的实习老师，竟然有了一个白富美的未婚妻，未婚妻竟然还是一所名校的校长，不过这名校衰败了，即将摘牌除名，进行废校处理孙默的开局，就是要帮助未婚妻坐稳校长之位，让学校重回豪门之列。孙默得到绝代名师系统后，点废成金，把一个个废物变成了天才，在孙默的指导下，学渣...