Come scrivere questo codice C# in F #

Question

io sono abituato a scrivere codice come questo in C#:

SomeObj obj; 
try{ 
    // this may throw SomeException 
    obj = GetSomeObj(); 
}catch(SomeException){ 
    // Log error... 
    obj = GetSomeDefaultValue(); 
} 

obj.DoSomething(); 

Questo è il modo in cui ho tradotto in F # (obj essendo una lista):

let mutable obj = [] 
try 
    obj <- getSomeObj 
with 
    | ex -> 
     // Log ex 
     obj <- getSomeDefaultValue 

doSomething obj 

C'è un modo per farlo in F # senza usare una variabile mutabile? C'è un modo più "elegante" per gestire questa situazione in F #?

Grazie!

Answer 1

Il modo -ish F # è quello di restituire lo stesso tipo di espressione in entrambi i rami:

let obj = 
    try 
     getSomeObj() 
    with 
    | ex -> 
     // Log ex 
     getSomeDefaultValue() 

doSomething obj 

in F #, è possibile gestire le eccezioni utilizzando option tipo. Questo è un vantaggio quando non c'è un valore predefinito ovvio e il compilatore ti obbliga a gestire casi eccezionali.

let objOpt = 
    try 
     Some(getSomeObj()) 
    with 
    | ex -> 
     // Log ex 
     None 

match objOpt with 
| Some obj -> doSomething obj 
| None -> (* Do something else *) 

Answer 2

Wrapping questa logica nelle funzioni ...

let attempt f = try Some(f()) with _ -> None 
let orElse f = function None -> f() | Some x -> x 

... potrebbe essere:

attempt getSomeObj |> orElse getSomeDefaultValue