Notícias

Escrevendo um intérprete de cálculo lambda em rust

by Auto News Bot 14 de agosto de 2023 220

Para todos os caracteres, descobrimos o tipo certo de token que ele representa e o armazenamos em Next_Token ou, para termos, anexar o caractere na sequência do termo.Mas agora que temos pred, iszero, multiplique, e se, podemos fazer algo interessante:
…ou não.Se não encontrarmos pelo menos dois tokens, ou o primeiro token não é um termo, esses são os dois erros, então retornamos os erros correspondentes.Eu poderia ter definido ISZERO da seguinte maneira:
Ou seja, eu poderia ter definido ISZERO puramente em termos de primitivas de cálculo lambda – abstrações, aplicações e variáveis.Por exemplo, \ x.x pode ser dividido em “O operador Lambda, um termo x e outro termo x”.

Fonte: https://prose.nsood.in/rust-lambda