Wolfram Kahl writes:
| [...]
|
| So I should diagonalise over that result ;-^)
|
| > test1 = diagWK (diagTP [[(x,y) | y <- [0..]] | x <- [0..]])
|
| Unfortunately even that loops.
| This is because your definition has to insist on
| finding the last element of ys before returning a first eleme
There were recently many letters on the subject of Enum (a,b).
To my mind, this is not so important matter to design the standard
enumeration for pairs.
For, suppose the programmer needs to enumerate (a,b).
There are infinitely many good ways to map, for example,
Integer to (Integer,Integer) -
Folks,
| To me, it seems unsatisfactory to have a solution to this pure
| list problem with auxiliary functions relying on integers.
| It turns out to be a nice exercise to implement
|
| > diagonalise :: [[a]] -> [a]
|
| without any reference to numbers.
I havn't been following the diagonali
