Perguntas com a marcação «lisp»

Parece que eu encontrei uma maneira genérica de converter qualquer procedimento recursivo em recursão de cauda: Defina um subprocedimento auxiliar com um parâmetro "resultado" extra. Aplique o que seria aplicado ao valor de retorno do procedimento a esse parâmetro. Ligue para este procedimento auxiliar para começar. O valor inicial para …

13 algorithms  logic  recursion  lisp 

É possível usar tipos dependentes na implementação existente do Typed Racket ? (ou seja, eles existem nele?) É razoavelmente possível implementar um sistema de tipos dependentes usando raquete digitada?

9 programming-languages  typing  type-checking  dependent-types  lisp