Por qué prefiero rST
No voy a dejar de sostener esta postura
- Publiqué la nueva versión de "Logic for Programmers" v0.2. Esta versión incluye soporte para epub, resolución de restricciones y contenido sobre especificaciones formales.
- También escribí mi segundo libro, "Learn TLA+", con Sphinx. Sphinx usa un marcado particular llamado reStructured Text (rST).
- rST tiene una curva de aprendizaje más pronunciada que Markdown. Después de escribir varios libros en Markdown, sentí que necesitaba algo mejor y me cambié a rST.
Por qué rST es mejor
Un caso de uso
"Pero odio la sintaxis"
- Mucha gente opina que la sintaxis de rST es fea.
- Es entendible no querer usar una buena herramienta solo porque no te gusta la sintaxis.
- También existen otros generadores de documentos como asciidoc, MyST, Typst, Pollen y pandoc-extended markdown.
- Los generadores de documentos basados en Markdown suelen agregar su propia etapa de preprocesamiento para soportar nuevos casos de uso.
- Hay LSP y treesitter para Markdown y rST, pero no para gitbook-markdown, md-markdown o leanpub-markdown.
La próxima semana no habrá newsletter
- Voy a estar en Hong Kong.
Actualización 2024-07-31
- Agregué una breve explicación sobre "Logic for Programmers".
- El libro trata sobre cómo la lógica formal puede ser útil en la ingeniería de software cotidiana.
- Incluye una introducción básica a las matemáticas y ocho aplicaciones diferentes.
- Sigue en etapa alfa, pero ya tiene más de 20,000 palabras e incluye mucho contenido útil.
Resumen de GN⁺
- rST es una herramienta de documentación más potente que Markdown.
- Usado con Sphinx, ofrece la capacidad de transformar y extender el árbol del documento.
- Es útil para escribir libros como "Logic for Programmers".
- Mucha gente considera fea la sintaxis de rST, pero también existen otras alternativas.
- Puede ser útil para quienes estén interesados en la ingeniería de software relacionada con la lógica formal.
1 comentarios
Opiniones de Hacker News