Generalização automática (F#)

F# usa a inferência de tipos para avaliar os tipos de funções e expressões. Este tópico descreve como F# automaticamente generaliza os argumentos e os tipos de funções para que funcionem com vários tipos de quando isso for possível.

Generalização automática

O compilador de F#, quando ele executa a inferência de tipo em uma função, determina se um determinado parâmetro pode ser genérico. O compilador examina cada parâmetro e determina se a função tem uma dependência no tipo específico de parâmetro. Se não tiver, o tipo é inferido para ser genérico.

O exemplo de código a seguir ilustra uma função que o compilador infere ser genérico.

let max a b = if a > b then a else b

O tipo é inferido para ser 'a -> 'a -> 'a.

O tipo indica que se trata de uma função que leva dois argumentos do mesmo tipo desconhecido e retorna um valor do mesmo tipo. Um dos motivos que a função anterior pode ser genérico é que o maior-que o operador (>) é genérico. Maior-que o operador tem a assinatura 'a -> 'a -> bool. Nem todos os operadores são genéricos e se o código em uma função usa um tipo de parâmetro junto com uma função de não-genéricas ou um operador, o tipo de parâmetro não pode ser generalizado.

Porque max é genérica, ele pode ser usado com tipos como int, floate assim por diante, conforme mostrado nos exemplos a seguir.

let biggestFloat = max 2.0 3.0
let biggestInt = max 2 3

No entanto, os dois argumentos devem ser do mesmo tipo. A assinatura é 'a -> 'a -> 'a, e não 'a -> 'b -> 'a. Portanto, o código a seguir produz um erro, porque os tipos de não coincidem.

// Error: type mismatch.
let biggestIntFloat = max 2.0 3

O max função também funciona com qualquer tipo que ofereça suporte a maior-de operador. Portanto, você poderia também usá-lo em uma seqüência de caracteres, conforme mostrado no código a seguir.

let testString = max "cab" "cat"

Restrição de valor

O compilador executa generalização automática somente as definições de função completa tem argumentos explícitos e valores imutáveis simples.

Isso significa que o compilador emitirá um erro se você tentar compilar o código que não está suficientemente restrito para ser um tipo específico, mas também não generalizável. A mensagem de erro para esse problema se refere a essa restrição de generalização automática para valores como o a restrição de valor.

Normalmente, o erro de restrição de valor ocorre quando você deseja que uma construção ser genérico, mas o compilador não tem informações suficientes para generalizar a ele, ou omitir involuntariamente suficientes informações de tipo em uma construção não genérico. A solução para o erro de restrição de valor é fornecer informações mais explícitas mais totalmente restringir o problema de inferência de tipo, em uma das seguintes maneiras:

• Restringir um tipo de ser não genérico, adicionando uma anotação de tipo explícito para um valor ou parâmetro.

• Se o problema estiver usando uma construção de nongeneralizable para definir uma função genérica, como, por exemplo, uma composição de função ou incompletos aplicado argumentos da função curried, tente reescrever a função como uma definição de função comum.

• Se o problema é uma expressão que é muito complexa para ser generalizada, torne-o em uma função, adicionando um parâmetro extra, não utilizado.

• Adicione parâmetros de tipo genérico explícito. Esta opção é usada raramente.

• Os exemplos de código a seguir ilustram a cada um desses cenários.

Caso 1: Uma expressão muito complexa. Neste exemplo, a lista counter se destina a ser int option ref, mas não está definido como um valor simples imutáveis.

let counter = ref None
// Adding a type annotation fixes the problem:
let counter : int option ref = ref None

Caso 2: Usando uma construção de nongeneralizable para definir uma função genérica. Neste exemplo, a construção é nongeneralizable, porque envolve a aplicação parcial da argumentos da função.

let maxhash = max hash
// The following is acceptable because the argument for maxhash is explicit:
let maxhash obj = max (hash obj)

Caso 3: Adicionando um parâmetro extra, não utilizado. Como esta expressão não é simple o suficiente para generalização, o compilador emitirá o erro de restrição de valor.

let emptyList10 = Array.create 10 []
// Adding an extra (unused) parameter makes it a function, which is generalizable.
let emptyList10 () = Array.create 10 []

Caso 4: Adicionando parâmetros de tipo.

let emptyset = Set.empty
// Adding a type parameter and type annotation lets you write a generic value.
let emptyset<'a> : Set<'a> = Set.empty

Consulte também

Referência

Inferência de tipo (F#)

Genéricos (F#)

Resolvido estaticamente os parâmetros de tipo (F#)

Restrições (F#)

Histórico de alterações