関数 `Printf.sprintf`を別のものと合成する

Question

私はPrintf.sprintfの結果を別の関数（例えば、f）に差し込んでいます。

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

しかし、これはです。TypeCheck、ともObj.magicのいくつかのアプリケーションとそのバージョンを実行していない：私はこのように、これら二つの成分printfを定義しようとしています。そのような「カスタムプリント」を得る正しい方法は何ですか？

Answer 1

Obj.magicを使用しないでください。フォーマット文字列の特殊なタイピングが可変引数printfを達成するために、あなたは簡単な関数合成使用してこのようなものを書くことができない原因

：この困難を克服するために

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

を、Printfはk（kontinuation）中で継続スタイルの機能を提供しますPrintf.ksprintfのような名前。それらを使用してください：

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 
*)