MonadFix w ścisłym języku

Question

Pracuję nad rozszerzeniem camlp4 dla podobnej do notkacji do notacji w Ocaml i próbuję dowiedzieć się, w jaki sposób GHC kompiluje rekurencyjne powiązania do-zrobić (włączone z -XDoRec).
Zastanawiam się, czy możliwe jest istnienie monistycznego kombinatora punktów stałych w ścisłym języku (np. Ocaml/F #/SML/...)?
Jeśli tak, jak może wyglądać? Czy byłoby to bardzo przydatne?

Answer 1

F składni wyrażenie # obliczeń (związane z Haskell do) obsługuje rekursji:

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

ta jest obsługiwana, ponieważ budowniczy obliczenia musi obsługiwać Delay operację oprócz innych monadycznej (lub MonadPlus) operacji. Kod jest tłumaczona na coś takiego:

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

Rodzaj Delay jest na ogół (unit -> M<'T>) -> M<'T> i Sztuką jest to, że owija obliczeń z efektami (lub bezpośrednim rekurencyjnego odniesienia) do opóźnionego obliczeń, które wyceniane są żądanie.

Jeśli chcesz dowiedzieć się więcej o tym, jak mechanizm działa w F #, a następnie dwa następujące dokumenty są istotne:

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

Pierwszy z nich opisuje jak F # obliczeniowa składnia wyrażeń została zniekształcona (i jak wstawiono Delay - i ogólnie, jak F # łączy opóźnione i chętne obliczenia z efektami), a druga opisuje, w jaki sposób F # obsługuje let rec deklaracje z wartościami - np. Wartość ones powyżej.