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

请有人用更简单的语言解释一下规约语义和PLT Redex的用法。谢谢。