Referencia del lenguaje F#

Esta sección es una referencia para F#, un lenguaje de programación de varios paradigmas destinado a .NET. F# admite modelos de programación funcionales, orientados a objetos e imperativos.

Organización del código de F#

En la tabla siguiente se muestran artículos de referencia relacionados con la organización del código de F#.

Título	Descripción
Espacios de nombres	Obtenga información sobre la compatibilidad con espacios de nombres en F#. Un espacio de nombres le permite organizar el código en áreas de funcionalidad relacionada al permitirle adjuntar un nombre a una agrupación de elementos de programa.
Módulos	Obtenga información sobre los módulos. Un módulo de F# es como un espacio de nombres y también puede incluir valores y funciones. La agrupación de código en módulos ayuda a mantener el código relacionado juntos y ayuda a evitar conflictos de nombres en el programa.
open Declaraciones	Obtenga información sobre cómo open funciona. Una open declaración especifica un módulo, un espacio de nombres o un tipo cuyos elementos se pueden hacer referencia sin usar un nombre completo.
Signatures	Obtenga información sobre firmas y archivos de firma. Un archivo de firma contiene información sobre las firmas públicas de un conjunto de elementos de programa de F#, como tipos, espacios de nombres y módulos. Se puede usar para especificar la accesibilidad de estos elementos de programa.
Control de acceso	Obtenga información sobre el control de acceso en F#. El control de acceso significa declarar qué clientes pueden usar determinados elementos de programa, como tipos, métodos, funciones, etc.
Documentación XML	Obtenga información sobre la compatibilidad con la generación de archivos de documentación a partir de comentarios de documentos XML, también conocidos como comentarios de barra diagonal triple. Puede generar documentación a partir de comentarios de código en F# como en otros lenguajes .NET.

Literales y cadenas

En la tabla siguiente se muestran artículos de referencia que describen literales y cadenas en F#.

Título	Descripción
literales	Obtenga información sobre la sintaxis de los valores literales de F# y cómo especificar información de tipo para los literales de F#.
Cadenas	Obtenga información sobre las cadenas en F#. El string tipo representa texto inmutable, como una secuencia de caracteres Unicode. string es un alias de System.String en .NET.
Cadenas interpoladas	Obtenga información sobre las cadenas interpoladas, una forma especial de cadena que permite insertar expresiones de F# directamente dentro de ellas.

Valores y funciones

En la tabla siguiente se muestran artículos de referencia que describen conceptos de lenguaje relacionados con valores, letenlaces y funciones.

Título	Descripción
Valores	Obtenga información sobre los valores, que son cantidades inmutables que tienen un tipo específico; los valores pueden ser números enteros o de punto flotante, caracteres o texto, listas, secuencias, matrices, tuplas, uniones discriminadas, registros, tipos de clase o valores de función.
Funciones	Las funciones son la unidad fundamental de ejecución del programa en cualquier lenguaje de programación. Una función de F# tiene un nombre, puede tener parámetros y tomar argumentos y tener un cuerpo. F# también admite construcciones de programación funcionales, como tratar funciones como valores, usar funciones sin nombre en expresiones, composición de funciones para formar nuevas funciones, funciones curriadas y la definición implícita de funciones mediante la aplicación parcial de argumentos de función.
Expresiones de función	Aprenda a usar la palabra clave "fun" de F# para definir una expresión lambda, que es una función anónima.

Bucles y condicionales

En la tabla siguiente se enumeran artículos que describen bucles y condicionales de F#.

Título	Descripción
Expresiones condicionales: if...then...else	Obtenga información sobre la if...then...else expresión, que ejecuta diferentes ramas de código y también se evalúa como un valor diferente en función de la expresión booleana especificada.
Bucles: for...in expresión	Obtenga información sobre la for...in expresión, una construcción de bucle que se usa para recorrer en iteración las coincidencias de un patrón en una colección enumerable, como una expresión de intervalo, una secuencia, una lista, una matriz u otra construcción que admita la enumeración.
Bucles: for...to expresión	Obtenga información sobre la for...to expresión , que se usa para iterar en un bucle a través de un intervalo de valores de una variable de bucle.
Bucles: while...do expresión	Obtenga información sobre la while...do expresión , que se usa para realizar la ejecución iterativa (bucle) mientras que se cumple una condición de prueba especificada.

