这是个问题困扰我有一段时间了，想知道这里是否有人能帮忙。 我有一个名为lambdaLVar的语言的PLT Redex模型，它更或多或少是一个普通的无类型lambda演算，但扩展了一个包含"格变量"（或LVars）的存储。 LVar是一个只能随着时间增加而增加其值的变量，其中“增加”的含义由用...

对于我表达这个问题不好，我不确定我有适当的词汇来询问。我最近写了类似于以下内容的东西：⟦let x = x in x⟧ = ⊥ 但是我确实没有理解这里的一些棘手之处。我可以断言这个语句真正的结果是⊥，因为我知道它是一个非生产无限循环。此外，我可以做出如下断言⟦let ones = 1:ones...

我对指称语义的概念有些困惑。据我所知，指称语义应该描述特定编程语言中函数和表达式的工作原理。那么，正确描述这些函数及其工作原理所使用的适当形式是什么？“域”究竟是什么，并且如何构建映射函数？ 以“当Y时执行X”为例，它的映射函数会是什么呢？ 我已经在网上阅读了很多材料，但很难理解。这些描述...

我正在阅读一篇非常愚蠢的论文，它不断谈论Giotto如何定义“形式语义”。 Giotto有一个形式化语义，它指定了模式切换、任务间通信和与程序环境通信的含义。 我很接近理解，“形式语义”究竟是什么意思，但还差一点。

有人告诉我 Rust 在区分逻辑上有一种语义——因此可以进行删除/削弱，但不包括复制/收缩。 以下代码成功编译： fn throw_away<A, B>(x: A, _y: B) -> A { x } 由于重复是不允许的，因此以下内容无法编译： fn dup...

我被赋予学习PHP的任务，但有许多事情我不理解。例如，“可变函数”概念 是我在其他地方没有见过的。还有很多其他的例子，但为了简洁起见，我找到了PHPWTF，其中有许多PHP的怪异之处的例子。 我使用过的大多数其他语言都有正式规范（例如Haskell 2010）或至少有关于它们形式语义的研究论...