Haskell Parser combinators

Question

Tôi đã đọc rất nhiều về Haskell Parser combinators và thấy rất nhiều chủ đề như:

• Parsec vs Yacc/Bison/Antlr: Why and when to use Parsec?
• Which Haskell parsing technology is most pleasant to use, and why?
• Parsec or happy (with alex) or uu-parsinglib
• Choosing a Haskell parser
• What is the advantage of using a parser generator like happy as opposed to using parser combinators?

Nhưng tất cả các chủ đề này đều so sánh Parser Combinators với Parser Generators.

Tôi muốn hỏi bạn đó của Parser Combinator phù hợp nhất với các điều kiện sau:

1. Tôi muốn có quyền kiểm soát tốt về các lỗi (bao gồm phục hồi lỗi) và các thông điệp cho người dùng
2. Tôi muốn để có thể cung cấp cho trình phân tích cú pháp các phần nhỏ của văn bản (không phải toàn bộ tập tin cùng một lúc)
3. Tôi muốn có thể thiết kế lại ngữ pháp một cách độc đáo (tôi hiện đang phát triển ngữ pháp, vì vậy "waf làm việc tốt" là quan trọng "
4. Trình phân tích cú pháp cuối cùng phải nhanh (hiệu suất là quan trọng, nhưng không nhiều bằng điểm 1-3).

Tôi đã phát hiện ra, rằng combinators phân tích cú pháp phổ biến nhất là:

• Parsec
• uu-parsinglib
• attoparsec

Answer 1

Tôi có thể nói chắc chắn đi với Parsec, heres lý do:

Attoparsec được thiết kế để nhanh chóng sử dụng, nhưng thiếu sự hỗ trợ mạnh mẽ cho các thông báo lỗi bạn nhận được trong Parsec, vì vậy đó là một chiến thắng cho điểm đầu tiên của bạn.

Kinh nghiệm sử dụng thư viện trình phối hợp phân tích cú pháp của tôi là thực sự dễ dàng kiểm tra các phần riêng lẻ của trình phân tích cú pháp, hoặc trong GHCi hoặc trong kiểm tra, vì vậy điểm thứ hai là tất cả chúng đều hài lòng. Cuối cùng, Attoparsec và Parsec khá nhanh.

Cuối cùng, Parsec đã tồn tại lâu nhất và có nhiều tính năng hữu ích và nâng cao. Điều này có nghĩa là khả năng bảo trì chung sẽ dễ dàng hơn, nhiều ví dụ hơn trong Parsec và nhiều người đã quen thuộc hơn với nó. uu-parsinglib chắc chắn đáng để bạn khám phá, nhưng tôi khuyên bạn nên làm quen với Parsec trước tiên là khóa học tốt hơn vì những lý do này. (Alex cũng là lexer được đề nghị nhiều nhất để sử dụng với Parsec hoặc cách khác, nhưng tôi không tự mình sử dụng nó.)