F# Referência linguística

  • Artigo

Esta secção é uma referência para F#, uma linguagem de programação multi-paradigma dirigida a .NET. F# suporta modelos de programação funcionais, orientados para objetos e imperativos.

Organização do Código F#

A tabela que se segue mostra artigos de referência relacionados com a organização do seu código F.

Título Descrição
Espaços de nomes Saiba mais sobre o suporte ao espaço de nome em F#. Um espaço de nome permite-lhe organizar código em áreas de funcionalidade relacionada, permitindo-lhe anexar um nome a um agrupamento de elementos do programa.
Módulos Saiba mais sobre módulos. Um módulo F# é como um espaço de nome e também pode incluir valores e funções. O código de agrupamento em módulos ajuda a manter o código relacionado em conjunto e ajuda a evitar conflitos de nomes no seu programa.
open Declarações Saiba como open funciona. Uma open declaração especifica um módulo, espaço de nome ou tipo cujos elementos pode referenciar sem usar um nome totalmente qualificado.
Assinaturas Saiba mais sobre assinaturas e ficheiros de assinaturas. Um ficheiro de assinatura contém informações sobre as assinaturas públicas de um conjunto de elementos do programa F#, tais como tipos, espaços de nome e módulos. Pode ser usado para especificar a acessibilidade destes elementos do programa.
Controlo de Acesso Saiba mais sobre o controlo de acessos em F#. Controlo de acesso significa declarar o que os clientes são capazes de usar certos elementos do programa, tais como tipos, métodos, funções, e assim por diante.
Documentação XML Saiba mais sobre o suporte para gerar ficheiros de documentação a partir de comentários do XML doc, também conhecidos como comentários triplos. Pode produzir documentação a partir de comentários de código em F# como em outras línguas .NET.

Literalismos e Cordas

A tabela seguinte mostra artigos de referência que descrevem literais e cordas em F#.

Título Descrição
Literais Saiba mais sobre a sintaxe para valores literais em F# e como especificar a informação do tipo para F# literal.
Cadeias Saiba mais sobre cordas em F#. O string tipo representa texto imutável, como uma sequência de caracteres Unicode. string é um pseudónimo para System.String em .NET.
Cordas interpoladas Saiba mais sobre as cordas interpoladas, uma forma especial de corda que lhe permite incorporar expressões F# diretamente dentro delas.

Valores e Funções

A tabela a seguir mostra artigos de referência que descrevem conceitos linguísticos relacionados com valores, letencadernações e funções.

Título Descrição
Valores Conheça os valores, que são quantidades imutáveis que têm um tipo específico; os valores podem ser números de pontos integrais ou flutuantes, caracteres ou textos, listas, sequências, matrizes, tuples, sindicatos discriminados, registos, tipos de classe ou valores de função.
Funções As funções são a unidade fundamental de execução do programa em qualquer linguagem de programação. Uma função F# tem um nome, pode ter parâmetros e ter argumentos, e tem um corpo. F# também suporta construções de programação funcional, tais como tratar funções como valores, usar funções não nomeadas em expressões, composição de funções para formar novas funções, funções curadas e a definição implícita de funções através da aplicação parcial de argumentos de função.
Expressões de função Aprenda a usar a palavra-chave F# 'fun' para definir uma expressão lambda, que é uma função anónima.

Loops e Condicionals

A tabela que se segue lista artigos que descrevem loops e condicionals F#.

Título Descrição
Expressões condicionais: if...then...else Conheça a if...then...else expressão, que executa diferentes ramos de código e também avalia a um valor diferente dependendo da expressão booleana dada.
Loops: for...in Expressão Conheça a for...in expressão, uma construção em loop que é usada para iterar sobre os fósforos de um padrão em uma coleção enumerada, como uma expressão de alcance, sequência, lista, matriz ou outra construção que suporta a enumeração.
Loops: for...to Expressão Conheça a for...to expressão, que é usada para iterar em um loop sobre uma gama de valores de uma variável loop.
Loops: while...do Expressão Saiba mais sobre a while...do expressão, que é usada para executar a execução iterativa (looping) enquanto uma condição de teste especificada é verdadeira.

Correspondência de padrões

A tabela que se segue mostra artigos de referência que descrevem conceitos linguísticos.

Título Descrição
Correspondência de padrões Saiba mais sobre padrões, que são regras para transformar dados de entrada e são usados em todo o F#. Pode comparar dados com um padrão, decompor dados em partes constituintes ou extrair informação de dados de várias maneiras.
Expressões de correspondência Conheça a match expressão, que proporciona controlo de ramificação que se baseia na comparação de uma expressão com um conjunto de padrões.
Padrões ativos Saiba mais sobre padrões ativos. Os padrões ativos permitem-lhe definir divisórias nomeadas que subdividem dados de entrada. Você pode usar padrões ativos para decompor dados de forma personalizada para cada divisória.

Processamento de Exceções

A tabela a seguir mostra artigos de referência que descrevem conceitos linguísticos relacionados com o manuseamento de exceções.

