Valore o costruttore non definito

Question

Sto imparando f # e ho un problema piuttosto banale che non sembra avere senso. Sto lavorando su Project Euler problema 2 e ho ottenuto questo:

let fib (x : BigInteger) (y : BigInteger) (max : BigInteger) = 
    let added = x + y 
    if added > max then y 
    else fib y (x + y) max 

ho ottenuto l'errore alla chiamata fib ricorsiva:

valore o il costruttore 'fib' non è definito

E non sono sicuro del perché. Qualsiasi aiuto?

Answer 1

Perché fib è la funzione ricorsiva, deve iniziare con let rec.

Answer 2

in F #, se si vuole scrivere una funzione ricorsiva, è necessario utilizzare the rec keyword:

let rec fib (x : BigInteger) (y : BigInteger) (max : BigInteger) = 
    let added = x + y 
    if added > max then y 
    else fib y (x + y) max 

Questo perché in F # in circostanze normali, è possibile utilizzare solo identificatori dichiarati prima il codice corrente, a differenza di C#.

Answer 3

Parlando di Project Euler Problem 2, si può considerare, invece di ricorsione andare con Seq.unfold, che è molto idiomatica e ti dà tutti i numeri di Fibonacci in una volta:

let fibs = Seq.unfold (fun (current, next) -> 
    Some(current, (next, current + next))) (1,2) 

Ora fibs rappresenta sequenza pigro di numeri di Fibonacci:

>fibs;; 
val it : seq<int> = seq[1; 2; 3; 5; ...] 

E per renderlo di BigInteger basta sostituire (1,2) per (1I,2I), anche se la soluzione consente di rimanere all'interno di ordinario interi.