List comprehension


#1

Is it possible to create a list of records with list comprehension?

In Haskell I can do:

[(x, y) | x <- [1,2,3], y <- ['a', 'b', 'c']]

which results in

|[(1,'a'),(1,'b'),(1,'c'),(2,'a'),(2,'b'),(2,'c'),(3,'a'),(3,'b'),(3,'c')]

Is something similar possible in Dhall?


#2

I suppose it could be a feature request! Looks neat in my opinion.


#3

This has been requested before in https://github.com/dhall-lang/dhall-lang/issues/1017.