Pourquoi je préfère rST
Je ne cesserai pas de défendre cette idée
- J’ai publié une nouvelle version de "Logic for Programmers" v0.2. Cette version inclut la prise en charge d’epub, la résolution de contraintes et du contenu sur les spécifications formelles.
- J’ai aussi écrit mon deuxième livre, "Learn TLA+", avec Sphinx. Sphinx utilise un langage de balisage particulier appelé reStructured Text (rST).
- rST a une courbe d’apprentissage plus raide que Markdown. Après avoir écrit plusieurs livres en Markdown, j’ai senti qu’il me fallait quelque chose de mieux et je suis passé à rST.
Pourquoi rST est meilleur
Un cas d’usage
« Mais je n’aime pas la syntaxe »
- Beaucoup trouvent la syntaxe de rST laide.
- Il est compréhensible de ne pas vouloir utiliser un bon outil simplement parce qu’on n’aime pas sa syntaxe.
- Il existe aussi d’autres générateurs de documents comme asciidoc, MyST, Typst, Pollen et pandoc-extended markdown.
- Les générateurs de documentation basés sur Markdown ajoutent souvent leur propre étape de prétraitement pour prendre en charge de nouveaux cas d’usage.
- Il existe des LSP et treesitter pour Markdown et rST, mais pas pour gitbook-markdown, md-markdown ou leanpub-markdown.
Pas de newsletter la semaine prochaine
Mise à jour du 2024-07-31
- J’ai ajouté une brève description de "Logic for Programmers".
- Le livre traite de la manière dont la logique formelle peut être utile dans l’ingénierie logicielle du quotidien.
- Il comprend un aperçu des mathématiques de base et huit applications différentes.
- Il est encore au stade alpha, mais plus de 20 000 mots ont déjà été écrits et il contient déjà beaucoup de contenu utile.
Résumé de GN⁺
- rST est un outil de rédaction documentaire plus puissant que Markdown.
- Utilisé avec Sphinx, il permet de transformer et d’étendre l’arbre documentaire.
- Il est utile pour écrire des livres comme "Logic for Programmers".
- Beaucoup trouvent la syntaxe de rST laide, mais il existe aussi d’autres alternatives.
- Cela peut être utile aux personnes intéressées par l’ingénierie logicielle liée à la logique formelle.
1 commentaires
Avis Hacker News