手机浏览器扫描二维码访问
第九十八章 型论第三更（第2页）
类型不安全、无类型对于智商的挑战在于，你永远也不知道会输出什么bug。
那么撒尿虾和牛丸合在一起做撒尿牛丸的思路，也就有了。
同时兼备“类型论”与“图灵完备”的语言，也是存在的。
它确实是两边都不讨好。
这种语言，多是讨好“下面”的。
由于有类型，所以不会输出完全无法预料的结果。
由于有图灵完备，所以有一定的容错率。
码农鄙视链底端的大众化语言，也就诞生了。
这种玩意，王崎冯落衣不会主动去开发，算君压根就不会想着这回事。
但是，这却无异指出了一条明路。
只要奔着这个方向走，那些程序猿用的语言，总会诞生的。
“而且，这在基础算学部分……也算是有意义吧？”王崎如此说道。
赵清潭笑了。
离宗连宗，歌庭少黎一类的名头确实响亮。
但是如他一般的修士却坚信，基派的“结构”，才是下一个时代的力量。
第二天，陈由嘉醒来，听王崎将这些东西介绍一遍之后，也愣了。
“我这么厉害的吗？”
女孩愣愣的眨了眨眼睛。
王崎点了点头：“超厉害。”
陈由嘉眯起眼睛，笑了。
可旋即，她有有些疑惑：“这个……算是基础算学？我原本是要开发应用……”
“这对解析算君的成就，非常有用。”王崎说道：“再者，你是从算君的‘应用’之中反推出来，也算是一条‘从理论指向运用’的道路了。”
类型论，和函数编程也是息息相关了。
尽管在地球上，Lisp一类可以实际使用的函数式编程，早在类型论之前就开发出来了，但这并不妨碍类型论让整个编程，尤其是函数编程的艺术再上一个台阶。
布尔巴基学派理论通向应用的障碍，又消去了一个。
王崎深吸一口气，严肃道：“但是，师妹，这个还不算完。在你手上，这个类型论，也只是刚刚成型而已。”
陈由嘉一愣：“你叫它什么？类型论？”
王崎点了点头：“定义语言类型……你又什么不满吗？”
陈由嘉笑了：“感觉会被你的类论【K理论】盖过名头啊。”
王崎一愣。这可是前世语境下不存在的麻烦。
“那就唤‘型论’咯。”
“听起来和你那‘类论’是一对儿啊，不妥不妥……”
王崎勾起陈由嘉下巴，反问道：“一对儿，有什么不妥？”
“别闹，这两个理论在算学领域天差地别……”
什么？奥特曼是终身制的？ 建立帝国从骑士次子开始 谭笑风声里，灼灼桃之夭 盛世花都 巫妖生存指南 道化九界 月薪十万，女总裁她果然不只是让我当司机 网游航海之王 我，地球唯一超能力者 巨树领主 穿进语文书，从刺猹开始 大明：开局剧透崇祯，重振河山 西游：六岁熊孩子，开局怒怼观世音 敛财心 运河之韵 舌尖天下 我的修真小米三 万苍天穹 先婚后爱：娇妻拒婚101次 灵异直播，女主她不想吓人
别太努力，老婆被人惦记上了
昨日，文静温婉的她，主动释放出暗藏的另一面，那是我从未见识过缱绻风情你原来是这样的女人啊！当天离了婚，身无分文，前女友突然出现，求鉴定孩子的爸爸。呵又是一个神魂攻击！还告知寻到了我的家人。呵我都忘记了我是个孤儿...
伏天氏
东方神州，有人皇立道统，有圣贤宗门传道，有诸侯雄踞一方王国，诸强林立，神州动乱千万载，值此之时，一代天骄叶青帝及东凰大帝横空出世，东方神州一统！然，叶青帝忽然暴毙，世间雕像尽皆被毁，于世间除名，沦为禁忌从此神州唯东凰大帝独尊！十五年后，东海青州城，一名为叶伏天的少年，开启了他的传奇之路…...
被雪豹崽崽碰瓷了
本书简介 相依为命的师父去世后，洛予独自在偏远星球生活。落后小镇的日子平淡而宁静，直到有一天在路上被从天而降的毛茸茸碰瓷。雪豹崽崽又乖又萌，撒娇打滚爬树样样精通。唯一不好的一点是，小镇的医疗技术落后，检测不出这是只单纯的雪豹幼崽，还是个变身困难的笨蛋幼年兽人。没办法，洛予只能带着崽崽去主星进一步检查。进港，登舰，抵达。刚走出运输舰不到十米，就连人带崽被治安官拦下。先生，您涉嫌拐卖兽人幼崽，麻烦跟我们走一趟。洛予现在说是自己捡到的还来得及吗？被雪豹崽崽碰瓷了全文免费阅读，如果您喜欢被雪豹崽崽碰瓷了薄香奶茶最新章节，请分享给您的好友一起来免费阅读。魔蝎小说...
大明，开局挖了朱元璋祖坟
关于大明，开局挖了朱元璋祖坟杨鸣穿越到了大明洪武三年。但是杨鸣只想回到现代社会。他放不下新婚的妻子和新买的大平层。系统提示只要被人杀死就能穿越回去。于是杨鸣开始了疯狂寻死之路。要想死的快，就要去谋反。杨鸣带人攻陷了凤阳，直接挖了朱元璋的祖坟。朱元璋咬牙切齿你造反的时候，为何不告官？杨鸣你造反的时候咋不告官？朱元璋勃然大怒！杨鸣拜见蓝玉。太子朱标要死了，你的下场很悲剧，不如我们直接反了吧！蓝玉惊恐万分。你还是做个人吧！燕王朱棣沉思良久，拍案而起杨兄言之有理，我马上起兵！杨鸣懵了我没想成功，我只想回家，你信吗？...
四合院之走秦淮茹的路
关于四合院之走秦淮茹的路病入膏肓的徐慧珍，寿终正寝后，穿越到了五十年代的剧情里，成了女主徐慧真。绑定了正义无限系统。完成系统发布的任务就有奖励。什么？系统发布任务让我嫁给傻柱？都傻成那样了，还有救吗？傻柱在梦中预知了自己未来的命运，当机立断甩开秦淮茹。携手徐慧真，事业虐渣两不误。这个年代不让私人做生意，搞个街道工厂可以吧。于是十字绣走起来，为国家创外汇。想像一下，大街小巷里，大姑娘小媳妇都绣十字绣的场面。两人联合办个食品厂，解决知识青年就业难的问题，于是方便面火腿肠提前问世了。夫妻两个一步一个脚印，改变原剧情，成为人生赢家。...
极品王爷太凶残
...