Ogony w Mono

Question

Mam trochę kodu w F #, który działa dobrze pod .net, ale przepełnia stos pod Mono. Powiązanym problemem jest to, że wydaje się, że robi tak długo, zanim przestrzeń stosu, podobno do niego dostępna, się skończy (zaczyna się od System.Threading.Thread (ts, 1000000000)). O ile mogę powiedzieć, fałd, w którym umiera, jest rekursywny, a ślad stosu wygląda tak, jakby optymalizacja ogona nie była wykonywana. Używam wersji 3.2.1 z opcją --optimize = tailc.

Czy ktoś wie dokładnie, jakie rodzaje połączeń ogonowych usuwają stos wywołujący, a które nie? Lub alternatywnie, jak przydzielić więcej żetonów? Wielkie dzięki.

Jestem świadomy Tailcall elimination in Mono

EDIT: tu jest zarys kodu na żądanie w komentarzach. Jest to część fałdu na dużej strukturze danych, ale wadliwy stacktrace ma tylko mapk i myfold na nim.

let rec myfold f x k = 

    let rec mapk xs k = 
    match xs with 
    [] -> k [] 
    | x::xs -> mapk xs (fun xs' -> myfold f x (fun x' -> (x' :: xs') |> k)) 

... 

mapk (...) (... >> k) 

Answer 1

O ile mi wiadomo, --optimize=tailc nie jest obsługiwaną flagą kompilatora F #.

Nie sądzę, że istnieje sposób, aby włączyć/wyłączyć wsparcie optymalizacji tailcall w Mono (z linii poleceń, tak); flaga kompilatora F # umożliwiająca optymalizacje ogόlnych wywołań to --tailcalls+, ale zgodnie z Compiler Options (F#), która jest domyślnie włączona.

Myślę, że najlepszym wyborem, aby to rozwiązać to:

• File a bug report with Xamarin
• Go na kanale IRC#monodev (na irc.gnome.org) i sprawdzić, czy jeden z twórców/autorów tam może ci pomóc.