O desafio é escrever um intérprete para o cálculo lambda não digitado com o mínimo de caracteres possível. Definimos o cálculo lambda sem tipo da seguinte maneira: Sintaxe Existem os três tipos de expressões a seguir: Uma expressão lambda tem o formato (λ x. e)onde xpode haver qualquer nome de...
A tarefa Escreva um programa ou função que, com três seqüências de caracteres, A, B, Cproduza uma sequência de saída em que cada instância de Bin Afoi recursivamente substituída por C. Substituir recursivamente significa repetir uma substituição em que em cada etapa todas as instâncias não...
O cálculo SKI é uma variante do cálculo Lambda que não usa expressões lambda. Em vez disso, apenas o aplicativo e os combinadores S , K e I são usados. Nesse desafio, sua tarefa é converter os termos de SKI em termos do Lambda na forma normal β . Especificação de entrada A entrada é um termo...
Objetivo Gere a lista codificada original, a partir dos movimentos que uma Classificação de inserção faria para classificá-la. A lista original terá todos os números de 0até N-1(inclusive) onde Nestá o tamanho da entrada. Entrada Uma lista contendo as movimentações necessárias para classificar a...
fundo Visualização de termos do cálculo λ O famoso lambda-malabarista (e jogador de código ) John Tromp criou uma visualização interessante dos termos no λ-cálculo. Nas suas palavras: abstrações (lambdas) são representadas por linhas horizontais, variáveis por linhas verticais que emanam de...