私の質問は、一方で Applicative および Monad 型クラスに関するものであり、他方でチョムスキー階層の文脈自由および文脈依存文法レベルに関するものです。
型クラスと文法レベルは対応していると聞きました。この対応はどの程度正確ですか？
つまり、すべての文脈自由文法は、Applicative コンビネータよりも強力なものを使用して解析できますか? つまり、Applicative 型クラスは文脈自由文法に正確に対応しているのでしょうか。
'context-sensitive' に置き換えられた 'context-free' と Monad による Applicative を除いて、同じ質問です。
報奨金の明確化: 型クラスは文法レベルに対応していますか? たとえば、正規表現言語に必要なすべての操作を提供する型クラスのセットはありますか?
質問の動機は、私がパーサーに取り組んでいて、使用したコンビネーターに基づいて実装がどの文法レベルにあるかを判断したかったことです。これは可能ですか？