Um Caminho para Lisp: Qual Lisp

Escolhendo um dialeto Lisp

• Vários recomendam “apenas escolha um e comece”, com Common Lisp e Scheme como as principais opções.
• Scheme é elogiado por seu núcleo pequeno e limpo (bom para aprender, SICP, TSPL, Racket/DrRacket, Guile, Chez, Chicken, Gambit/Gerbil).
• Common Lisp é destacado por sua especificação estável e completa, desempenho (por exemplo, SBCL), portabilidade de código com décadas de idade e extensa biblioteca padrão.
• Clojure é recomendado para trabalho prático, ecossistema da JVM/host, baixa rotatividade de bibliotecas, EDN e ferramentas como Babashka.
• Outros dialetos mencionados: Emacs Lisp, AutoLISP, Racket, Guile, Janet, Fennel, Jank, Jolt, Rhombus, Hylang, Gerbil e Lisps de metal puro.

Legibilidade, sintaxe e estilo

• Alguns acham Lisp difícil de ler e nunca totalmente “natural”, especialmente em comparação com sintaxes procedurais mais convencionais.
• Outros afirmam haver um ponto de virada em que Lisp se torna mais legível do que outras linguagens, uma vez que você ignora mentalmente os parênteses e depende de indentação e edição estrutural.
• Common Lisp pode ser escrito em um estilo muito procedimental; loops/macros (“loop”, “dotimes”, etc.) fazem com que ele pareça familiar a linguagens do tipo Algol.
• Sintaxes alternativas (por exemplo, Rhombus, literais no estilo Clojure em CL, marcação de dados semelhante a Hiccup) são sugeridas para quem não gosta de s-expressions.

Macros, extensibilidade e “vivacidade”

• O sistema de macros do Common Lisp e as reader macros são enfatizados como meios de permitir sintaxe arbitrariamente extensível, DSLs e até novas linguagens (por exemplo, Coalton, literais JSON).
• Alguns argumentam que as macros de Lisp são superestimadas; muitos exemplos de macros podem ser feitos com técnicas de compilador em outras भाषagens, e macros excessivamente espertas podem prejudicar a manutenibilidade.
• Outros contrapõem que ter a linguagem inteira disponível no momento da expansão de macros, além de compilação em tempo de execução, continua sendo algo singularmente poderoso e pragmático.
• O desenvolvimento com “imagem viva” de CL e Clojure (editar um sistema em execução) é contrastado com a sensação mais em lote do Racket.

Especificações, tipagem e portabilidade

• A especificação congelada do ANSI Common Lisp é elogiada (estabilidade, longevidade) e criticada (threads, sockets, Unicode, streams, sequências extensíveis deixadas para extensões não portáveis; CLOS não totalmente integrado).
• CL suporta tipagem opcional e alguma tipagem gradual, mas críticos dizem que ele é “não muito bem tipado” (por exemplo, tipos de lista grosseiros, sem genéricos).
• A situação de R6RS vs. R7RS em Scheme e os problemas de portabilidade de interoperabilidade com o sistema operacional são apontados como outra fonte de fragmentação.
• Um participante tem dificuldade com linguagens dinâmicas em geral, sentindo falta de garantias estáticas sobre a correção do programa; as mitigações propostas (testes, REPL, edição ao vivo) parecem insuficientes, e o fluxo de trabalho “certo” permanece pouco claro.

Ferramentas e recursos de aprendizado

• Emacs continua sendo a experiência canônica para muitos; outros o desgostam ativamente e procuram alternativas.
• Ferramentas sugeridas: LispWorks (poderoso, mas caro para hobbistas), Mine e Lem (novos IDEs para CL), plugin OLIVE para VS Code, boas configurações de Neovim/VS Code para Clojure.
• Caminhos de aprendizado recomendados: “Practical Common Lisp”, “An Introduction to Programming in Emacs Lisp”, SICP, HTDP (Racket), “The Scheme Programming Language”, recursos de Haskell para conceitos de FP.

Perspectivas meta

• Alguns argumentam que Lisp não é tão magicamente único quanto sua reputação sugere; muitas ideias existem em outros lugares.
• Outros insistem que a combinação específica de homoiconicidade, macros, desenvolvimento guiado por REPL e interoperabilidade com hosts em muitos runtimes torna Lisp incomumente eficaz e faz com que “todos os caminhos levem a Lisp” ao longo de uma carreira longa.