F #: Nullable <T> Soporte

Question

¿Cuál es la forma correcta de utilizar Nullable en F #?

Actualmente estoy usando esto, pero parece terriblemente desordenado.

let test (left : Nullable<int>) = if left.HasValue then left.Value else 0 

Console.WriteLine(test (new System.Nullable<int>())) 
Console.WriteLine(test (new Nullable<int>(100))) 

let x = 100 
Console.WriteLine(test (new Nullable<int>(x))) 

Answer 1

me temo que no hay azúcar sintáctica para los tipos anulables en F # (a diferencia de C# en el que simplemente añadir una ? con el tipo). Así que sí, el código que muestra parece terriblemente detallado, pero es la única forma de usar el tipo System.Nullable<T> en F #.

Sin embargo, sospecho que lo que realmente quiere utilizar es option types. Hay algunos ejemplos decentes en la página de MSDN:

let keepIfPositive (a : int) = if a > 0 then Some(a) else None 

y

open System.IO 
let openFile filename = 
    try 
     let file = File.Open (filename, FileMode.Create) 
     Some(file) 
    with 
     | exc -> eprintf "An exception occurred with message %s" exc.Message; None 

Claramente mucho más agradable de usar!

Las opciones cumplen esencialmente el rol de los tipos que aceptan nulos en F #, y creo que realmente quieres usarlos en lugar de los tipos que aceptan nulos (a menos que estés haciendo interoperabilidad con C#). La diferencia en la implementación es que los tipos de opciones están formados por una unión discriminada de Some(x) y None, mientras que Nullable<T> es una clase normal en el BCL, con un poco de azúcar sintáctica en C#.

Answer 2

Puede dejar que F # inferir la mayor parte de los tipos ahí:

let test (left : _ Nullable) = if left.HasValue then left.Value else 0 

Console.WriteLine(test (Nullable())) 
Console.WriteLine(test (Nullable(100))) 

let x = 100 
Console.WriteLine(test (Nullable(x))) 

También se puede utilizar un active pattern aplicar patrones sobre tipos anulables:

let (|Null|Value|) (x: _ Nullable) = 
    if x.HasValue then Value x.Value else Null 

let test = // this does exactly the same as the 'test' function above 
    function 
    | Value v -> v 
    | _ -> 0 

blogged hace algún tiempo acerca de nullable types in F# [/ shameless_plug]