Por que prefiro rST
Não vou parar de defender essa ideia
- Publiquei a nova versão de "Logic for Programmers" v0.2. Esta versão inclui suporte a epub, resolução de restrições e conteúdo sobre especificação formal.
- Também escrevi o segundo livro, "Learn TLA+", com Sphinx. O Sphinx usa uma linguagem de marcação peculiar chamada reStructured Text (rST).
- O rST tem uma curva de aprendizado mais íngreme que o Markdown. Depois de escrever alguns livros em Markdown, senti que precisava de algo melhor e migrei para rST.
Por que o rST é melhor
Um caso de uso
"Mas eu odeio a sintaxe"
- Muita gente acha a sintaxe do rST feia.
- Dá para entender não querer usar uma ferramenta boa por não gostar da sintaxe.
- Também existem outros geradores de documentos, como AsciiDoc, MyST, Typst, Pollen e Markdown estendido com pandoc.
- Geradores de documentos baseados em Markdown frequentemente adicionam sua própria etapa de pré-processamento para dar suporte a novos casos de uso.
- Existem LSP e treesitter para Markdown e rST, mas não para gitbook-markdown, md-markdown ou leanpub-markdown.
Sem newsletter na próxima semana
Atualização de 2024-07-31
- Adicionei uma breve explicação sobre "Logic for Programmers".
- O livro trata de como a lógica formal pode ser útil na engenharia de software do dia a dia.
- Inclui uma visão geral básica de matemática e oito aplicações diferentes.
- Ainda está em fase alfa, mas já tem mais de 20.000 palavras escritas e bastante conteúdo útil.
Resumo do GN⁺
- O rST é uma ferramenta de escrita de documentação mais poderosa que o Markdown.
- Quando usado com Sphinx, ele oferece recursos para transformar e estender a árvore de documentos.
- É útil para escrever livros como "Logic for Programmers".
- Muita gente acha a sintaxe do rST feia, mas há outras alternativas.
- Pode ser útil para quem se interessa por engenharia de software relacionada à lógica formal.
1 comentários
Discussão no Hacker News