declare
fun {Beta E}
case E
of lambda(X [Y Z]) andthen {IsAtom Y} then Z
else nil
end
end
{Browse {Beta lambda(y [y a]) }}
我正在尝试为 lambda 演算制作 beta reducer,但我不知道如何为我刚开始使用的 Oz 添加参数。
我想做的是: IsAtom Y and if(X==Y) then Z
我试过“and, &&, &, andthen”,但没有任何效果。Oz 文档只是让我头疼。