List comprehensions and Swift
A list comprehension is a syntactic construct available in some programming languages for creating a list based on existing lists. It follows the form of the mathematical setbuilder notation (set comprehension) as distinct from the use of map and filter functions.
Case study
List all right triangles that have integers for all sides and all sides equal to or smaller than 10 has a perimeter of 24?
Haskell solution
Before we continue, please, read the Set Builder Notation article.
As you know, in functional programming we either describing a problem than writing a solution. Let’s describe our problem using Set Builder Notation taking into consideration that side b isn’t larger than the hypothenuse and that side a isn’t larger than side b:
Expression  Meaning 

Output expression or output function. A tuple which contains triangle sides  
Input set. Builds [1, 2, 3, 4, 5, 6, 7, 8, 9, 10] set from  natural numbers set. 

Predicate. Satisfies when comaseparated parts return true . (and logic) 
Lets do nothing, but translate it to Haskell, using List Comprehension syntax and we will have a ready solution.
BTW, I remember that “equation system solution” exists, but we are doing programming here ;)
Warmup
Let’s imagine, that we need to create the list of even squares of Integers each of which is less then 100.
Set builder notation solution:
Haskell solution:
Swift solution
Expression  Meaning 

$0*$0 
Output function. map applies it to each element of the set. 
(1...100) 
Input set 
$0 % 2 == 0`  Predicate 
Now we know all the basics. It’s time to crack the Triangles problem.
Solution
Solution should return the Array
of all possible triangles, satysfing the problem conditions. Each triangle is represented with triple (in Haskel  triple is three element tuple)
Let’s build the set of existing triangles with sides lengths 1..10
The result contains some extra brackets (which is correct), so we better rewrite it using flatMap
:
Output now is much better. We have the Array
of (Int, Int, Int)
, or, another word, we built needed set of needed triangles. The only thing we should do is to add the Predicate
.
Conclusion
I made the simple problem complex, wrote some weird code which could be ten times simpler. But functional programming is not just a monad usage. Functional programming is the way, where math and coding go together. It is elegant and beautiful. This article was not a programming use case. It is an attempt to describe different approach to problem solution.