Konvertieren Sie eine Liste von Zeichen (oder Array) in eine Zeichenfolge

Question

Wie konvertiert man aus einer Liste von Zeichen in eine Zeichenfolge?

Um es anders auszudrücken, wie kann ich List.ofSeq "abcd" umkehren?

UPDATE: new System.String (List.ofSeq "abcd" |> List.toArray) |> printfn "%A" scheint gut zu funktionieren, mit oder ohne new, aber List.ofSeq "abcd" |> List.toArray) |> new System.String |> printfn "%A" schlägt fehl. Warum?

Answer 1

Ich fragte einmal eine similar question vorher. Es scheint, dass Objektkonstruktoren nicht zusammensetzbar sind, so dass Sie sie nicht als Funktion übergeben können.

List.ofSeq "abcd" |> List.toArray |> (fun s -> System.String s) |> printfn "%A" 
List.ofSeq "abcd" |> List.toArray |> (fun s -> new System.String(s)) |> printfn "%A" 

aktualisieren Konstrukteurs sind erstklassige Funktionen wie von F # 4,0

List.ofSeq "abcd" |> List.toArray |> System.String |> printfn "%A" 

Answer 2

Ihr Ansatz:

new System.String (listOfChars |> List.toArray) 

ist die Lösung, die ich in der Regel mit enden.

F # 's Grammatik/Typ-Inferenz-System scheint einfach nicht in der Lage, einen .NET-Konstruktor wie new String als Curry-Funktion zu erkennen (was verhindert, dass Sie Pipelining verwenden).

Answer 3

Arbeiten mit Zeichenketten in F # ist manchmal ein bisschen unangenehm. Ich würde wahrscheinlich den gleichen Code wie Dario verwenden. Die F # -Grammatik erlaubt es nicht, Konstruktoren als First-Class-Funktionen zu verwenden, so dass Sie leider nicht die gesamte Verarbeitung in einer einzigen Pipeline durchführen können. Im Allgemeinen können Sie statische Member und Instanzmethoden als First-Class-Funktionen verwenden, nicht jedoch Instanzeigenschaften oder Konstruktoren.

Wie auch immer, es gibt einen wirklich fiesen Trick, den Sie verwenden können, um einen Konstruktor in einen Funktionswert zu verwandeln. Ich würde nicht wirklich empfehlen es, aber ich war ziemlich überrascht zu sehen, dass es tatsächlich funktioniert, so dass ich dachte, es kann sich lohnen, sie teilen

let inline ctor< ^R, ^T 
    when ^R : (static member ``.ctor`` : ^T -> ^R)> (arg:^T) = 
    (^R : (static member ``.ctor`` : ^T -> ^R) arg) 

Dies definiert eine Funktion, die bei der Kompilierung inlined werden, die erfordert, dass der erste Typparameter einen Konstruktor hat, der einen Wert des zweiten Typparameters annimmt. Dies wird als Kompilierzeit-Einschränkung angegeben (weil .NET-Generics dies nicht ausdrücken können). Außerdem können Sie in F # nicht die übliche Syntax zum Angeben von Konstruktoreinschränkungen angeben (die unit als Argument annehmen muss), aber Sie können den kompilierten Namen der Konstruktoren verwenden. Jetzt können Sie zum Beispiel schreiben:

// just like 'new System.Random(10)' 
let rnd = ctor<System.Random, _> 10 
rnd.Next(10) 

Und Sie können auch das Ergebnis der ctor als First-Class-Funktion:

let chars = [ 'a'; 'b'; 'c' ] 
let str = chars |> Array.ofSeq |> ctor<System.String, _> 

Wie gesagt, ich denke, das ist in erster Linie eine Kuriosität, sondern ein ziemlich interessant :-).

Answer 4

Gerade ähnliches Problem konfrontiert, und kam mit diesen Lösungen auf:

List.fold (fun str x -> str + x.ToString()) "" (List.ofSeq "abcd")