MCIPFE - 칼쿨로 람다

O cálculo lambda é a abstração de um sistema formal da matemática lógica baseado na substituição e mapeamento de valores, sendo a base do conceito de funções puras que temos hoje. x+1(λx. \lambda x.\;x + 1\newline (\lamb...

elixirbraziliandevsfuncional