Haskell: eine Zeichenfolge, die von ausgewählten Unterketten und Leerzeichen

Question

Am noch neu in Haskell, so entschuldigen abgrenzen, wenn es eine offensichtliche Antwort ist ...


Ich möchte eine Funktion machen, die bis spaltet die dh alle folgenden Listen von Strings [String]:

["int x = 1", "y := x + 123"] 
["int x= 1", "y:= x+123"] 
["int x=1", "y:=x+123"] 

Alle in die gleiche Reihe von Strings, dh [[Zeichenfolge]]:

[["int", "x", "=", "1"], ["y", ":=", "x", "+", "123"]] 

Sie können map words.lines für den ersten [String] verwenden.

Aber ich kenne keine wirklich nette Möglichkeiten, um auch die anderen zu berücksichtigen - wo Sie die verschiedenen Sub-Strings würde "=", ":=", "+" usw. die Hauptsaite aufzubrechen.

Danke für die Zeit nehmen mich auf Haskell zu erleuchten :-)

Answer 1

Das Vorspiel kommt mit einer wenig bekannten praktischen Funktion namens lex, die eine Lexer für Haskell Ausdrücke ist. Diese entsprechen der Form, die Sie benötigen.

lex :: String -> [(String,String)] 

Was für ein komischer Typ! Die Liste ist da für die Schnittstelle mit einem Standardtyp von Parser, aber ich bin ziemlich sicher lex gibt immer entweder 1 oder 0 Elemente zurück (0 zeigt einen Parse-Fehler). Das Tupel ist (token-lexed, rest-of-input), also lex zieht nur ein Token ab. So eine einfache Möglichkeit, eine ganze Reihe wäre zu lex:

lexStr :: String -> [String] 
lexStr "" = [] 
lexStr s = 
    case lex s of 
     [(tok,rest)] -> tok : lexStr rest 
     []   -> error "Failed lex" 

Um die Pedanten zu beschwichtigen, ist dieser Code in der schrecklichen Form. Ein expliziter Aufruf an error anstelle der Rückgabe eines vernünftigen Fehlers mit Maybe, unter der Annahme lex gibt nur 1 oder 0 Elemente, etc. Der Code, der dies zuverlässig tut, ist etwa gleich lang, ist aber deutlich abstrakter, so verschonte ich Ihre Anfängeraugen.

Answer 2

ich einen Blick auf parsec nehmen und eine einfache Grammatik bauen die Saiten zum Parsen.

Answer 3

wie Worte über die Verwendung.) words :: String -> [String] und Worte Pflege wird nicht für Whitespaces ..

words "Hello World" 
= words "Hello  World" 
= ["Hello", "World"]