A great discovery solves a great problem but there is a grain of discovery in the solution of any problem.

—George Pólya

In How to Solve It, George Pólya proposes a list of questions and suggestions which may help us solve mathematical problems. The list is divided into four parts and can be summarized as follows:

- Understand the problem:
- What are the data?
- What is the unknown?
- Devise a plan of the solution:
- Find the connection between the data and the unknown.
- Consider auxiliary problems.
- Carry out the plan.
- Look back:
- Examine the solution obtained.

In How to Program It, Simon Thompson shows how to apply Pólya's list to (functional) programming. Basically, instead of devising and carrying out a plan, we design and write a program which has inputs (data) and output (unknown).

As an example of how to apply the list to programming in Haskell,
let's work through the problem of finding the missing number in a
permutation of the numbers from *1* to *n* in which there is a missing
element.

First, we have to understand the problem. We know that we have as
input a possibly unsorted list of numbers from *1* to *n* with exactly
one missing element, which we need as output. Thus, we have to write a
function that takes a list of integers and returns an integer:

```
missingNumber :: [Int] -> Int
```

Additionally, we can write some examples using Haddock:

```
-- >>> missingNumber []
-- 1
-- >>> missingNumber [1,2,3,4]
-- 5
-- >>> missingNumber [5,3,2,1]
-- 4
```

In the end, we can even check these examples using doctest.

Second, we have to devise a plan. We can consider an auxiliary
problem: finding the missing number in an ordered permutation of the
numbers from *1* to *n* in which there is a missing element, which is
just a matter of comparing the numbers in the permutation with the
numbers from *1* to *n* and returning the first differing number.

If we write a function to solve the auxiliary problem and call it
`missingNumber'`

, our solution becomes straightforward:

```
missingNumber ns = missingNumber' (sort ns) 1
```

Third, we have to carry out our plan, which consists solely in
implementing the `missingNumber'`

auxiliary function:

```
missingNumber' (n:ns) m | n == m = missingNumber' ns (m + 1)
missingNumber' _ m = m
```

Finally, we have to look back and examine our solution. We can check
it using doctest, which would return neither errors nor failures for
our three examples. Alternatively, we can think of different ways to
solve the problem; for instance, we could simply return the sum of the
numbers from *1* to *n* minus the sum of the input numbers, which is
the missing number:

```
missingNumber ns = sumFromOneTo n - sum ns
```

where

```
sumFromOneTo n = n * (n + 1) `div` 2
```

and

```
n = length ns + 1
```

For more information about how to solve problems in Haskell, take a look at Simon Thompson's Problem Solving in Haskell and Miran Lipovača's Functionally Solving Problems.