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

蓝色书屋:看啥都有、更新最快

蓝色书屋:www.liaseo.com

如果你觉得好,恳请收藏

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

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

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

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

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

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

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

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

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

“什么意思?”

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

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

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

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

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

它确实是两边都不讨好。

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

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

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

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

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

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

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

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

赵清潭笑了。

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

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

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

“我这么厉害的吗?”

女孩愣愣的眨了眨眼睛。

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

陈由嘉眯起眼睛,笑了。

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

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


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

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

半岛:从催收国民妹妹开始
作者:爱情不太顺
简介: 【一句话简介】:我只是去体验生活收个债,怎么就成了半岛女团的白月光?
更新时间:2026-10-26 21:53:00
最新章节:第322章 戛纳首映
说好的保卫科干事,你破什么案?
作者:姜煮茶
简介: 97年夏天,暴雨!碎尸!杀人凶手!身为警局一把手的杨锦文,重生回到1997年,面对二...
更新时间:2026-10-26 22:02:00
最新章节:第1081章 阎王爷回来了!(求月票)
咒术回战:反派第一人
作者:春雷秋虎
简介: 加纳静海看着身旁倒在了血泊之中的数个人影,再看了看面前的四天灾和羂索,用大概一秒钟的...
更新时间:2026-10-26 22:02:00
最新章节:408:黑色闪光
求生游戏:我有一座湖心岛
作者:恰一口冬瓜玉米排骨汤
简介: 【大女主+无cp+基建+种田+有萌宠+女主全程不弱后期登顶】\n人在山里跟着导师科考...
更新时间:2026-10-26 22:00:12
最新章节:第309章 驰云走马与疾风四相
黄泉图书馆
作者:南归天下
简介: [无CP玄学文].孟老头子从棺材爬出来的那晚,孟羡锦含泪得知自己只剩下三天可活,七阴...
更新时间:2026-10-26 22:03:00
最新章节:第四百三十六章 :买卖阴寿的男人
龙凤培元功
作者:天羽凤凰
简介: 【都市双修+杀伐果断+多女主】男为龙,女为凤,龙凤培元,修为大涨。

更新时间:2026-10-26 22:06:33
最新章节:第1055章 双方交易,宋梦荷死