Блог

Когда я изучаю Haskell, я понимаю, что do нотация — это просто синтаксический сахар:

 a = do x <- [3..4]
       [1..2]
       return (x, 42)
  

Переводится в

 a = [3..4] >>= (x -> [1..2] >>= (_ -> return (x, 42)))
  

Я понимаю, что, вероятно, буду использовать обозначение do, но я хотел бы понять, что происходит при переводе. Итак, чисто по педагогическим соображениям, есть ли способ для ghc / ghci предоставить мне соответствующие инструкции привязки для довольно сложной монады, написанной в do-нотации?

Редактировать. Оказывается, lambdabot на #haskell может это сделать:

 <Guest61347> @undo do x <- [3..4] ; [1..2] ; return (x, 42)
<lambdabot> [3 .. 4] >>=  x -> [1 .. 2] >> return (x, 42)
  

Вот исходный код плагина отмены.

Вы можете запросить выходные данные у GHC desugarer , однако это также приведет к удалению множества других синтаксисов.

Сначала мы поместим ваш код в модуль Foo.hs :

 module Foo where

a = do x <- [3..4]
       [1..2]
       return (x, 42)
  

Далее мы попросим GHC скомпилировать его и вывести результат после этапа десугаринга:

 $ ghc -c Foo.hs -ddump-ds
  

Вывод может выглядеть довольно беспорядочно, потому что это вариант Haskell под названием Core, который используется в качестве промежуточного языка GHC. Однако, это не слишком сложно читать, как только вы к этому привыкнете. В середине некоторых других определений мы находим ваше:

 Foo.a :: [(GHC.Integer.Type.Integer, GHC.Integer.Type.Integer)]
LclIdX
[]
Foo.a =
  >>=_agg
    @ GHC.Integer.Type.Integer
    @ (GHC.Integer.Type.Integer, GHC.Integer.Type.Integer)
    (enumFromTo_ag7
       (GHC.Integer.smallInteger 3) (GHC.Integer.smallInteger 4))
    ( (x_adf :: GHC.Integer.Type.Integer) ->
       >>_agn
         @ GHC.Integer.Type.Integer
         @ (GHC.Integer.Type.Integer, GHC.Integer.Type.Integer)
         (enumFromTo_ags
            (GHC.Integer.smallInteger 1) (GHC.Integer.smallInteger 2))
         (return_aki
            @ (GHC.Integer.Type.Integer, GHC.Integer.Type.Integer)
            (x_adf, GHC.Integer.smallInteger 42)))
  

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

Если мы удалим _xyz суффиксы, добавленные переименователем, а также приложения типа @ Xyz и вызовы GHC.Integer.smallInteger , и снова сделаем операторы инфиксными, у вас останется что-то вроде этого:

 Foo.a :: [(GHC.Integer.Type.Integer, GHC.Integer.Type.Integer)]
Foo.a = enumFromTo 3 4 >>= x -> enumFromTo 1 2 >> return (x, 42)