Komponiert die Funktion `Printf.sprintf` mit einem anderen

Question

Ich habe viele Vorkommen des Einstecken des Ergebnisses Printf.sprintf in eine andere Funktion (sagen wir) f. Ich habe versucht, die Zusammensetzung printf dieser beiden zu definieren, wie folgt aus:

let printf : 'a 'b. ('a,unit,string) format -> 'b = 
    (fun fmt -> Printf.sprintf fmt) |> f 

Doch diese typecheck nicht, und auch nicht die Version davon mit mehreren Anwendungen von Obj.magic. Was ist der richtige Weg, um einen solchen "Custom Printf" zu bekommen?

Answer 1

Verwenden Sie nicht Obj.magic.

Aufgrund der spezielle Typisierung von Formatstrings variadische printf zu erreichen, kann man nicht solche Dinge schreibt Zusammensetzung mit einfacher Funktion:

let sprintf_then_f fmt args ... = f (Printf.sprintf fmt args ...) 

diese Schwierigkeit zu überwinden, bietet Printf Fortsetzung Stil Funktionen mit k (kontinuation) in die Namen wie Printf.ksprintf. Bitte verwenden Sie sie:

val ksprintf : (string -> 'd) -> ('a, unit, string, 'd) format4 -> 'a 
(** Same as [sprintf] above, but instead of returning the string, 
    passes it to the first argument. 
    @since 3.09.0 
*)