Trình phân tích cú pháp phân tích cú pháp Haskell để gặp phải [...]

Question

Tôi đang cố viết một trình phân tích cú pháp trong Haskell bằng Parsec. Hiện nay tôi có một chương trình có thể phân tích

test x [1,2,3] end 

Các mã mà thực hiện điều này được đưa ra như sau

testParser = do { 
    reserved "test"; 
    v <- identifier; 
    symbol "["; 
    l <- sepBy natural commaSep; 
    symbol "]"; 
    p <- pParser; 
    return $ Test v (List l) p 
} <?> "end" 

nơi commaSep được định nghĩa là

commaSep  = skipMany1 (space <|> char ',') 

Bây giờ là có một cách nào đó đối với tôi để phân tích một tuyên bố tương tự, cụ thể:

test x [1...3] end 

Làm quen với Haskell và Parsec cho vấn đề đó, tôi chắc chắn có một số cách ngắn gọn để làm điều này mà tôi không biết. Bất kỳ trợ giúp sẽ được đánh giá cao.

Xin cảm ơn một lần nữa.

Answer 1

Tôi sẽ sử dụng một số chức năng từ Control.Applicative như (*>). Các hàm này rất hữu ích nếu bạn muốn tránh giao diện đơn thuần của Parsec và thích giao diện ứng dụng hơn, bởi vì các trình phân tích cú pháp trở nên dễ đọc theo cách đó theo ý kiến ​​của tôi.

Nếu bạn không quen với các chức năng cơ bản, hãy để lại nhận xét và tôi sẽ giải thích chúng. Bạn có thể tìm kiếm chúng trên Hoogle nếu bạn không chắc chắn.

---

Như tôi đã hiểu vấn đề của bạn, bạn muốn có một phân tích cú pháp cho một số cấu trúc dữ liệu như thế này:

data Test = Test String Numbers 
data Numbers = List [Int] | Range Int Int 

Một phân tích cú pháp có thể phân tích một cấu trúc dữ liệu như vậy sẽ giống như thế này (tôi đã không biên soạn mã, nhưng nó sẽ hoạt động):

-- parses "test <identifier> [<numbers>] end" 
testParser :: Parser Test 
testParser = 
    Test <$> reserved "test" *> identifier 
     <*> symbol "[" *> numbersParser <* symbol "]" 
     <* reserved "end" 
     <?> "test" 

numbersParser :: Parser Numbers 
numbersParser = try listParser <|> rangeParser 

-- parses "<natural>, <natural>, <natural>" etc 
listParser :: Parser Numbers 
listParser = 
    List <$> sepBy natural (symbol ",") 
     <?> "list" 

-- parses "<natural> ... <natural>" 
rangeParser :: Parser Numbers 
rangeParser = 
    Range <$> natural <* symbol "..." 
     <*> natural 
     <?> "range"