Removing syntactic sugar: List comprehension in Haskell

Can I unsugar list comprehension in this expression:

[(i,j) | i <- [1..4], j <- [i+1..4]]

This is the output:


How can I, with map, filter and so on, write that piece of code?


Here an other:

[(i,j,k) | i <- [1..6], j <- [i+1..6],k <- [j+1..6]]

This is the output:



List comprehensions (in fact, Monad comprehensions) can be desugared into do notation.

do i <- [1..4]
   j <- [i+1..4]
   return (i,j)

Which can be desugared as usual:

[1..4]   >>= \i ->
[i+1..4] >>= \j ->
return (i,j)

It is well known that a >>= \x -> return b is the same as fmap (\x -> b) a. So an intermediate desugaring step:

[1..4] >>= \i -> 
fmap (\j -> (i,j)) [i+1..4]

For lists, (>>=) = flip concatMap, and fmap = map

(flip concatMap) [1..4] (\i -> map (\j -> (i,j) [i+1..4])

flip simply switches the order of the inputs.

concatMap (\i -> map (\j -> (i,j)) [i+1..4]) [1..4]

And this is how you wind up with Tsuyoshi's answer.

The second can similarly be desugared into:

concatMap (\i ->
  concatMap (\j ->
    map       (\k ->

concatMap (\i -> map (\j -> (i, j)) [i+1 .. 4]) [1 .. 4]

The desugared code is:

concatMap (\i -> concatMap (\j -> (i, j) : []) [i+1..4]) [1..4]

Which can be refactored to Tsuyoshi Ito's answer.

There is yet another translation scheme, it is due to Wadler, as far as I know.

This would give:

    lc_outer (x:xs) = let lc_inner (y:ys) = (x,y) : lc_inner ys
                          lc_inner []     = lc_outer xs
                      in lc_inner [x+1.. 4]
    lc_outer [] = []
in  lc_outer [1..4]

This translation avoids needless construction of singleton lists in the innermost level that would need to get flattened with concatMap later.

Need Your Help

What are the pros and cons of View-first vs. ViewModel-first in the MVVM pattern


I'm giving a presentation on using MVVM in real world applications and I'm including a section on the religious wars design decisions involved when using MVVM as a pattern in your application. In a...

Converting float decimal to fraction

php math floating-point type-conversion rational-numbers

I am trying to convert calculations keyed in by users with decimal results into fractions. For e.g.; 66.6666666667 into 66 2/3. Any pointers?