Hasekll Auswahl der Matrix mit Replikat

Question

Ich versuche ein Problem zu lösen, dass ich nicht weiß, wie man sich nähert: Wie würden Sie replicate verwenden, um eine Matrix choice :: Matrix [Int] zu definieren, die [1 .. 9] in jeder Zelle enthält?

Answer 1

Zunächst einmal gehe ich davon aus, dass Sie ein Gitter 9-by-9 wollen mit einer Liste in jedem Eintrag, und dass die Definition von Matrix sieht wie folgt aus:

type Matrix a = [[a]] 

nun die Funktion replicate :: Int -> a -> [a] nimmt eine Int und eine Art a, wiederholt es so oft.

So etwas können wir zuerst versuchen: Wie erstellen wir eine Liste mit [1..9] in jedem Element?

Prelude> replicate 9 [1..9] 
[[1,2,3,4,5,6,7,8,9] 
,[1,2,3,4,5,6,7,8,9] 
,[1,2,3,4,5,6,7,8,9] 
,[1,2,3,4,5,6,7,8,9] 
,[1,2,3,4,5,6,7,8,9] 
,[1,2,3,4,5,6,7,8,9] 
,[1,2,3,4,5,6,7,8,9] 
,[1,2,3,4,5,6,7,8,9] 
,[1,2,3,4,5,6,7,8,9]] 

Der Ausgang leicht bearbeitet wird jedes Element in einer eigenen Zeile angezeigt werden, aber dies ist effektiv eine einzige Reihe in der Matrix, ist es nicht? Warum wiederholen wir es nicht noch 9 Mal?

Prelude> replicate 9 $ replicate 9 [1..9] 
[[[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9]] 
,[[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9]] 
,[[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9]] 
,[[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9]] 
,[[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9]] 
,[[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9]] 
,[[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9]] 
,[[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9]] 
,[[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9],[1,2,3,4,5,6,7,8,9]]]