11
Việc pha trộn các giai đoạn lexer và phân tích cú pháp trong một giai đoạn đôi khi làm cho các trình phân tích Parsec ít đọc được hơn nhưng cũng làm chậm chúng xuống. Một giải pháp là sử dụng Alex làm trình sửa lỗi và sau đó Parsec làm trình phân tích cú pháp của luồng mã thông báo. Điều này là tốt nhưng nó sẽ tốt hơn nếu tôi có thể loại bỏ Alex bởi vì nó thêm một giai đoạn tiền xử lý trong đường dẫn biên dịch, không tích hợp tốt với "IDE" haskell, vv. Tôi đã tự hỏi nếu có một điều như một EDSL haskell để mô tả tokenizers, rất nhiều trong phong cách của Alex, nhưng như là một thư viện.Có một EDSL haskell để viết lexers không?
Đây là câu hỏi mà tôi đã xem xét vào cuối năm nhưng không có gì tôi thực sự thấy. Tôi đang tưởng tượng có thể là một RegEx EDSL mà từ đó chúng tôi thực hiện một tokenizer untagged (:: [RegEx] -> String -> [String]). –
Tôi có thể đưa ra giải pháp nhanh chóng bằng cách sử dụng bất kỳ thư viện regexp nào bằng cách cố gắng đối sánh chuỗi hiện tại một lần nữa với mỗi regexp, nhưng tôi sẽ mất rất nhiều tối ưu hóa của Alex do kiến thức về tập hợp tất cả các regexps. –