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

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 primeiro ano (na faculdade) em Ciência da …

13 programming-languages  computer-science  lambda-calculus 

Eu tenho o que chamaria de uma pergunta filosófica sobre o cálculo-λ. Ao explorar o cálculo λ, você ficará surpreso ao ver todas as coisas que você pode fazer lá. Você pode definir números inteiros, operações aritméticas, booleanos, instruções if-then-else, loops, funções recursivas, etc. Eu acredito que isso foi provado …

11 computer-science  lambda-calculus 

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 à expressão não …

9 python  haskell  scheme  lambda  lambda-calculus