Мой вопрос касается классов типа Аппликативный и Монад, с одной стороны, и контекстно-зависимых и контекстно-зависимых уровней грамматики иерархии Хомского - с другой.
Я слышал, что существует соответствие между типами классов и уровнями грамматики. Насколько точно это соответствие?
То есть, можно ли анализировать все контекстно-свободные грамматики, используя ничего более сильного, чем аппликативные комбинаторы, и все ли грамматики, которые могут быть проанализированы, используя ничего более сильного, чем аппликативные комбинаторы, не содержащие контекста? Другими словами, класс Applicative type точно соответствует контекстно-свободным грамматикам?
И тот же вопрос, за исключением "контекстно-свободный", замененный "контекстно-зависимым" и "Аппликативным по Монаде".
Осветление Баунти: do type class (es) соответствуют уровням грамматики? Например, есть ли набор классов типов, которые обеспечивают все операции, необходимые для выражения регулярных языков и не более?
Мотивация вопроса заключается в том, что я работал над парсером и хотел определить, какой уровень грамматики был в моей реализации, на основе используемых множителей. Это возможно?