Haskell 言語拡張に関するこのガイドを読みましたが、TransformListComp の説明に多少混乱しました。砂糖を使わずにすべての TransformListComp 式を書き直そうとしましたが、正しいかどうかわかりません。
また、ガイドに間違いがあると思います: 「then group using clauses」の例は、「(groupBy (==))」が正しいタイプではないため不可能です (「Eq a」は使用できません)。
[foo | x1 <- xs1,
x2 <- xs2,
...
xi <- xsi,
then f,
xj <- xsj,
...
xn <- xni
]
==
[foo | f x1 <- xs1,
f x2 <- xs2,
...
f xi <- xsi,
xj <- xsj,
...
xn <- xni
]
-------------------
[foo | x1 <- xs1,
x2 <- xs2,
...
xi <- xsi,
then f by exp,
xj <- xsj,
...
xn <- xni
]
==
f (\(x1,x2,...,xi) -> exp) [(x1,x2,...,xi) |
x1 <- xs1,
x2 <- xs2,
...
xi <- xsi]
>>=(\(x1,x2,...,xi) ->
[foo |
xj <- xsj,
...
xn <- xni
])
-------------------
[foo | x1 <- xs1,
x2 <- xs2,
...
xi <- xsi,
then group using f,
xj <- xsj,
...
xn <- xni
]
==
map unzipI (f [(x1,x2,...,xi) |
x1 <- xs1,
x2 <- xs2,
...
xi <- xsi])
>>=(\(xs1,xs2,...,xsi) ->
[foo |
x1 <- xs1,
x2 <- xs2,
...
xi <- xsi,
xj <- xsj,
...
xn <- xni
])
unzipI :: [(t1,t2,...tn)] -> ([t1],[t2]..,[tn])
-------------------
[foo | x1 <- xs1,
x2 <- xs2,
...
xi <- xsi,
then group by exp using f,
xj <- xsj,
...
xn <- xni
]
==
map unzipI (f (\(x1,x2,...,xi) -> exp) [(x1,x2,...,xi) |
x1 <- xs1,
x2 <- xs2,
...
xi <- xsi])
>>=(\(xs1,xs2,...,xsi) ->
[foo |
x1 <- xs1,
x2 <- xs2,
...
xi <- xsi,
xj <- xsj,
...
xn <- xni
])
unzipI :: [(t1,t2,...tn)] -> ([t1],[t2]..,[tn])