بررسی‌کننده‌ی رمز عبور

نوع Result این امکان را برای یک تابع فراهم می‌کند که یک مقدار واحد برگرداند که همه‌ی موارد زیر را نشان می‌دهد:

• این که عملیات موفق شده است یا شکست خورده است
• در صورت موفقیت، مقدار حاصل از عملیات
• در صورت شکست، دلیل شکست

نحوه‌ی استفاده

نوع Result یک نوع داده‌ی جنریک است که دو نوع داده‌ی زیرین را در خود دارد:

• نوع مقدار حاصل در یک عملیات موفق
• نوع خطا در صورت شکست

نوع Result همچنین یک [«اتحاد تفکیک‌شده»][discriminated-union] است که حالت‌های ممکن زیر را دارد:

• Ok <value> که نشان‌دهنده‌ی نتیجه‌ی موفق است
• Error <reason> که نشان‌دهنده‌ی شکست است

تابع زیر نشان می‌دهد که چطور می‌توان یک مقدار Result ساخت:

let validateName (name: string) : Result<string, string> = 
    match name with
    | null -> Error "Name not found."
    | "" -> Error "Name is empty."
    | _ -> Ok name

در این مثال، مقدار Ok یک رشته است (اسم داده‌شده) و مقدار Error هم یک رشته است (علت خطا، به شکلی که برای انسان خوانا باشد).

خواندن محتوای یک مقدار Result

تعریف نوع و امضای تابع زیر را در نظر بگیرید:

type FileOpenError = 
| NotFound
| AccessDenied
| FileLocked

let openFile (filename: string) : Result<int, FileOpenError> =

کدی که تابع openFile را فراخوانی می‌کند می‌تواند با استفاده از «تطبیق الگو»، حالت‌های موفقیت و شکست را مدیریت کند، همان‌طور که در مثال زیر آمده است:

match openFile(filename) with
| Ok handle -> doSomethingWithFile(handle)
| Error NotFound -> printfn $"Error: file {filename} was not found."
| Error AccessDenied -> printfn $"Error: you do not have permission to open the file {filename}."
| Error FileLocked -> printfn $"Error: file {filename} is already in use."