MonadFix in linguaggio stretto

Question

Sto lavorando sull'estensione camlp4 per la notazione haskell-like in Ocaml, e sto cercando di capire come GHC compila ricorsive do-bindings (abilitato con -XDoRec).
Mi chiedo se è possibile che il combinatore di fixpoint monadico esista in un linguaggio stretto (come Ocaml/F #/SML/...)?
Se sì, come può essere? Sarebbe molto utile?

Answer 1

La sintassi espressione # computazione F (correlate a Haskell do) supporta ricorsione:

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

Ciò è supportato poiché il costruttore calcolo deve sostenere Delay operazione oltre ad altre monadic (o MonadPlus) operazioni. Il codice è tradotto in modo seguente:

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

il tipo di Delay è, in generale, (unit -> M<'T>) -> M<'T> e il trucco è che avvolge un calcolo con effetti (o immediato riferimento ricorsivo) in un calcolo ritardato che viene valutata sulla richiesta.

Se volete saperne di più su come il meccanismo funziona in F #, allora le seguenti due carte sono rilevanti:

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

Il primo descrive come la F # la sintassi delle espressioni di calcolo è desugared (e come è inserito Delay - e in generale, come F # combina i calcoli ritardati e desiderosi con gli effetti) e il secondo descrive come F # gestisce let rec dichiarazioni con valori - come il valore ones sopra.