Perguntas com a marcação «lambda-calculus»

Qual é a relação entre cálculo lambda e linguagens de programação? [fechadas]

Fechado . Esta questão precisa ser mais focada . No momento, não está aceitando respostas. Deseja melhorar esta pergunta? Atualize a pergunta para que ela se concentre apenas em um problema editando esta postagem . Fechado há 5 anos . Estou começando meu...

Expressões lambda sem parâmetros no cálculo de Haskell e / ou lambda

Em linguagens ansiosas como Scheme e Python, você pode usar uma expressão lambda sem parâmetros para atrasar a avaliação, por exemplo, em Scheme (Chicken Scheme): #;1> (define (make-thunk x) (lambda () (+ x 1))) #;2> (define t (make-thunk 1)) #;3> (t) 2 Na linha 2, té vinculado à...