Sıkı bir dilde MonadFix

Question

Ocaml'deki haskell-like do notasyonu için camlp4 uzantısında çalışıyorum ve GHC'nin yinelemeli do-bindings'i (-XDoRec ile etkinleştirilmiş) nasıl derlediğini anlamaya çalışıyorum.
Monadic fixpoint birleştiricisinin sıkı bir dilde (Ocaml/F #/SML/... gibi) bulunması mümkün mü acaba?
Evet ise nasıl görünebilir? Çok faydalı olur muydu? hesaplama oluşturucu diğer monadik (veya MonadPlus) işlemleri ek olarak Delay çalışmasını desteklemeye çünkü

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

Bu desteklenir:

Answer 1

(Haskell'e do ile ilgili) F # hesaplama ekspresyon dizimi yineleme destekler. Kod gibi bir şey için çevrilmiştir:

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

Delay tipi genel olarak (unit -> M<'T>) -> M<'T> ve hile onu değerlendirilir gecikmiş bir hesaplama içine etkiler (ya da acil özyinelemeli referans) ile bir hesaplama sarar yani, olduğu talep ediyoruz. Eğer mekanizma F # nasıl çalıştığı hakkında daha fazla bilgi edinmek istiyorsanız

, ardından aşağıdaki iki kağıtları ilgilidir:

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

birincisi nasıl F # açıklar hesaplama ifadesi sözdizimi desugared (ve nasıl Delay eklenir - ve genel olarak, F # nasıl gecikmeli ve istekli hesaplamaları etkilerle birleştirir) ve ikincisi, F # nasıl davranırDeğerlerlebeyanları - yukarıdaki ones değeri gibi.