Coincidencia de patrones

En la tabla siguiente se muestran artículos de referencia que describen conceptos de lenguaje.

Título	Descripción
Coincidencia de patrones	Obtenga información sobre los patrones, que son reglas para transformar los datos de entrada y se usan en F#. Puede comparar datos con un patrón, descomponer los datos en partes constituyentes o extraer información de los datos de varias maneras.
Expresiones de coincidencia	Obtenga información sobre la match expresión, que proporciona control de bifurcación basado en la comparación de una expresión con un conjunto de patrones.
Patrones activos	Obtenga información sobre los patrones activos. Los patrones activos permiten definir particiones con nombre que subdividir datos de entrada. Se pueden usar patrones activos para descomponer los datos de manera personalizada para cada partición.

Control de excepciones

En la tabla siguiente se muestran artículos de referencia que describen conceptos de lenguaje relacionados con el control de excepciones.

Título	Descripción
Manejo de Excepciones	Contiene información sobre la compatibilidad con el control de excepciones en F#.
Expresión try...with	Obtenga información sobre cómo usar la expresión para el try...with control de excepciones.
Expresión try...finally	Obtenga información sobre cómo la expresión de F# try...finally permite ejecutar código de limpieza incluso si un bloque de código produce una excepción.
Palabra use clave	Obtenga información sobre las palabras clave use y using, que pueden controlar la inicialización y liberación de los recursos.
Afirmaciones	Obtenga información sobre la assert expresión, que es una característica de depuración que puede usar para probar una expresión. Tras un error en el modo de depuración, una aserción genera un cuadro de diálogo de error del sistema.

Tipos y inferencia de tipos

En la tabla siguiente se muestran artículos de referencia que describen cómo funcionan los tipos y la inferencia de tipos en F#.

Título	Descripción
Tipos	Obtenga información sobre los tipos que se usan en F# y cómo se denominan y describen los tipos de F#.
tipos básicos	Obtenga información sobre los tipos fundamentales que se usan en F#. También proporciona los tipos de .NET correspondientes y los valores mínimo y máximo para cada tipo.
Tipo de unidad	Obtenga información sobre el unit tipo , que es un tipo que indica la ausencia de un valor específico; el unit tipo solo tiene un valor único, que actúa como marcador de posición cuando no existe ningún otro valor o es necesario.
Abreviaturas de tipo	Obtenga información sobre las abreviaturas de tipo, que son nombres alternativos para los tipos.
Inferencia de tipos	Obtenga información sobre cómo el compilador de F# deduce los tipos de valores, variables, parámetros y valores devueltos.
Conversiones y conversión	Obtenga información sobre la compatibilidad con las conversiones de tipos en F#.
Genéricos	Obtenga información sobre las construcciones genéricas en F#.
Generalización automática	Obtenga información sobre cómo F# generaliza automáticamente los argumentos y los tipos de funciones para que funcionen con varios tipos siempre que sea posible.
Restricciones	Obtenga información sobre las restricciones que se aplican a los parámetros de tipo genérico para especificar los requisitos de un argumento de tipo en un tipo genérico o una función.
Tipos flexibles	Obtenga información sobre los tipos flexibles. Una anotación de tipo flexible es una indicación de que un parámetro, una variable o un valor tiene un tipo compatible con el tipo especificado, donde la compatibilidad viene determinada por posición en una jerarquía orientada a objetos de clases o interfaces.
Unidades de medida	Obtenga información sobre las unidades de medida. Los valores de punto flotante de F# pueden tener unidades de medida asociadas, que normalmente se usan para indicar longitud, volumen, masa, etc.
Byrefs	Obtenga información sobre los tipos byref y byref en F#, que se usan para la programación de bajo nivel.

Tuplas, Listas, Colecciones, Opciones

