ToString lance NullReferenceException pour valeur unitaire()

Question

dire que nous avons une fonction très simple

let fn a = a.ToString() 

Il est le type se déduit que a -> string Cependant, le passage d'une valeur unitaire à la fonction des résultats dans un NullReferenceException.

En cas de fonctions simples comme ci-dessus, cela pourrait être contourné facilement, mais je suis en fait dans un scénario plus complexe:

let eitherToHttp e = 
    match e with 
    | Either.Ok v ->  OK (v.ToString()) 
    | Either.Bad reason -> reasonToErrorCode reason 

Le type de c'est Either<'a, RejectReason> -> WebPart (ce WebPart et Either sont en réalité est non pertinent ici)

Dans un scénario où le type de e est Either<unit, RejectReason> la fonction jette exactement comme dans le scénario simple.

Comment puis-je surmonter cela d'une manière agréable? Faut-il en déduire que les types sont génériques si, en fait, cela ne fonctionne pas pour TOUS les types?

Answer 1

Vous pouvez faire quelque chose comme ceci:

let fn a = match box a with 
      | null -> "" 
      | _ -> a.ToString() 

Cette compile jusqu'à un chèque nul sur a avant d'essayer d'appeler ToString.

Answer 2

Utilisez le haut-string fonction au lieu d'appeler ToString sur l'objet:

> string 42;; 
val it : string = "42" 
> string();; 
val it : string = ""