Software Engineering discussion

I really liked the discussion of list comprehensions, and the many examples of this flexible construct described in this chapter. I always hated the name for this idea, so I did a little investigating. The term list comprehension was first used with a language called NPL in 1977. It apparently comes from a terminology in mathematical set theory, and is a synonym for "axiom schema of specification". Although more wordy, the latter phrase is more descriptive for me. Maybe, "list specification" or "list schema" would be clearer alternatives?

My Discrete Mathematics book uses Set Builder notation for Set Comprehensions, which makes more sense to me, but I also like suggested List Specification – it better describes construct representation with Haskell syntax.

I really like what can be done in Haskell in one or two readable lines of code with ranges, tuples, and list comprehensions.