Ocaml-Schlüsselwort "in" - und Gebrauchsspuren

Bin ich beim Lesen ein paar Notizen und kam in diesem code sieht Recht sauber für mich:

# let sigma f m =
  let rec sum (i, z) =
  if i = m then z else sum(i+1, z+.f i)
  in sum(0, 0.0);;
val sigma : (int -> float) -> int -> float = <fun>
# sigma (function k -> float (k*k)) 10;;
- : float = 285.

Verstehe ich jedes bit außer dem Teil, wo es in sum(0, 0.0). Naja das problem ist eigentlich nicht über die in Schlüsselwort, aber dieses: sum(0, 0.0). Was soll das bedeuten und warum ist es sinnvoll, für diese Funktion zu arbeiten? Ich habe einige googeln und habe etwas auf der in Schlüsselwort aus der Ocaml-Website, aber das macht für mich keinen Sinn. Dies ist, was ich gefunden habe: 

class-expr  ::= class-path  
    ∣     [ typexpr  {, typexpr} ]  class-path  
    ∣     ( class-expr )  
    ∣     ( class-expr :  class-type )  
    ∣     class-expr  {argument}+  
    ∣     fun {parameter}+ ->  class-expr  
    ∣     let [rec] let-binding  {and let-binding} in  class-expr  
    ∣     object class-body end

Brauche ich nicht, eine Erklärung der tatsächlichen Funktion. Was ich brauche helfen mit, dass kleine in sum(0, 0.0).

  • Ich downvoted die Frage aber beantwortet, weil ich das Gefühl, dass es sehr verwirrend ist gefragt, und weil jede tutorial auf Ocaml, erklärt das viel besser als wir können in ein paar Minuten.
InformationsquelleAutor Emmanuel | 2013-10-27
  1. 8

    Ist es let Bindungen in Körper ; Ihre inist in Bezug auf let rec sum

    also die interne 

    let rec sum (i, z) =
if i = m then z else sum(i+1, z+.f i)
in sum(0, 0.0);;

    ist eine interne tail-rekursive Funktion eine Schleife zu erstellen, das Ergebnis sum(0,0.0) (mit internen sumdefinition) ist das Ergebnis der sigma Funktion.

    Den sum(0,0.0) ist der Ausgangspunkt der tail-Rekursion.

    Ich schlage vor, Sie verwenden Ocaml-debugger, oder zumindest hinzufügen 

     Printf.printf "sum i=%d z=%f\n";

    Zeile direkt nach der let rec sum(i,z) = Linie.

    BTW, man sollte den code, anstatt eine Summe mit zwei Argumenten, nicht mit einem einzigen argument-geschehen werden ein paar:

    let rec sum i  z =
if i = m then z else sum(i+1) (z+.f i)
in sum 0 0.0;;

    BTW, ich würde die Schleife mit Abnehmender i und code statt

    let sigma f m = 
  let rec sumloop i s = 
     (* Printf.printf "sumloop i=%d s=%f\n" i s ; *)
     if (i <= 0) then s
     else sumloop (i-1) (s+.f i)
  in sumloop m 0.0 ;;

    Ich bin damit einverstanden, dass meine sigma Funktion ist etwas anders (insbesondere, wenn das argument f ist eine unreine Funktion mit Nebenwirkungen). Ich nannte den internen tail-rekursive Funktion sumloop (nicht nur sum) zu betonen, dass es eine Schleife.

    Ihre z formellen sum und meine s formellen sumloop ist eine Anhäufung teilweise Summe.

    • erm...du hast meine Frage nicht beantwortet. warum sum(0, 0.0) und nicht zum Beispiel sum(4, 5.5)?
    • Es ist eine ziemlich schlechte form, um nach unten zu Stimmen jemand beantworten, wenn Sie versuchen, Ihnen zu helfen. Sie werden bemerken, dass Basile hat nun beantwortet deine Frage sehr gut.
    • Ich habe nicht nach unten Abstimmung seine Antwort. Ich weiß nicht, wer es Tat. Ich Schätze wirklich seine Hilfe. 🙂
    • Danke Kumpel. Ich bekomme es. Antwort akzeptiert.
    • Mein Fehler, Entschuldigung.
    InformationsquelleAutor Basile Starynkevitch
Schreibe einen Kommentar