Parsec (analizador)

Parsec es una biblioteca para escribir analizadores sintácticos escritos en el lenguaje de programación Haskell . ^[3] Se basa en combinadores de analizadores sintácticos de orden superior , por lo que se puede crear un analizador sintáctico complicado a partir de muchos más pequeños. ^[4] Se ha reimplementado en muchos otros lenguajes, incluidos Erlang , ^[5] Elixir , ^[6] OCaml , ^[7] Racket , ^[8] F# , ^{[9] [10]} y los lenguajes de programación imperativo C# , ^[11] y Java . ^[12]

Debido a que un programa basado en un combinador de analizadores sintácticos es generalmente más lento que un programa basado en un generador de analizadores sintácticos , ^{[ cita requerida ]} Parsec normalmente se utiliza para lenguajes pequeños de dominio específico , mientras que Happy se utiliza para compiladores como el Glasgow Haskell Compiler (GHC). ^[13]

Otras bibliotecas combinadoras de analizadores sintácticos Haskell que se han derivado de Parsec incluyen Megaparsec ^[14] y Attoparsec. ^[15]

Parsec es un software libre publicado bajo la licencia BSD-3-Clause. ^[16]

Los analizadores escritos en Parsec comienzan con analizadores más simples, como los que reconocen ciertas cadenas, y los combinan para crear un analizador con un comportamiento más complicado. Por ejemplo, digitanaliza un dígito y stringanaliza una cadena específica (como "hello").

Las bibliotecas de combinadores de analizadores sintácticos como Parsec proporcionan funciones de utilidad para ejecutar los analizadores sintácticos en valores reales. Un analizador sintáctico que reconoce un solo dígito de una cadena se puede dividir en dos funciones: una para crear el analizador y una mainfunción que llama a una de estas funciones de utilidad ( parseen este caso) para ejecutar el analizador sintáctico:

import Text.Parsec -- tiene funciones de utilidad de análisis general import Text.Parsec.Char -- contiene combinadores básicos específicos type Parser = Stream s m Char => ParsecT s u m String       
  
            

parser :: Analizador parser = cadena "hola"  
   

main :: IO () main = print ( parse parser "<test>" "hola mundo" ) -- imprime 'Derecho "hola"'   
      

Definimos un Parsertipo para que la firma de tipo sea parsermás fácil de leer. Si quisiéramos modificar este programa, por ejemplo, para leer la cadena "hello"o la cadena "goodbye", podríamos usar el operador <|>, proporcionado por la Alternativeclase de tipo, para combinar dos analizadores en un solo analizador que intente:

parser = cadena "hola" <|> cadena "adiós"      

• Parsec en la wiki de Haskell
• Parsec en Hackage
• parsec en GitHub