将本站设为首页
收藏人本官网,记住:www.rbcnw.com
账号:
密码:

人本书院:看啥都有、更新最快

人本书院:www.rbcnw.com

如果你觉得好,恳请收藏

您当前的位置:人本书院 -> 走进修仙 -> 第九十八章 型论【第三更】

第九十八章 型论【第三更】

温馨提示:如果本章属于内容错误等情况,请点击下面的按钮发送报告,我们会在一分钟内纠正,谢谢

¼Œ在这个宇宙,就没办法完全规避“黑箱”带来的法术。

或者说,就没谁可以在无黑箱的情况下生活。

举个最直接的例子好了,如果非要懂得“中心法则”才能生娃的话,那人类就不用繁衍了——不过相对的,病毒也就不会传播了。

先有“应用”而后有“理论”,在哪个世界都是很常有的事情。

赵清潭错愕道:“师妹这成就,相当了不起啊……”

“是啊,相当了不起。”王崎摇了摇头:“神州怕是又要变天了。”

“什么意思?”

王崎道:“构造新的高级算器语言,变得更加简单了,因为有人直接将‘语言’的本质挑明了,所以,大家也就知道怎么构造‘傻子都能用’的语言了。”

强规范、强类型对智商的挑战在于,你必须戴着镣铐跳舞。因为失去了图灵完备,所以真的一点容错率都没有。

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

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

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

它确实是两边都不讨好。

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

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

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

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

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

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

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

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

赵清潭笑了。

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

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

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

“我这么厉害的吗?”

女孩愣愣的眨了眨眼睛。

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

陈由嘉眯起眼睛,笑了。

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

“这对解析算君的成就,非


  本章未完,请点击下一页继续阅读!

看了《走进修仙》的书友还喜欢看

方寸道主
作者:愤怒的乌贼
简介: 这世界,有帝王一言而为天下法,有兵仙一剑可当百万师,有儒圣一卷春秋定纲常,有道尊一指...
更新时间:2026-10-26 21:27:00
最新章节:第405章 天生降圣人
一剑霸天
作者:永夜星河
简介: 【大神小号、单女主、杀伐果断,强烈推荐!】\n传闻,世间有一境,可追寻因果,以一丝神...
更新时间:2026-10-26 21:29:22
最新章节:第4064章 持续的渗透
狼人杀:十更起手,湮灭众神!
作者:折戟成珊
简介: 【爽文】【无女主】【无感情线】【逻辑】【验证后日更2w+】\n苏陌穿越到了一个狼人杀...
更新时间:2026-10-26 21:32:36
最新章节:第1095章 我是个猎人,你敢投我吗?
综影视:恶女怎么就不能是万人迷
作者:北娘子
简介: 正在更新《嫁金钗》君黛\n【恶女拆cp·掠夺·西施万人迷·一见钟情·多男扯头花·雄竞...
更新时间:2026-10-26 21:38:57
最新章节:第988章 嫁金钗君黛(98)
九帝塔
作者:飞鱼牛牛
简介: 【大神小号】【传统玄幻】【剑道天才】【九大女帝】【微小群像】大乾王朝少年将军,叶玄,...
更新时间:2026-10-26 21:27:02
最新章节:第306章 通天主神,忍不住了
末日来临:囤货癖的她又又赢麻了
作者:岁安呀
简介: 【丧尸+天灾+异能+空间+囤货+逃难日常+天选之女女主+隐藏款大佬男主】\n洗洁精、...
更新时间:2026-10-26 21:31:39
最新章节:第309章 等级飙升