Vì sao tôi ưu tiên rST
Tôi sẽ không ngừng đưa ra lập luận này
- Tôi đã xuất bản phiên bản mới của "Logic for Programmers" v0.2. Phiên bản này bao gồm hỗ trợ epub, giải quyết ràng buộc và nội dung về đặc tả hình thức.
- Tôi cũng viết cuốn sách thứ hai "Learn TLA+" bằng Sphinx. Sphinx sử dụng một kiểu markup đặc trưng là reStructured Text (rST).
- rST có đường cong học tập dốc hơn markdown. Sau khi viết vài cuốn sách bằng markdown, tôi cảm thấy cần một thứ tốt hơn nên đã chuyển sang rST.
Vì sao rST tốt hơn
Một trường hợp sử dụng
"Nhưng tôi ghét cú pháp"
- Nhiều người cho rằng cú pháp của rST xấu.
- Tôi có thể hiểu việc không dùng một công cụ tốt chỉ vì bạn không thích cú pháp.
- Cũng có các trình dựng tài liệu khác như asciidoc, MyST, Typst, Pollen và pandoc-extended markdown.
- Các trình tạo tài liệu dựa trên markdown thường thêm bước tiền xử lý riêng để hỗ trợ các trường hợp sử dụng mới.
- Có LSP và treesitter cho markdown và rST, nhưng không có cho gitbook-markdown, md-markdown hay leanpub-markdown.
Tuần sau sẽ không có bản tin
Cập nhật 2024-07-31
- Tôi đã thêm phần giải thích ngắn về "Logic for Programmers".
- Cuốn sách này nói về việc logic hình thức hữu ích như thế nào trong kỹ thuật phần mềm hằng ngày.
- Nó bao gồm phần tổng quan toán học cơ bản và tám ứng dụng khác nhau.
- Dù vẫn đang ở giai đoạn alpha, sách đã có hơn 20.000 từ và chứa nhiều nội dung hữu ích.
Tóm tắt của GN⁺
- rST là công cụ soạn thảo tài liệu mạnh hơn markdown.
- Khi dùng cùng Sphinx, nó có khả năng biến đổi và mở rộng cây tài liệu.
- Điều này hữu ích khi viết các cuốn sách như "Logic for Programmers".
- Nhiều người cho rằng cú pháp của rST xấu, nhưng vẫn có các lựa chọn thay thế khác.
- Điều này có thể hữu ích với những ai quan tâm đến kỹ thuật phần mềm liên quan đến logic hình thức.
1 bình luận
Ý kiến Hacker News