Título Descrição
Processamento de Exceções Contém informações sobre o suporte de tratamento de exceções em F#.
A try...with Expressão Saiba como usar a expressão para o try...with tratamento de exceções.
A try...finally Expressão Saiba como a expressão F# try...finally lhe permite executar o código de limpeza mesmo que um bloco de código atire uma exceção.
A use palavra-chave Conheça as palavras-chave use e using, que podem controlar a inicialização e a libertação de recursos.
Afirmações Conheça a assert expressão, que é uma característica de depuragem que pode usar para testar uma expressão. Após falha no modo Debug, uma afirmação gera uma caixa de diálogo de erro do sistema.

Tipos e Inferência tipo

A tabela a seguir mostra artigos de referência que descrevem como os tipos e a inferência do tipo funcionam em F#.

Título Descrição
Tipos Saiba mais sobre os tipos que são utilizados em F# e como os tipos F# são nomeados e descritos.
Tipos Básicos Saiba mais sobre os tipos fundamentais que são usados em F#. Também fornece os seguintes tipos .NET e os valores mínimos e máximos para cada tipo.
Tipo de Unidade Saiba mais sobre o unit tipo, que é um tipo que indica a ausência de um valor específico; o unit tipo tem apenas um único valor, que funciona como um espaço reservado quando não existe outro valor ou é necessário.
Tipo abreviaturas Saiba mais sobre abreviaturas tipo, que são nomes alternativos para tipos.
Inferência tipo Saiba como o compilador F# infere os tipos de valores, variáveis, parâmetros e valores de retorno.
Fundição e Conversões Saiba mais sobre o suporte para conversões de tipo em F#.
Genéricos Saiba mais sobre construções genéricas em F#.
Generalização Automática Saiba como F# generaliza automaticamente os argumentos e tipos de funções para que funcionem com vários tipos quando possível.
Restrições Saiba mais sobre os constrangimentos que se aplicam aos parâmetros genéricos do tipo para especificar os requisitos para um argumento tipo num tipo ou função genérico.
Tipos Flexíveis Saiba mais sobre tipos flexíveis. Uma anotação de tipo flexível é uma indicação de que um parâmetro, variável ou valor tem um tipo compatível com o tipo especificado, quando a compatibilidade é determinada por posição numa hierarquia orientada para objetos de classes ou interfaces.
Unidades de Medida Saiba mais sobre unidades de medida. Os valores dos pontos flutuantes em F# podem ter unidades de medida associadas, que são normalmente usadas para indicar comprimento, volume, massa, e assim por diante.
Byrefs Saiba mais sobre os tipos byref e byref-like em F#, que são usados para programação de baixo nível.

Tuples, Listas, Coleções, Opções

A tabela a seguir mostra artigos de referência que descrevem tipos suportados por F#.

Título Descrição
Tuplas Saiba mais sobre tuples, que são agrupamentos de valores sem nome mas ordenados de possivelmente diferentes tipos.
Coleções Uma visão geral dos tipos de coleção funcional F#, incluindo tipos para matrizes, listas, sequências (seq), mapas e conjuntos.
Listas Saiba mais sobre listas. Uma lista em F# é uma série ordenada e imutável de elementos todos do mesmo tipo.
Opções Saiba mais sobre o tipo de opção. Uma opção em F# é utilizada quando um valor pode ou não existir. Uma opção tem um tipo subjacente e pode ter um valor desse tipo ou pode não ter um valor.
Matrizes Saiba mais sobre as matrizes. As matrizes são sequências de tamanho fixo, baseadas em zero, mutáveis de elementos de dados consecutivos, todos do mesmo tipo.
Sequências Aprenda sobre sequências. Uma sequência é uma série lógica de elementos de um tipo. Os elementos de sequência individual só são calculados se necessário, pelo que a representação pode ser menor do que uma contagem de elementos literais indica.
Expressões de sequência Saiba mais sobre as expressões de sequência, que permitem gerar sequências de dados a pedido.
Células de referência Saiba mais sobre as células de referência, que são locais de armazenamento que lhe permitem criar variáveis mutáveis com semântica de referência.

Registos e Sindicatos Discriminados

A tabela que se segue mostra artigos de referência que descrevem definições de tipo sindical registadas e discriminadas apoiadas por F#.

Título Descrição
Registos Saiba mais sobre discos. Os registos representam agregados simples de valores nomeados, opcionalmente com os membros.
Registos Anónimos Aprenda a construir e usar registos anónimos, uma funcionalidade linguística que ajuda na manipulação de dados.
Sindicatos Discriminados Conheça os sindicatos discriminados, que apoiam valores que podem ser um dos vários casos nomeados, cada um com valores e tipos possivelmente diferentes.
Estruturas Saiba mais sobre as structs, que são tipos de objetos compactos que podem ser mais eficientes do que uma classe para tipos que têm uma pequena quantidade de dados e comportamento simples.
Enumerações Enumerações são tipos que têm um conjunto definido de valores nomeados. Pode usá-las em vez de literais para tornar o código mais legível e mantido.

Programação de Objetos

A tabela a seguir mostra artigos de referência que descrevem a programação de objetos F#.

