Perguntas com a marcação «lisp»

Eu estava conversando recentemente com um amigo (que é um defensor de idiomas fortemente tipados). Ele fez o comentário: Os inventores do Lambda Calculus sempre pretendiam que fosse digitado. Agora podemos ver que a Igreja estava associada ao Cálculo Lambda de Digitação Simples . De fato, parece que ele explicou …

16 lambda-calculus  church-turing-thesis  lisp  typed-lambda-calculus 

Em [1], Mitchell Wand demonstrado que a adição de FEXPRs para o cálculo lambda puro trivializes a teoria de equivalência contextual, o que significa que dois termos são contextualmente equivalente sse eles são -congruent. Ao explorar o trabalho relacionado, ele foi "o nosso resultado estende uma velha observação de Albert …

13 pl.programming-languages  lisp  scheme 

Agora podemos ver que a Igreja estava associada ao Cálculo Lambda de Digitação Simples . De fato, parece que ele explicou o Cálculo Lambda de Digitação Simples para reduzir o mal-entendido sobre o Cálculo Lambda. Agora, quando John McCarthy criou o Lisp, ele o baseou no cálculo Lambda . Isso …

13 lambda-calculus  term-rewriting-systems  lisp