En la tabla siguiente se muestran artículos de referencia que describen los tipos admitidos por F#.

Título	Descripción
Tuplas	Obtenga información sobre las tuplas, que son agrupaciones de valores sin nombre pero ordenados de posibles tipos diferentes.
Colecciones	Información general de los tipos de colección funcional de F#, incluidos los tipos de matrices, listas, secuencias (seq), mapas y conjuntos.
Listas	Obtenga información sobre las listas. Una lista de F# es una serie ordenada e inmutable de elementos del mismo tipo.
Opciones	Obtenga información sobre el tipo de opción. Se usa una opción en F# cuando un valor puede existir o no. Una opción tiene un tipo subyacente y puede contener un valor de ese tipo o puede que no tenga un valor.
matrices de	Obtenga información sobre las matrices. Las matrices son secuencias mutables de tamaño fijo, de base cero y mutables de elementos de datos consecutivos, todos del mismo tipo.
Secuencias	Obtenga información sobre las secuencias. Una secuencia es una serie lógica de elementos de un tipo. Los elementos de secuencia individuales solo se calculan si es necesario, por lo que la representación puede ser menor que un recuento de elementos literales indica.
Expresiones de secuencia	Obtenga información sobre las expresiones de secuencia, que permiten generar secuencias de datos a petición.
Celdas de referencia	Obtenga información sobre las celdas de referencia, que son ubicaciones de almacenamiento que permiten crear variables mutables con semántica de referencia.

Registros y uniones discriminadas

En la tabla siguiente se muestran artículos de referencia que describen las definiciones de tipo de unión discriminada y de registro admitidas por F#.

Título	Descripción
Registros	Obtenga información sobre los registros. Los registros representan agregados simples de valores con nombre, opcionalmente con miembros.
Registros anónimos	Obtenga información sobre cómo construir y usar registros anónimos, una característica de lenguaje que ayuda con la manipulación de datos.
Uniones discriminadas	Obtenga información sobre las uniones discriminadas, que proporcionan compatibilidad con valores que pueden ser uno de varios casos con nombre, cada uno con valores y tipos posiblemente diferentes.
Estructuras	Obtenga información sobre las estructuras, que son tipos de objetos compactos que pueden ser más eficaces que una clase para los tipos que tienen una pequeña cantidad de datos y un comportamiento simple.
Enumerations	Las enumeraciones son tipos que tienen un conjunto definido de valores con nombre. Puede usarlos en lugar de literales para que el código sea más legible y fácil de mantener.

Programación de objetos

En la tabla siguiente se muestran artículos de referencia que describen la programación de objetos F#.

Título	Descripción
Clases	Obtenga información sobre las clases, que son tipos que representan objetos que pueden tener propiedades, métodos y eventos.
Interfaces	Obtenga información sobre las interfaces, que especifican conjuntos de miembros relacionados que implementan otras clases.
clases abstractas	Obtenga información sobre las clases abstractas, que son clases que dejan algunos o todos los miembros no implementados, para que las implementaciones se puedan proporcionar mediante clases derivadas.
Extensiones de tipo	Obtenga información sobre las extensiones de tipo, que permiten agregar nuevos miembros a un tipo de objeto definido previamente.
delegados	Obtenga información sobre los delegados, que representan una llamada de función como un objeto.
Herencia	Obtenga información sobre la herencia, que se usa para modelar la relación "es-a" o la subintación, en la programación orientada a objetos.
Miembros	Obtenga información sobre los miembros de los tipos de objetos de F#.
Parámetros y argumentos	Obtenga información sobre la compatibilidad del lenguaje para definir parámetros y pasar argumentos a funciones, métodos y propiedades. Incluye información sobre cómo pasar por referencia.
Sobrecarga del operador	Obtenga información sobre cómo sobrecargar operadores aritméticos en un tipo de clase o registro y en el nivel global.
Expresiones de objeto	Obtenga información sobre las expresiones de objeto, que son expresiones que crean nuevas instancias de un tipo de objeto anónimo creado dinámicamente que se basa en un tipo base, interfaz o conjunto de interfaces existente.

