哈哈电子书

手机浏览器扫描二维码访问

第九十八章 型论(第2页)

类型不安全、无类型对于智商的挑战在于,你永远也不知道会输出什么bug。

那么撒『尿』虾和牛丸合在一起做撒『尿』牛丸的思路,也就有了。

同时兼备“类型论”与“图灵完备”的语言,也是存在的。

它确实是两边都不讨好。

这种语言,多是讨好“下面”的。

由于有类型,所以不会输出完全无法预料的结果。

由于有图灵完备,所以有一定的容错率。

码农鄙视链底赌大众化语言,也就诞生了。

这种玩意,王崎冯落衣不会主动去开发,算君压根就不会想着这回事。

但是,这却无异指出了一条明路。

只要奔着这个方向走,那些程序猿用的语言,总会诞生的。

“而且,这在基础算学部分……也算是有意义吧?”王崎如此道。

赵清潭笑了。

离宗连宗,歌庭少黎一类的名头确实响亮。

但是如他一般的修士却坚信,基派的“结构”,才是下一个时代的力量。

第二,陈由嘉醒来,听王崎将这些东西介绍一遍之后,也愣了。

“我这么厉害的吗?”

女孩愣愣的眨了眨眼睛。

王崎点零头:“超厉害。”

陈由嘉眯起眼睛,笑了。

可旋即,她有有些疑『惑』:“这个……算是基础算学?我原本是要开发应用……”

“这对解析算君的成就,非常有用。”王崎道:“再者,你是从算君的‘应用’之中反推出来,也算是一条‘从理论指向运用’的道路了。”

类型论,和函数编程也是息息相关了。

尽管在地球上,lisp一类可以实际使用的函数式编程,早在类型论之前就开发出来了,但这并不妨碍类型论让整个编程,尤其是函数编程的艺术再上一个台阶。

这章没有结束,请点击下一页继续阅读!

布尔巴基学派理论通向应用的障碍,又消去了一个。

王崎深吸一口气,严肃道:“但是,师妹,这个还不算完。在你手上,这个类型论,也只是刚刚成型而已。”

陈由嘉一愣:“你叫它什么?类型论?”

王崎点零头:“定义语言类型……你又什么不满吗?”

陈由嘉笑了:“感觉会被你的类论【k理论】盖过名头啊。”

王崎一愣。这可是前世语境下不存在的麻烦。

“那就唤‘型论’咯。”

“听起来和你那‘类论’是一对儿啊,不妥不妥……”

王崎勾起陈由嘉下巴,反问道:“一对儿,有什么不妥?”

一觉醒来怀了崽  替嫁给病弱佛修太子后他破戒了姜南枝容司璟全文免费完结版  武裂苍穹秦天青儿百度云  贵门妾  神道丹帝叶尘苏傲雪全本免费阅读  穿书之末世娇宠  七零空间小娇女  唐老太的种田生活  替嫁给病弱佛修太子后他破戒了姜南枝容司璟更新  人人都爱马文才  封先生的宠爱  玄学大佬在现代  替嫁给病弱佛修太子后他破戒了姜南枝容司璟后续  穿成大佬假妹妹  武裂苍穹秦天青儿全集免费阅读  替嫁给病弱佛修太子后他破戒了姜南枝容司璟番外  九子登云的作品武裂苍穹  就想和你在一起  天才高手  周一见  

热门小说推荐
极品仙修:神仙走都市

极品仙修:神仙走都市

极品仙修神仙走都市简介emspemsp极品仙修神仙走都市是神来执笔的经典仙侠修真类作品,极品仙修神仙走都市主要讲述了热血小说,唯有尊王。上可拳打纨绔,下可脚踩流氓。纵横花丛红颜神来执笔最新鼎力大作,年度必看仙侠修真。禁忌书屋...

福满农家:穿成团宠后带全家崛起

福满农家:穿成团宠后带全家崛起

偶尔能做预知梦的大哥文能飞针走线纳鞋底子武能打遍村中无敌手的二姐过目不忘尤其喜欢数钱的三哥以及穿越后突然就发现自己能听懂鼠语的穿越小妞种田?灾荒?战乱?不怕,看一家子奇葩凑到一起,如何发家致富逆天改命!田小满表示老天爷啊,自己就是普普通通穿个越,怎么穿着穿着就有点一发不可收拾,带全家崛起了呢!...

木叶中的氪金粉毛

木叶中的氪金粉毛

穿越到了火影忍者的世界中,还变成了传说中的‘男二号’春野樱!当系统开启的那一刻,春野樱本以为自己可以就此崛起了!可是,谁能跟她解释一下,为什么她都穿越了,居然还逃不掉被氪金支配的命运?看着自己那少的可怜的资产,春野樱的心中瞬间泪流满面我已经没钱守护木叶了如果您喜欢木叶中的氪金粉毛,别忘记分享给朋友...

毒妃有系统:妖孽邪王很嚣张

毒妃有系统:妖孽邪王很嚣张

毒妃有系统妖孽邪王很嚣张简介emspemsp顾筱筱前世被自己的坑爹系统坑到遭雷劈,还被劈穿越,成了一个爹不疼娘不爱,白莲妹妹抢了心上人的苦命嫡小姐。重新活过来的顾筱筱表示只要摆脱了那坑爹系统,一切都好说。但主银奶萌的娃娃音。前面有...

末世之宠物领主

末世之宠物领主

当末世来临,人类成为整个星球上最为弱小的生物,要想要在夹缝中生存,就需要与天争与地斗。作为一名拥有系统的人类又将如何在这个末世中将整个世界搅得天翻地覆呢如果您喜欢末世之宠物领主,别忘记分享给朋友...

开局召唤一只小骷髅

开局召唤一只小骷髅

陆无一睁眼发现世界变了。眼前的这一个世界没有绚丽的魔法,也没有发展到极致的斗气。有的,只有契约召唤怪兽的召唤师。而他正好就是这么一个召唤师,虽然还不是职业的,虽然他的初始召唤兽有点渣。但这都没关...

每日热搜小说推荐