Playground

Um laboratório livre para experimentar. Toda a biblioteca do livro está disponível — pair, list, head, tail, display, math_*, streams — e o valor da última expressão é ecoado como em um REPL. Quando o resultado for uma estrutura de pares, o botão Ver diagrama caixa-e-ponteiro desenha a notação do livro. Suas edições ficam salvas neste navegador.

Laboratório

1// Experimente! Por exemplo:
2const xs = list(1, 2, 3);
3const ys = pair(xs, xs); // estrutura compartilhada (seção 3.3)
4
5display(xs);
6ys;

// Experimente! Por exemplo:
const xs = list(1, 2, 3);
const ys = pair(xs, xs); // estrutura compartilhada (seção 3.3)

display(xs);
ys;

Código editável · Ctrl+Enter executa

Dicas:

Ctrl+Enter executa; Esc e depois Tab sai do editor.
Laços infinitos são interrompidos em 5 segundos — pode experimentar sem medo.
console.log(...) e display(...) imprimem no painel de saída.
Árvore de chamadas (capítulo 1.2): declare uma função e chame trace("nome") antes de usá-la — depois de executar, o botão Ver árvore de chamadas desenha a forma do processo. Experimente com fib!
Streams (capítulo 3.5): se o resultado for um stream, o botão Puxar próximo elemento materializa a avaliação preguiçosa um passo por vez — até com streams infinitos.