Transform функции без гражданства, чтобы Stateful один

Question

В настоящее время я пишу компилятор в Haskell как игрушка проект и у меня есть функция, которая выполняет динамическую трансформацию с подписью:

transform :: (Exp -> m Exp) -> Exp -> m Exp 

Это позволяет мне реализовать следующие типы операций над ним:

• Результаты накопления, например получить список функций, вызываемых внутри выражения.
• Преобразования, которые могут возвращать ошибки, например. который либо возвращает AST с типами, либо с ошибкой, описывающей проблемы типа.
• преобразования, которые зависят от ранее сделанных преобразований, например. дедупликация имен переменных при генерации тестового ввода.
• Я надеюсь, что это также позволит мне делать вычисления без учета состояния без изъятия.

Но почему-то, несмотря на то, что это должно быть очень легко, я застрял на создание лица без функции карты, основываясь на вышеупомянутом преобразования метода, который имеет следующую подпись:

map :: (Exp -> Exp) -> Exp -> Exp 

Я предпочел бы не имеют одинаковую логику о том, как снова пересекать детей на карте, но на самом деле реализовать ее поверх преобразования.

Answer 1

Если это фактический тип transform, то вы должны быть в состоянии сделать что-то вроде этого:

Control.Monad.Identity> :t transform 
transform :: (Exp -> m Exp) -> Exp -> m Exp 
Control.Monad.Identity> :t \f -> runIdentity . transform (Identity . f) 
\f -> runIdentity . transform (Identity . f) 
    :: (Exp -> Exp) -> Exp -> Exp 

Однако, вполне возможно, что у вас есть другие ограничения на m, что вы не написали, в вопрос, который может исключить Identity.