Я должен описать тип Parser как серию преобразователей монад. Насколько я понимаю, преобразователи монад используются для обертывания монад в другую монаду. Но я не понимаю, в чем тут задача.
Вместо определения нового типа для Parser, вы можете просто определить его как псевдоним типа для типа, созданного одним или несколькими преобразователями монад. То есть ваше определение будет выглядеть примерно так
type Parser a = SomeMonadT <some set of monads and types>
Тогда ваша задача - определить, какой преобразователь монад использовать и какие аргументы должны быть у преобразователя (ов).
Эта статья взята из Интернета, укажите источник при перепечатке.
Если есть какие-либо нарушения, пожалуйста, свяжитесь с[email protected] Удалить.
я говорю два предложения