He leído que los combinadores de analizador Haskell (en Parsec) pueden analizar gramáticas sensibles al contexto. ¿Es esto también cierto para los combinadores de analizador Scala? Si es así, ¿es para esto que sirve la función "into" (también conocido como ">>")?

¿Cuáles son algunas de las fortalezas / debilidades de la implementación de Scala de los combinadores de analizador sintáctico, en comparación con la de Haskell? ¿Aceptan la misma clase de gramáticas? ¿Es más fácil generar mensajes de error o hacer otras cosas útiles diversas con uno u otro?

¿Cómo encaja el análisis de Packrat (introducido en Scala 2.8) en esta imagen?

¿Hay una página web o algún otro recurso que muestre cómo los diferentes operadores / funciones / DSL-sugar de la implementación de un idioma se asignan al otro?