内部redex id (λz. id z)首先被还原为λz. id z,在外部redex被还原为范式λz. id z之前,第一次缩减的结果是id (λz. id z)。但是call by value order被定义为“只有最外层的redex被减少”,并且“redex只有当它的右边已经被减少为一个值时才被减少”。在本例中,id (λz. id z)出现在最外面的redex的右侧,并被缩小。这与只减少最外层的redexes的规则是如何平方的?
答案是“最外层”和“最内层”只指lambda抽象吗?因此,对于λ
我试图定义一个Redex元函数,它将一对列表转换为单个数字列表,如下所示:(require redex)
(e n ((n n)然而,add-up的最后一个定义不被接受- Redex抱怨e_1和e_2需要省略,尽管它们已经低于一个省略号。是否有一种方法可以将球拍取消引用到Redex中省略号的每个成员?
我对Haskell的redex是什么和不是什么感到很困惑,所以我花了一些时间在它上,但是我想要反馈它是否正确。我找到了redex的这个定义,它是循环的;Etymology : From "reducible expression" Definition: Redex (plural redexes): (mathematics然后,我发现了一篇博客文章,它定义redex如下:Any subgraph that matches a rule is called a reducible expressio