Título Descrição
Classes Saiba mais sobre as aulas, que são tipos que representam objetos que podem ter propriedades, métodos e eventos.
Interfaces Saiba mais sobre interfaces, que especificam conjuntos de membros relacionados que outras classes implementam.
Aulas abstratas Saiba mais sobre as classes abstratas, que são aulas que deixam alguns ou todos os membros por implementar, para que as implementações possam ser fornecidas por classes derivadas.
Extensões de tipo Saiba mais sobre extensões de tipo, que permitem adicionar novos membros a um tipo de objeto previamente definido.
Delegados Conheça os delegados, que representam uma chamada de função como um objeto.
Herança Saiba mais sobre a herança, que é usada para modelo a relação "is-a", ou subtyping, na programação orientada para os objetos.
Membros Saiba mais sobre os membros dos tipos de objetos F#.
Parâmetros e Argumentos Saiba mais sobre o suporte linguístico para definir parâmetros e passar argumentos para funções, métodos e propriedades. Inclui informações sobre como passar por referência.
Sobrecarga do operador Saiba como sobrecarregar os operadores aritméticos numa classe ou tipo de gravação, e a nível global.
Expressões de objetos Saiba mais sobre expressões de objetos, que são expressões que criam novos casos de um tipo de objeto anónimo e dinâmico criado que se baseia num tipo de base, interface ou conjunto de interfaces existentes.

Async, Tarefas e Preguiçoso

A tabela que se segue lista temas que descrevem as teync, tarefa e expressões preguiçosas.

Título Descrição
Expressões assíncas Aprenda sobre expressões assíncroas, que lhe permitem escrever código assíncronos de uma forma que está muito próxima da forma como, naturalmente, escreveria código sincronizado.
Expressões de Tarefa Saiba mais sobre expressões de tarefas, que são uma forma alternativa de escrever código assíncrodo utilizado ao interoperar com o código .NET que consome ou produz tarefas .NET.
Expressões Preguiçosas Saiba mais sobre expressões preguiçosas, que são computações que não são avaliadas imediatamente, mas são avaliadas quando o resultado é realmente necessário.

Expressões computacional e Consultas

A tabela que se segue lista tópicos que descrevem expressões e consultas de computação F.

Título Descrição
Expressões computacional Saiba mais sobre expressões de computação em F#, que fornecem uma sintaxe conveniente para escrever computações que podem ser sequenciadas e combinadas usando construções e encadernações de fluxo de controlo. Podem ser usados para gerir dados, controlo e efeitos colaterais em programas funcionais.
Expressões de consulta Saiba mais sobre expressões de consulta, uma funcionalidade de idioma que implementa o LINQ para F# e permite-lhe escrever consultas contra uma fonte de dados ou uma recolha enumerada.

Atributos, Reflexão, Citações e Formatação de Texto Simples

A tabela que se segue lista artigos que descrevem funcionalidades reflexivas F#, incluindo atributos, nameofcitações e formatação de texto simples.

Título Descrição
Atributos Saiba como f# Os atributos permitem aplicar metadados a uma construção de programação.
nome de Saiba mais sobre o nameof operador, uma função de metaprogramação que lhe permite produzir o nome de qualquer símbolo no seu código fonte.
Informações de chamadas Saiba como usar os atributos de argumento do caller Info para obter informações de um método.
Identificadores de Linha de Origem, Ficheiros e Caminhos Saiba mais sobre os identificadores __LINE__, __SOURCE_DIRECTORY__e __SOURCE_FILE__, que são valores incorporados que lhe permitem aceder ao número da linha de origem, diretório e nome de ficheiro no seu código.
Cotações de Código Saiba mais sobre citações de código, uma funcionalidade de idioma que lhe permite gerar e trabalhar com expressões de código F# programáticamente.
Formatação de texto simples Saiba como usar sprintf e outros textos simples formatting em aplicações e scripts F#.

Fornecedores de tipo

A tabela que se segue lista artigos que descrevem os fornecedores do tipo F#.

Título Descrição
Fornecedores de tipo Saiba mais sobre os fornecedores de tipo e encontre links para pesquisas sobre a utilização dos fornecedores de tipo incorporado para aceder a bases de dados e serviços web.
Criar um fornecedor de tipo Aprenda a criar os seus próprios fornecedores do tipo F# examinando vários fornecedores de tipo simples que ilustram os conceitos básicos.

F# Referência API da Biblioteca Central

F# Core Library (FSharp.Core) A referência API é a referência para todos os espaços de nomes, módulos, tipos e funções da Biblioteca Core F#.

Tabelas de Referência

A tabela a seguir mostra artigos de referência que fornecem tabelas de palavras-chave, símbolos e literais que são usados como tokens em F#.

Título Descrição
Referência de palavra-chave Contém links para informações sobre todas as palavras-chave do idioma F.
Referência de símbolo e operador Contém uma tabela de símbolos e operadores que são usados em F#.

Construções apoiadas por compiladores

A tabela que se segue lista tópicos que descrevem construções especiais apoiadas por compiladores.

Tópico Descrição
Opções de compilador Descreve as opções de linha de comando para o compilador F.
Diretivas do compilador Descreve as diretivas do processador e as diretivas do compilador suportadas pelo compilador F.