Jak mogę rzucić "ciąg" w "opcji <string>"

Question

Mam funkcji zadeklarowanej jako

let GetLength (value : option<string>) = 
    if value.IsSome then value.Value.Length else 0 

I mam zmienną

let a : string = "tom" 

Jak mogę przekazać do funkcji GetLength?

Answer 1

Nie rzuca się go. Musisz użyć konstruktora Some:

GetLength Some a 

Answer 2

Odpowiedź Zaakceptowany nie kompiluje i tworzy ...

GetLength Some a;; 

^^^^^^^^^^^^^^ błąd FS0003: ta wartość nie jest funkcją i nie można jej zastosować

F # myśli, że budujesz funkcję (GetLength Some), aby zastosować ją do wartości a. To dlatego, że jest to język funkcjonalny.

Poprawna forma jest

GetLength (Some a);; 

Answer 3

alternatywa do nawiasów:

GetLength <| Some a 

myślę, że ważne jest, aby zająć się tym pytanie:

Dlaczego ktoś miałby typu skłonny 18 tokeny ponad 3 linie, kiedy można uzyskać dokładnie to samo za pomocą 12 tokenów w jednym wierszu?

Pisanie kodu to nie tylko zwięzłość - dotyczy to również czytelności i łatwości konserwacji. Załóżmy, że musisz zająć się sprawą, w której a jest a. Z pasujące do wzorca, można przejść z tego:

let GetLength (value : string option) = 
    match value with 
    | Some s -> s.Length 
    | _ -> 0 

do tego:

let GetLength (value : string option) = 
    match value with 
    | Some s when s <> null -> s.Length 
    | _ -> 0 

Do F # programista, że ​​ich znaczenie jest jasne. Aby rozwiązać implementację wyglądałby mniej więcej tak:

let GetLength (value : option<string>) = 
    if value.IsSome && value.Value <> null then value.Value.Length else 0 

Rezultatem może być taka sama, ale nie jest szczególnie dobrze widoczne na pierwszy rzut oka, co się dzieje.

Jest to dobre, jeśli dopasowywanie wzorów nie współgra z tobą, ale dodatkowy "koszt" w prostym przypadku jest często uzupełniany wiele razy w miarę ewolucji logiki.

Answer 4

Aby odpowiedzieć na pytanie ogólne odlewania 'a do option<'a>, jeśli chcesz to zrobić bezpiecznie bez prostu zastosowanie obiektu do konstruktora Some, istnieje prosta funkcja, która będzie używać:

let to_option = function 
    | null -> None 
    | obj -> Some obj