Referência de linguagem do F#
Esta seção é uma referência de linguagem do F#, um direcionamento de idioma programação multi-paradigm a.NET da Microsoft.Idioma F# oferece suporte a modelos de programação funcionais, orientada a objeto e imperativos.
Tokens de F#
A tabela a seguir mostra os tópicos de referência fornecem tabelas de palavras-chave, símbolos e literais usadas como símbolos em F#.
Nome |
Descrição |
|---|---|
Contém links para informações sobre palavras-todos os F# chave. |
|
Contém uma tabela de símbolos e operadores que são usadas no idioma F#. |
|
Descreve a sintaxe para valores literais em F# e como especificar informações de tipo para F# literais. |
Conceitos da linguagem F#
A tabela a seguir mostra os tópicos de referência que descrevem conceitos de idioma disponíveis.
Nome |
Descrição |
|---|---|
Funções são a unidade fundamental da execução do programa em qualquer linguagem de programação.Como em outros idiomas, uma função F# tem um nome, pode ter parâmetros e take argumentos e tem um corpo.F# também suporta construções de programação funcionais, como tratar funções como valores, usando funções sem nome em expressões, composição de funções para formar novas funções, funções curried e a definição implícita de funções por meio do aplicativo parcial dos argumentos da função. |
|
Descreve os tipos são usados em F# e como os tipos de F# são nomeados e descritos. |
|
Descreve como o compilador F# infere os tipos de valores, variáveis, parâmetros e valores de retorno. |
|
Descreve genéricas construções em F#. |
|
Descreve a herança, que é usada para modelar a relação "é-um", ou formação de subtipos, em programação orientada a objeto. |
|
Descreve os membros de tipos de objeto F#. |
|
Descreve o suporte de linguagem para definição de parâmetros e passando argumentos para funções, métodos e propriedades.Ele inclui informações sobre como passar por referência. |
|
Descreve como sobrecarregar operadores aritméticos em uma classe ou tipo de registro e no nível global. |
|
Descreve o suporte para conversões de tipo em F#. |
|
Descreve o controle de acesso em F#.Controle de acesso significa declarando que os clientes são capazes de usar determinados elementos do programa, como tipos, métodos, funções e assim por diante. |
|
Descreve os padrões, que são regras para transformar os dados de entrada são usados em todo o idioma F# para extrair dados de comparar com um padrão, decompor os dados em partes constituintes ou extrair informações de dados de várias maneiras. |
|
Descreve os padrões de ativos.Ativas padrões permitem definir partições nomeadas que subdividir os dados de entrada.Você pode usar padrões de ativos para decompor os dados de maneira personalizada para cada partição. |
|
Descreve o assert expressão, que é um recurso de depuração, você pode usar para testar uma expressão.Em caso de falha no modo de depuração, uma declaração gera uma caixa de diálogo de erro do sistema. |
|
Contém informações sobre suporte no idioma F# de manipulação de exceção. |
|
Descreve os atributos que habilitar metadados a serem aplicadas a uma construção de programação. |
|
Descreve as palavras-chave use e using, que pode controlar a inicialização e liberação de recursos |
|
Descreve o suporte de namespace em F#.Um namespace permite organizar o código em áreas de funcionalidade relacionada, permitindo que você anexa um nome a um agrupamento de elementos do programa. |
|
Descreve os módulos.Um módulo de F# é um agrupamento de F# código, como valores, tipos e valores de função em um programa F#.Agrupamento de códigos em módulos ajuda a manter o código relacionado e ajuda a evitar conflitos de nome no seu programa. |
|
Descreve como open funciona.Uma declaração de importação Especifica um módulo ou cujos elementos que você pode referenciar sem usar um nome totalmente qualificado do namespace. |
|
Descreve os arquivos de assinatura e assinaturas.Um arquivo de assinatura contém informações sobre as assinaturas públicas de um conjunto de F# elementos do programa, como, por exemplo, módulos, tipos e namespaces.Ele pode ser usado para especificar a acessibilidade desses elementos de programa. |
|
Descreve o suporte para gerar arquivos de documentação para comentários doc, comentários de barra também conhecido como triplo.Você pode produzir documentação de comentários de código em F# como em outros.NET idiomas. |
|
Descreve a sintaxe para construções de F# quando leve sintaxe não está habilitado.Sintaxe detalhada é indicada pela #light "off" diretiva na parte superior do arquivo de código. |
Tipos de F#
A tabela a seguir mostra os tópicos de referência disponíveis que descrevem tipos suportados pelo idioma F#.
Nome |
Descrição |
|---|---|
Descreve os valores, que são imutáveis quantidades que têm um tipo específico; valores podem ser números de ponto flutuante ou integral, caracteres ou texto, listas, seqüências, matrizes, tuplas, discriminadas uniões, registros, tipos de classe ou valores de função. |
|
Descreve os tipos primitivos fundamentais que são usados no idioma F#.Ele também fornece o correspondente.NET e os valores mínimos e máximo para cada tipo. |
|
Descreve o unit tipo, que é um tipo que indica a ausência de um valor específico; o unit tipo possui apenas um valor único, que atua como um espaço reservado quando nenhum outro valor existe ou é necessário. |
|
Descreve as seqüências de caracteres em F#.O string tipo representa texto imutável, como uma seqüência de caracteres Unicode.stringé um alias de String na.NET Framework. |
|
Descreve tuplas, que são agrupamentos de valores ordenados mas sem nome possivelmente diferentes tipos. |
|
Visão geral sobre as F# tipos de coleção funcionais, incluindo tipos de matrizes, listas, seqüências (seq), mapas e conjuntos. |
|
Descreve listas.Uma lista de F# é uma série ordenada, imutável de elementos todos do mesmo tipo. |
|
Descreve o tipo de opção.Uma opção de F# é usada quando um valor pode ou não existir.Uma opção tem um tipo subjacente e ou podem conter um valor de tipo ou não tenha um valor. |
|
Descreve as seqüências.Uma seqüência é uma seqüência lógica de elementos todos de um tipo.Elementos individuais de seqüência são computados somente se necessário, para que a representação pode ser menor que indica uma contagem do elemento literal. |
|
Descreve as matrizes.Arrays são seqüências de tamanho fixo, com base em zero, mutáveis de elementos de dados consecutivos, todas do mesmo tipo. |
|
Descreve os registros.Registros representam simples agregações de valores nomeados opcionalmente com membros. |
|
Descreve discriminadas uniões, que oferece suporte a valores que podem ser um dos vários casos nomeados, cada um com tipos e valores possivelmente diferentes. |
|
Descreve as enumerações são tipos que têm um conjunto definido de valores nomeados.Você pode usá-los no lugar de literais para tornar o código mais legível e fácil manutenção. |
|
Descreve as células de referência, que são locais de armazenamento que permitem que você crie variáveis mutáveis com semântica de referência. |
|
Descreve as abreviações de tipo, que são nomes alternativos para tipos. |
|
Descreve as classes, que são tipos que representam objetos que podem ter propriedades, métodos e eventos. |
|
Descreve as estruturas são tipos de objeto compacto que podem ser mais eficientes do que uma classe para tipos que possuem uma pequena quantidade de dados e o comportamento simple. |
|
Descreve interfaces especificam conjuntos de membros relacionados implementam outras classes. |
|
Descreve as classes abstratas, que são classes que deixar alguns ou todos os membros não implementados, implementações podem ser fornecidas por classes derivadas. |
|
Descreve as extensões de tipo, que permitem que você adicionar novos membros a um tipo de objeto definidos anteriormente. |
|
Descreve os 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 que é compatível com o tipo especificado, onde a compatibilidade é determinada pela posição em uma hierarquia orientada de classes ou interfaces. |
|
Descreve os delegados, que representam uma chamada de função como um objeto. |
|
Descreve as unidades de medida.Flutuante valores de ponto de F# pode ter associados unidades de medida, que geralmente são usadas para indicar o comprimento, volume, massa e assim por diante. |
|
Descreve tipo fornece e fornece links para orientações sobre o uso de provedores de tipo interno para acessar bancos de dados e web services. |
Expressões F#
A tabela a seguir lista os tópicos que descrevem as expressões F#.
Nome |
Descrição |
|---|---|
Descreve o if...then...else expressão, que executa diferentes ramificações do código e também é avaliada como um valor diferente de acordo com a expressão booleana dada. |
|
Descreve o match expressão, que fornece controle de ramificação baseada na comparação de uma expressão com um conjunto de padrões. |
|
Descreve o for...to expressão, que é usado para iterar em um loop em um intervalo de valores de uma variável loop. |
|
Descreve o for...in expressão, uma construção de loop é usada para iterar sobre as correspondências de um padrão de uma coleção enumerável, como uma expressão de intervalo, a seqüência, a lista, a matriz ou outra construção que oferece suporte a enumeração. |
|
Descreve o while...do expressão, que é usado para realizar execução iterativa (loop) enquanto uma condição de teste especificada for verdadeira. |
|
Descreve as expressões de objeto, que são expressões que criar novas instâncias de um tipo de objeto criado dinamicamente, anônimo é baseada em um tipo base existente, interface ou conjunto de interfaces. |
|
Descreve as computações preguiçosos, que são cálculos que não são avaliados imediatamente, mas em vez disso, são avaliados quando o resultado é realmente necessária. |
|
Descreve as expressões de cálculo em F#, que fornecem uma sintaxe conveniente para a criação de cálculos que podem ser seqüenciados e combinados usando construções de fluxo de controle e ligações.Pode ser usados para fornecer uma sintaxe conveniente para mônadas, um recurso de programação funcional que pode ser usado para gerenciar dados, controle e efeitos colaterais em programas funcionais.Um tipo de expressão de cálculo, o fluxo de trabalho assíncrono, oferece suporte para computações assíncronas e paralelas.Para mais informações, consulte Fluxos de trabalho assíncronos (F#). |
|
Descreve um recurso de linguagem que permite que você escreva código assíncrono de forma que está muito próxima da maneira você escreveria naturalmente código síncrono de fluxos de trabalho assíncronos. |
|
Descreve um recurso de linguagem que permite gerar e trabalhar com expressões de código F# programaticamente a cotações de código. |
|
Descreve um recurso de linguagem que implementa o LINQ para F# e lhe permite escrever consultas contra uma fonte de dados ou um conjunto enumerável de expressões de consulta. |
Suporte a compilador construções
A tabela a seguir lista tópicos que descrevem as construções de suporte de compilador especiais.
Tópico |
Descrição |
|---|---|
Descreve as diretivas de processador e diretivas de compilador. |
|
Linha de código-fonte, arquivos e identificadores de caminho (F#) |
Descreve os identificadores de __LINE__, __SOURCE_DIRECTORY__ e __SOURCE_FILE__, que são valores internos que permitem acessar o fonte linha número, diretório e nome de arquivo no seu código. |