Preguntas etiquetadas con lisp

Parece que he encontrado una forma genérica de convertir cualquier procedimiento recursivo a recursión de cola: Defina un subprocedimiento auxiliar con un parámetro adicional "resultado". Aplique lo que se aplicaría al valor de retorno del procedimiento a ese parámetro. Llame a este procedimiento auxiliar para comenzar. El valor inicial para …

13 algorithms  logic  recursion  lisp 

¿Es posible usar tipos dependientes en la implementación existente de Typed Racket ? (es decir, ¿existen en él?) ¿Es razonablemente posible implementar un sistema de tipos dependientes usando Typed Racket?

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