Asincrónico, Tareas y Diferido

En la tabla siguiente se enumeran los temas que describen expresiones asincrónicas, tareas y diferidas de F#.

Título	Descripción
Expresiones asincrónicas	Obtenga información sobre las expresiones asincrónicas, que permiten escribir código asincrónico de una manera muy cercana a la manera en que escribiría código sincrónico de forma natural.
Expresiones de tarea	Obtenga información sobre las expresiones de tarea, que son una forma alternativa de escribir código asincrónico que se usa al interoperar con código .NET que consume o genera tareas de .NET.
Expresiones diferidas	Obtenga información sobre las expresiones diferidas, que son cálculos que no se evalúan inmediatamente, sino que se evalúan cuando realmente se necesita el resultado.

Expresiones de cálculo y consultas

En la tabla siguiente se enumeran los temas que describen las expresiones y consultas de cálculo de F#.

Título	Descripción
Expresiones de cálculo	Obtenga información sobre las expresiones de cálculo en F#, que proporcionan una sintaxis cómoda para escribir cálculos que se pueden secuenciar y combinar mediante construcciones y enlaces de flujo de control. Se pueden usar para administrar los datos, el control y los efectos secundarios en programas funcionales.
Expresiones de consulta	Obtenga información sobre las expresiones de consulta, una característica de lenguaje que implementa LINQ for F# y le permite escribir consultas en un origen de datos o una colección enumerable.

Atributos, reflexión, comillas y formato de texto sin formato

En la tabla siguiente se enumeran los artículos que describen las características reflectantes de F#, incluidos los atributos, las comillas, nameofy el formato de texto sin formato.

Título	Descripción
Atributos	Obtenga información sobre cómo los atributos de F# permiten aplicar metadatos a una construcción de programación.
nameof	Obtenga información sobre el nameof operador, una característica de metaprogramación que le permite generar el nombre de cualquier símbolo en el código fuente.
Información del autor de la llamada	Obtenga información sobre cómo usar atributos de argumento de información de llamada para obtener información del autor de la llamada de un método.
Identificadores de línea, archivo y ruta de acceso de origen	Obtenga información sobre los identificadores __LINE__, __SOURCE_DIRECTORY__y __SOURCE_FILE__, que son valores integrados que permiten acceder al número de línea de origen, el directorio y el nombre de archivo en el código.
Comillas de código	Obtenga información sobre las comillas de código, una característica de lenguaje que le permite generar y trabajar con expresiones de código de F# mediante programación.
Formato de texto sin formato	Aprenda a usar sprintf y otros formatos de texto sin formato en aplicaciones y scripts de F#.

Proveedores de tipos

En la tabla siguiente se enumeran los artículos que describen los proveedores de tipos de F#.

Título	Descripción
Proveedores de tipos	Obtenga información sobre los proveedores de tipos y busque vínculos a tutoriales sobre cómo usar los proveedores de tipos integrados para acceder a bases de datos y servicios web.
Crear un proveedor de tipos	Aprenda a crear sus propios proveedores de tipos de F#examinando varios proveedores de tipos simples que ilustran los conceptos básicos.

Referencia de la API de la biblioteca principal de F#

La referencia de API de la biblioteca principal de F# (FSharp.Core) es la referencia para todos los espacios de nombres de la biblioteca principal de F#, módulos, tipos y funciones.

Tablas de referencia

En la tabla siguiente se muestran artículos de referencia que proporcionan tablas de palabras clave, símbolos y literales que se usan como tokens en F#.

Título	Descripción
Referencia de palabra clave	Contiene vínculos a información sobre todas las palabras clave del lenguaje F#.
Referencia de símbolos y operadores	Contiene una tabla de símbolos y operadores que se usan en F#.

Construcciones compatibles con el compilador

En la tabla siguiente se enumeran los temas que describen construcciones especiales compatibles con el compilador.

Tema	Descripción
opciones del compilador	Describe las opciones de línea de comandos del compilador de F#.
Directivas del compilador	Describe las directivas de procesador y las directivas del compilador compatibles con el compilador de F#.