Um Lisp para V, com chamadas de cauda que sao mesmo de graca
Um pequeno dialeto de Lisp sobre uma maquina CEK explicita. Uma chamada em posicao de cauda reaproveita seu quadro em vez de empilhar outro, entao um laco e um laco, e nao uma pilha que cresce ate morrer.
Esta secao ainda nao foi traduzida para o seu idioma e aparece em ingles. Traducoes sao bem-vindas.
A taste
(define (fib n)
(if (< n 2)
n
(+ (fib (- n 1))
(fib (- n 2)))))
(fib 20) ;=> 6765Esta secao ainda nao foi traduzida para o seu idioma e aparece em ingles. Traducoes sao bem-vindas.
O que e
Real tail calls
A quarter of a million iterations end with an empty continuation stack. Mutual recursion tail-calls too, which is the part most trampolines skip.
An explicit machine
Evaluation is a data structure you can inspect, not a recursive function you have to trust. Every step is counted, and every limit is a field you can set.
Embeddable by shape
The machine is a library with no global state. print output is collected into a field, so a host can capture it rather than fight it.
Esta secao ainda nao foi traduzida para o seu idioma e aparece em ingles. Traducoes sao bem-vindas.
Where it stands
Working: the reader, closures, arithmetic, branching, loop, dotimes, letrec, cond, case, and proper tail calls including mutual recursion.
Not yet: let*, rest parameters, callable keywords, modules, and macros. Each one is named in the repository rather than quietly missing.