formal-semantics相关内容

Rust的确切自动引用规则是什么?

我正在使用Rust进行学习/实验,并且在用这种语言找到的所有优雅之处中,都有一种使我感到困惑的特质,似乎完全不合时宜。 在进行方法调用时,Rust自动取消引用指针。我进行了一些测试以确定确切的行为: 结构X {val:i32} $ b X的$ b impl std :: ops :: Deref { type Target = i32; fn deref(& self)-> & ..
发布时间:2020-10-20 23:59:08 其他开发

什么是Gecko的Javascript解释器引擎语义?

编辑 考虑到回答以下关于 参考的回复 ECMAScript语言规范 - 11.13.2复合赋值 考虑为什么这些, javascript: o =“”; o = o +(o + = 1);警报(O); o =“”; o =(o + = 1)+ o;警报(O); 不一样。从左到右的脚本评估存在时间语义问题(参考: ECMA规范 - 添加运营商)。结果是 + ..

ES6中块级功能的精确语义是什么?

我试图通过阅读原始规范来围绕ES6中的新标准化块级功能。我的表面理解是: ES6中允许使用块级功能声明。 他们提升 在严格模式下,它们在包含块外不可见。 然而,由于这些语义的一部分被指定为“可选”且仅对Web浏览器是必需的(附件B )。所以我想要下列表格填写: |可见外面的块? |悬挂?到哪一点? | “TDZ”? | ------------------------ ..
发布时间:2017-08-03 19:11:54 前端开发

一个语义的bash脚本?

比我知道的任何其他语言更多,我已经通过谷歌搜索每次我需要一些小东西的时间“教训”猛砸。因此,我可以拼凑,似乎一点工作在一起的脚本。不过,我不的真正的知道发生了什么事情,我希望的是更正式的介绍bash作为一种编程语言。例如:什么是评价秩序?什么是作用域规则?什么是打字纪律,例如一切是一个字符串?什么是程序的状态 - 它是字符串变量名的键值分配;有不止于此,例如堆栈?有堆?等等。 我想请教对于这种见 ..
发布时间:2016-08-02 13:31:23 Linux/Unix