Verificador de senha

O tipo Result permite que uma função retorne um único valor que indica todas as coisas a seguir:

• Se a operação teve sucesso ou falhou
• Em caso de sucesso, o valor resultante da operação
• Em caso de falha, o motivo da falha

Uso

O tipo Result é um tipo genérico que contém dois tipos subjacentes:

• O tipo do valor resultante em uma operação bem-sucedida
• O tipo de erro em uma falha

O tipo Result também é uma [união discriminada][discriminated-union] com os seguintes casos possíveis:

• Ok <value> representando um resultado bem-sucedido
• Error <reason> representando uma falha

A função a seguir demonstra como criar um valor Result:

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

Neste exemplo, o valor Ok é uma string (o nome fornecido), e o valor Error também é uma string (a causa do erro, em formato legível por humanos).

Lendo o conteúdo de um valor Result

Considere a seguinte definição de tipo e assinatura de função:

type FileOpenError = 
| NotFound
| AccessDenied
| FileLocked

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

O código que chama a função openFile pode usar a correspondência de padrões para tratar os casos de sucesso e falha, como no exemplo a seguir:

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."