È possibile costruire una libreria di combinatori di parser che legge come una grammatica BNF? Non ne conosco, quindi ho iniziato a chiedermi se ci sono ragioni per cui è impossibile o indesiderabile farlo. Mi sembra che sarebbe il migliore di entrambi i mondi.
I linguaggi funzionali come F # consentono il sovraccarico dell'operatore. È solo questione di fornire la sintassi giusta o c'è dell'altro?
Le varie versioni di Parsec / AttoParsec, per il linguaggio di programmazione Haskell, sono piuttosto vicine: una definizione del parser Parsec sembra quasi come BNF, con alcune differenze minori (dove BNF usa | , Parsec ha <|> ; BNF := è = in Parsec; Parsec aggiunge segnalazione degli errori e la funzione try per look-ahead arbitrario).
Dovresti guardare al combinatore di Parser di Scala. È stato costruito a terra per corrispondere alla sintassi di BNF.
Leggi altre domande sui tag parsing parser-combinator