Vlákno názorů k článku Rekurze a pattern matching v programovacím jazyku F# od radekm - Malé doplnění k tail rekurzi. V F# záleží...

Malé doplnění k tail rekurzi. V F# záleží na IL instrukcích. Například následujícímu programu dojde zásobník, i když z pohledu programátora to vypadá, že f i bar jsou volány v tail pozici:

let bar (f : int -> unit) (i : int) : unit =
    if i >= 0
    then f (i - 1)
    else printfn "Stop"

let rec foo (i : int) : unit =
    bar foo i

[<EntryPoint>]
let main args =
    foo 1000_000
    0

U bar to je i pravda, u f nikoliv, protože po volání f musí kompilátor ještě převést unit na void. Řešením je nepoužívat unit, ale udělat si vlastní type MyUnit = MyUnit

A to je takový problém (nebo by to bylo až tak moc otravné), aby se ty tail cally dělaly přes nějaký operátor, třeba tail foo(1000)?

Bylo by jasné, že to má být tail call, a kompilátor by ho mohl zkontrolovat a garantovat, že proběhne správně (nebo ohlásit chybu, že tady tail call být nemůže).

to ma Clojure s `(recur)` ale u vzajemne rekurze uz to chce trampoliny a tak (a imho se to v praxi moc neresi)

.NET má instrukci tail. na rozdíl od JVM, takže v F# jde použít continuation passing style, ale člověk musí být opatrný právě při použití unit.

Ano, to by šlo, ale nikdo to zatím do jazyka nepřidal. Viz https://github.com/fsharp/fslang-suggestions/issues/721