Eine Funktion schreiben, die eine Liste als Argument akzeptiert

Question

Ich begann Haskell zu studieren, um mich auf das nächste Semester vorzubereiten (ich habe es Anfang des letzten Semesters fallen gelassen), und ich habe erfolgreich einige grundlegende Funktionen geschrieben. Das Thema, das ich gerade überprüfe, ist Lists, und ich brauche Hilfe, um eine sehr einfache Funktion namens cons8 zu schreiben, die ein Argument akzeptiert, das eine Liste ist und eine 8 zum Anfang einer solchen Liste hinzufügt. Mein Problem ist, dass ich festhalte, wie man eine Liste als Argument der Funktion einfügt und wie man sich darauf im Körper der Funktion bezieht. Ich denke, dass ich die Art definieren können wie folgt und dann die Funktion schreiben:

cons8 :: [a] -> [a] 

Ich werde sehr schätzen Ihre Hilfe mein Problem zu lösen.

Answer 1

Erstens, ausgehend von der Art ist in der Tat ein guter Anfang.

Lassen Sie uns den Typ überprüfen:

cons8 :: [a] -> [a] 

Hier a jeder Art sein kann. Der obige Typ verspricht, dass der Aufrufer cons8 mit einer beliebigen Liste verwenden kann: eine Liste von Ganzzahlen, eine Liste von Zeichen, eine Liste von Booleschen Werten usw. Da wir 8 vorangestellt haben und Listen desselben Typs enthalten, können wir sehen dass der obige Typ zu allgemein ist. Lassen Sie uns etwas weniger allgemeines verwenden, z.

cons8 :: [Int] -> [Int] 

Jetzt, wie man ein Listenargument nimmt. Das ist wichtig: Sie nehmen ein Listenargument wie jedes andere Argument.

cons8 x = ???? -- TODO 

Ein häufiger Fehler ist hier cons8 [n] = ... zu schreiben, da es sich um eine Liste ist. Tu das nicht! [n] ist eine Liste, aber eine ganz besondere: eine Liste mit nur einem Element (n). Wir wollen nicht nur mit Ein-Element-Listen umgehen, wir wollen cons8 mit beliebigen Liste arbeiten. Also, keine Klammern: Lassen Sie x das ganze Listenargument sein.

Dann können wir gelten nur die Nachteile Betreiber:

cons8 x = 8 : x 

Natürlich können wir x einen beliebigen anderen Namen umbenennen, zum Beispiel

cons8 list = 8 : list 

würde auch funktionieren.

Wenn Sie im Voraus in Haskell bekommen, werden Sie wahrscheinlich über Abschnitte lernen werden, und es vorziehen, den folgenden Code

cons8 = (8 :) 

Tatsächlich ist (8 :) so kurz, dass Sie in der Regel eine cons8 Funktion vermeiden definieren und seine direkt verwenden Definition.