MonadFix in strenger Sprache

Question

Ich arbeite an Camlp4-Erweiterung für Haskell-Do-Notation in Ocaml, und versuchen herauszufinden, wie GHC rekursive Do-Bindungen (aktiviert mit -XDoRec) kompiliert.
Ich frage mich, ob es für monadischen Fixpoint-Kombinator möglich ist, in strenger Sprache zu existieren (wie Ocaml/F #/SML/...)?
Wenn ja, wie kann es aussehen? Wäre es sehr nützlich?

Answer 1

Die # Berechnung F Ausdruckssyntax (bezogen auf Haskell do) unterstützt Rekursion:

let rec ones = seq { 
    yield 1 
    yield! ones } 

Dies wird unterstützt, da die Berechnung Builder hat Delay Betrieb zusätzlich zu anderen monadischen (oder MonadPlus) Operationen zu unterstützen.

let rec ones = 
    seq.Combine 
    (seq.Yield(1), 
     seq.Delay(fun() -> seq.YieldFrom(ones))) 

Die Art der Delay ist in der Regel (unit -> M<'T>) -> M<'T> und der Trick ist, dass es eine Berechnung mit Effekten Wraps (oder unmittelbarem Rekursivbezug) in eine verzögerte Berechnung, die auf ausgewertet wird: Der Code wird wie etwas übersetzt Nachfrage.

Wenn Sie mehr darüber erfahren wollen, wie der Mechanismus funktioniert in F #, dann die beiden folgenden Papiere sind relevant:

• Syntax Matters: Writing abstract computations in F#
• Initializing Mutually Referential Abstract Objects: The Value Recursion Challenge

Die erste beschreibt, wie die F # Berechnungsausdrucksyntax wird entzuckt (und wie Delay eingefügt wird - und allgemein, wie F # verzögerte und eifrige Berechnungen mit Effekten kombiniert) und der zweite beschreibt, wie F #behandeltDeklarationen mit Werten - wie der Wert ones oben.