Referencia de palabras clave (F#)
Este tema contiene vínculos a información referente a todas las palabras clave del lenguaje F#.
Tabla de palabras clave de F#
En la tabla siguiente, se muestran todas las palabras clave de F# en orden alfabético, junto con una descripción breve y vínculos a temas pertinentes que contienen más información.
Palabra clave |
Link |
Descripción |
|---|---|---|
abstract |
Indica un método que no tiene ninguna implementación en el tipo en el que se declara o un método que es virtual y tiene una implementación predeterminada. |
|
and |
Se utiliza en enlaces mutuamente recursivos, en declaraciones de propiedad y con varias restricciones en parámetros genéricos. |
|
as |
Se utiliza para asignar un nombre de objeto al objeto de clase actual.También se usa para asignar un nombre a un modelo completo en una coincidencia de modelos. |
|
assert |
Se utiliza para comprobar el código durante la depuración. |
|
base |
Se usa como nombre del objeto de clase base. |
|
begin |
En la sintaxis detallada, indica el inicio de un bloque de código. |
|
class |
En la sintaxis detallada, indica el inicio de una definición de clase. |
|
default |
Indica una implementación de un método abstracto; se utiliza junto con una declaración de método abstracto para crear un método virtual. |
|
delegate |
Se utiliza para declarar un delegado. |
|
do |
Bucles: expresión for...to (F#) |
Se utiliza en construcciones de bucle o para ejecutar código imperativo. |
done |
En la sintaxis detallada, indica el final de un bloque de código en una expresión de bucle. |
|
downcast |
Se utiliza para realizar la conversión a un tipo situado en un nivel inferior de la cadena de herencia. |
|
downto |
En una expresión for, se utiliza para contar en orden inverso. |
|
elif |
Se utiliza en la bifurcación condicional.Es una forma abreviada de else if. |
|
else |
Se utiliza en la bifurcación condicional. |
|
end |
En las definiciones y extensiones de tipo, indica el final de una sección de las definiciones de miembro. En la sintaxis detallada, se usa para especificar el final de un bloque de código que comienza con la palabra clave begin. |
|
exception |
Se utiliza para declarar un tipo de excepción. |
|
extern |
Indica que un elemento de programa declarado está definido en otro binario o ensamblado. |
|
false |
Se utiliza como literal booleano. |
|
finally |
Se usa junto con try para incluir un bloque de código que se ejecuta independientemente de que se produzca una excepción. |
|
for |
Se utiliza en construcciones de bucle. |
|
fun |
Se utiliza en expresiones lambda, que también se conocen como funciones anónimas. |
|
function |
Se utiliza como alternativa abreviada a la palabra clave fun y una expresión match en una expresión lambda que tiene coincidencia de modelos en un solo argumento. |
|
global |
Se utiliza para hacer referencia al espacio de nombres de .NET de nivel superior. |
|
if |
Se utiliza en construcciones de bifurcación condicional. |
|
in |
Se utiliza para las expresiones de secuencia y, en la sintaxis detallada, para separar las expresiones de los enlaces. |
|
inherit |
Se utiliza para especificar una clase base o una interfaz base. |
|
inline |
Se utiliza para indicar una función cuyo código debe integrarse directamente en el código de la función que la llama. |
|
interface |
Se utiliza para declarar e implementar interfaces. |
|
internal |
Se utiliza para especificar que un miembro está visible dentro de un ensamblado pero no fuera de él. |
|
lazy |
Se utiliza para especificar un cálculo que debe realizarse únicamente cuando se necesita un resultado. |
|
let |
Se utiliza para asociar, o enlazar, un nombre a un valor o una función. |
|
let! |
Utilizado en flujos de trabajo asincrónicos para enlazar un nombre al resultado de un cálculo asincrónico, o, en otras expresiones de cálculo, utilizadas para enlazar un nombre a un resultado, que es del tipo de cálculo. |
|
match |
Se utiliza para crear una bifurcación mediante la comparación de un valor con un modelo. |
|
member |
Se utiliza para declarar una propiedad o un método en un tipo de objeto. |
|
module |
Se utiliza para asociar un nombre a un grupo de tipos, valores y funciones relacionados a fin de separarlo de forma lógica del resto del código. |
|
mutable |
Se utiliza para declarar una variable, es decir, un valor que se puede cambiar. |
|
namespace |
Se utiliza para asociar un nombre a un grupo de tipos y módulos relacionados a fin de separarlo de forma lógica del resto del código. |
|
new |
Se utiliza para declarar, definir o invocar un constructor que crea o puede crear un objeto. También se usa en las restricciones de parámetro genérico para indicar que un tipo debe tener un constructor determinado. |
|
not |
No es una palabra clave propiamente dicha.Sin embargo, se utiliza la combinación not struct como una restricción de parámetro genérico. |
|
null |
Indica la ausencia de un objeto. También se utiliza en las restricciones de parámetro genérico. |
|
of |
Se utiliza en las uniones discriminadas para indicar el tipo de las categorías de valores, así como en declaraciones de delegado y de excepción. |
|
open |
Se utiliza para que el contenido de un espacio de nombres o módulo esté disponible sin tener que especificar el nombre completo. |
|
or |
Se utiliza con las condiciones booleanas como operador booleano or.Equivale a ||. También se utiliza en las restricciones de miembro. |
|
override |
Se utiliza para implementar una versión de un método abstracto o virtual que se diferencia de la versión base. |
|
private |
Restringe el acceso a un miembro desde código del mismo tipo o módulo. |
|
public |
Permite el acceso a un miembro desde fuera del tipo. |
|
rec |
Se utiliza para indicar que una función es recursiva. |
|
return |
Se utiliza para indicar un valor que se va a proporcionar como resultado de una expresión de computación. |
|
return! |
Se utiliza para indicar una expresión de cálculo que, cuando se evalúa, proporciona el resultado de la expresión de cálculo que contiene. |
|
select |
Se utiliza en las expresiones de consulta para especificar qué campos o columnas para extraer.Observe que esto es una palabra clave contextual, lo que significa que no es realmente una palabra reservada y actúa únicamente como una palabra clave de contexto adecuado. |
|
static |
Se utiliza para indicar un método o una propiedad que se puede invocar sin ninguna instancia de un tipo, o un miembro de valor que comparten todas las instancias de un tipo. |
|
struct |
Se utiliza para declarar un tipo de estructura. También se utiliza en las restricciones de parámetro genérico. Se utiliza en las definiciones de módulo por motivos de compatibilidad con OCaml. |
|
then |
Se utiliza en las expresiones condicionales. También se utiliza para generar efectos secundarios después de la construcción de un objeto. |
|
to |
Se utiliza en bucles for para indicar un intervalo. |
|
true |
Se utiliza como literal booleano. |
|
try |
Se utiliza para introducir un bloque de código que podría generar una excepción.Se utiliza junto con with o finally. |
|
type |
Se utiliza para declarar una clase, un registro, una estructura, una unión discriminada, un tipo de enumeración, una unidad de medida o una abreviatura de tipo. |
|
upcast |
Se utiliza para realizar la conversión a un tipo situado en un nivel superior de la cadena de herencia. |
|
use |
Se utiliza en lugar de let para los valores que requieren la invocación de Dispose para liberar recursos. |
|
use! |
Se utiliza en lugar de let! en flujos de trabajo asincrónicos y otras expresiones de cálculo por valores que requieren Dispose llamar para liberar recursos. |
|
val |
Se utiliza en una signatura para indicar un valor o en un tipo para declarar un miembro, en situaciones muy concretas. |
|
void |
Indica el tipo void de .NET.Se usa para interoperar con otros lenguajes .NET. |
|
when |
Se utiliza para las condiciones booleanas (protecciones when) en las coincidencias de modelos y para introducir una cláusula de restricción de un parámetro de tipo genérico. |
|
while |
Inicia una construcción de bucle. |
|
with |
Se utiliza junto con la palabra clave match en las expresiones de coincidencia de modelos.También se utiliza en las expresiones de objeto, expresiones de copia de registros y extensiones de tipo para introducir las definiciones de miembro y los controladores de excepciones. |
|
yield |
Se utiliza en una expresión de secuencia a fin de generar un valor para una secuencia. |
|
yield! |
Se utiliza en una expresión de cálculo para anexar el resultado de una expresión determinada de cálculo a una colección de resultados para la expresión de cálculo que contiene. |
Además, los siguientes tokens están reservados en F# porque son palabras clave en el lenguaje OCaml:
asr |
land |
lor |
lsl |
lsr |
lxor |
mod |
sig |
Si utiliza la opción del compilador --mlcompatibility, estas palabras clave estarán disponibles como identificadores.
Los siguientes tokens están reservados como palabras clave para una futura ampliación del lenguaje F#:
atomic |
break |
checked |
component |
const |
constraint |
constructor |
continue |
eager |
event |
external |
fixed |
functor |
include |
method |
mixin |
object |
parallel |
process |
protected |
pure |
sealed |
tailcall |
trait |
virtual |
volatile |
Vea también
Referencia
Referencia de símbolos y operadores (F#)