Inferência de tipos

  • Artigo

Este tópico descreve como o compilador do F# infere os tipos de valores, variáveis, parâmetros e valores de retorno.

Inferência de tipos em geral

A ideia da inferência de tipo é que você não precisa especificar os tipos de construções do F#, exceto quando o compilador não puder deduzir o tipo de forma conclusiva. Omitir informações de tipo explícito não significa que F# é uma linguagem tipada dinamicamente ou que os valores em F# são fracamente tipados. F# é uma linguagem tipada estaticamente, o que significa que o compilador deduz um tipo exato para cada construção durante a compilação. Se não houver informações suficientes para o compilador deduzir os tipos de cada construção, você deverá fornecer informações de tipo adicionais, geralmente adicionando anotações de tipo explícitas em algum lugar no código.

Inferência de Tipos de Parâmetro e Retorno

Em uma lista de parâmetros, você não precisa especificar o tipo de cada parâmetro. E, no entanto, F# é uma linguagem de tipagem estática e, portanto, cada valor e expressão tem um tipo definido em tempo de compilação. Para os tipos que você não especifica explicitamente, o compilador infere o tipo com base no contexto. Se o tipo não for especificado de outra forma, é inferido como genérico. Se o código usar um valor de forma inconsistente, de forma que não haja um único tipo inferido que satisfaça todos os usos de um valor, o compilador relatará um erro.

O tipo de retorno de uma função é determinado pelo tipo da última expressão na função.

Por exemplo, no código a seguir, os tipos de parâmetro a e b o tipo de retorno são todos inferidosint porque o literal 100 é do tipo int.

let f a b = a + b + 100

Você pode influenciar a inferência de tipo alterando os literais. Se você fizer o 100 a uint32 anexando o sufixo u, os tipos de a, b e o valor de retorno serão inferidos como uint32.

Você também pode influenciar a inferência de tipo usando outras construções que implicam restrições no tipo, como funções e métodos que funcionam apenas com um tipo específico.

Além disso, você pode aplicar anotações de tipo explícitas a parâmetros de função ou método ou a variáveis em expressões, conforme mostrado nos exemplos a seguir. Ocorrem erros se ocorrerem conflitos entre diferentes restrições.

// Type annotations on a parameter.
let addu1 (x : uint32) y =
    x + y

// Type annotations on an expression.
let addu2 x y =
    (x : uint32) + y

Você também pode especificar explicitamente o valor de retorno de uma função fornecendo uma anotação de tipo após todos os parâmetros.

let addu1 x y : uint32 =
   x + y

Um caso comum em que uma anotação de tipo é útil em um parâmetro é quando o parâmetro é um tipo de objeto e você deseja usar um membro.

let replace(str: string) =
    str.Replace("A", "a")

Generalização automática

Se o código da função não depende do tipo de um parâmetro, o compilador considera o parâmetro genérico. Isso é chamado de generalização automática e pode ser uma ajuda poderosa para escrever código genérico sem aumentar a complexidade.

Por exemplo, a função a seguir combina dois parâmetros de qualquer tipo em uma tupla.

let makeTuple a b = (a, b)

O tipo é inferido para ser

'a -> 'b -> 'a * 'b

Informações adicionais

A inferência de tipo é descrita com mais detalhes na Especificação de linguagem do F#.

Confira também