Eu notei uma falta distinta de analisadores LL que criam analisadores em linguagens funcionais. A descoberta ideal para o que eu tenho procurado sem sucesso é algo para gerar um analisador Haskell para uma gramática LL (*) no estilo ANTLR (reformatação menor do módulo da gramática) e ficou surpreso que todo gerador de analisador com um funcional o destino do idioma que encontrei foi algum tipo de analisador LR.

Quero fazer a transição do analisador dessa linguagem em que estou trabalhando, que possui recursos funcionais da ANTLR para auto-hospedar na própria linguagem, e ajudaria muito se eu pudesse portar para minha linguagem algo quase certamente correto em outra funcionalidade idioma (de preferência aqueles com os quais eu estou familiarizado, Haskell e Scala), em vez de ter que reescrevê-lo totalmente do zero, embora no final eu possa fazer isso, pois o idioma principal é pequen

Neste ponto, mais do que uma solução para isso, estou muito curioso quanto aporqu não existem tais geradores de analisador LL (*) ou mesmo LL (k), mas muitos geradores LR, pois o LL parece inerentemente mais fáci