Warum funktioniert dieses kurze OCaml-Snippet mit Printf.printf nicht?

Question

Ich bin ein OCaml-Neuling. Ich spiele mit Schnipsel "Hallo Welt" herum und stieß auf diese Situation. Hier ist eine Sitzung mit dem Dolmetscher mit einigen zusätzlichen Bemerkungen:

# let average a b = 
    (a +. b) /. 2.;; 
val average : float -> float -> float = <fun> 
# average 1. 4.;; 
- : float = 2.5 
# string_of_float (average 1. 4.);; 
- : string = "2.5" 

(* this fails...*) 
# let _ = Printf.printf (string_of_float (average 1. 4.));; 
Error: This expression has type string but an expression was expected of type 
     ('a, out_channel, unit) format = 
      ('a, out_channel, unit, unit, unit, unit) format6 

(* yet this works *) 
# "hello!";; 
- : string = "hello!" 
# let _ = Printf.printf "hello!";; 
hello!- : unit =() 

(* another failed attempt *) 
# let s = string_of_float (average 1. 4.);; 
val s : string = "2.5" 
# s;; 
- : string = "2.5" 
# let _ = Printf.printf s;; 
Error: This expression has type string but an expression was expected of type 
     ('a, out_channel, unit) format = 
      ('a, out_channel, unit, unit, unit, unit) format6 

(* and this also works?? *) 
# let _ = Printf.printf "2.5";; 
2.5- : unit =() 

Also hier ist die Situation. string_of_float (average 1. 4.) gibt eine Zeichenkette zurück, wie "hello!". Wenn ich "hello!" in Printf.printf gebe, funktioniert es wie erwartet . Wenn ich string_of_float (average 1. 4.) zu Printf.printf gebe, schlägt es fehl und teilt mit, dass es erwartete keine Schnur aber diesen anderen sonderbaren Typ erwartete. Aber warum funktionieren "hello!" und "2.5" dann?

Was ist los?

Answer 1

Es gibt eine Art "Überladung" der Bedeutung von String-Literalen in OCaml. Zur Kompilierzeit können sie entweder als String oder als Format interpretiert werden (was im Typsystem völlig unterschiedliche Dinge sind), je nachdem, was der Typ-Prüfer denkt. Wenn es entscheidet, dass es ein Format sein soll, dann wird die Formatzeichenkette direkt zur Kompilierzeit geparst (deshalb ist es möglich, die Argumente zu printf zur Kompilierzeit zu prüfen). (Im Gegensatz zu C, das die Zeichenfolge zur Laufzeit analysiert.) Es gibt jedoch keine einfache Möglichkeit, zur Laufzeit von einer Zeichenfolge in ein Format zu konvertieren. Wenn Sie also Printf.printf "2.5" sehen, ist "2.5" eigentlich kein String, sondern ein spezieller Formattyp, der zur Kompilierzeit analysiert wurde. Deshalb können Sie keine Zeichenfolge dafür ersetzen. Wenn Sie nur eine Zeichenfolge drucken möchten, möchten Sie möglicherweise print_string (oder print_endline, wenn Sie eine neue Zeile möchten) verwenden.

Answer 2

Printf.printf "%s" anyStringExpr 

wird funktionieren. Das erste Argument für printf ist etwas magisch. (Andere füllen die Details aus.)