Compartir a través de

Sintaxis detallada

  • Artículo

Hay dos formas de sintaxis disponibles para muchas construcciones en F#: sintaxis detallada y sintaxis ligera. La sintaxis detallada no es tan usada normalmente, pero tiene la ventaja de ser menos sensible a la sangría. La sintaxis ligera es más corta y usa sangría para indicar el principio y el final de las construcciones, en lugar de palabras clave adicionales como begin, end, in, etc. La sintaxis predeterminada es la sintaxis ligera. Describe la sintaxis para las construcciones de F# cuando no está habilitada la sintaxis ligera. La sintaxis detallada siempre está habilitada, por lo que incluso si habilita la sintaxis ligera, todavía puede usar la sintaxis detallada para algunas construcciones.

Tabla de construcciones

En la tabla siguiente se muestra la sintaxis ligera y detallada de las construcciones de lenguaje F# en contextos donde hay una diferencia entre los dos formularios. En esta tabla, los corchetes angulares (<>) encierra los elementos de sintaxis proporcionados por el usuario. Consulte la documentación de cada construcción de lenguaje para obtener información más detallada sobre la sintaxis utilizada en estas construcciones.

Construcción de lenguaje Sintaxis simplificada Sintaxis detallada
expresiones compuestas 
<expression1>
<expression2>

<expression1>; <expression2>

enlaces let anidados

 
let f x =
    let a = 1
    let b = 2
    x + a + b

let f x =
    let a = 1 in
    let b = 2 in
    x + a + b
bloque de código 
(
    <expression1>
    <expression2>
)

begin
    <expression1>;
    <expression2>;
end
'for... do' 
for counter = start to finish do
    ...

for counter = start to finish do
    ...
done
`while...do` 
while <condition> do
    ...

while <condition> do
    ...
done
`for...in` 
for var in start .. finish do
    ...

for var in start .. finish do
    ...
done
`do` 
do
    ...

do
    ...
in
record 
type <record-name> =
    {
        <field-declarations>
    }
    <value-or-member-definitions>

type <record-name> =
    {
        <field-declarations>
    }
    with
        <value-or-member-definitions>
    end
clase 
type <class-name>(<params>) =
    ...

type <class-name>(<params>) =
    class
        ...
    end
structure 
[<StructAttribute>]
type <structure-name> =
    ...

type <structure-name> =
    struct
        ...
    end
unión discriminada 
type <union-name> =
    | ...
    | ...
    ...
    <value-or-member definitions>

type <union-name> =
    | ...
    | ...
    ...
    with
        <value-or-member-definitions>
    end
interfaz 
type <interface-name> =
    ...

type <interface-name> =
    interface
        ...
    end
expresión de objeto 
{ new <type-name>
    with
        <value-or-member-definitions>
        <interface-implementations>
}

{ new <type-name>
    with
        <value-or-member-definitions>
    end
    <interface-implementations>
}
implementación de interfaces 
interface <interface-name>
    with
        <value-or-member-definitions>

interface <interface-name>
    with
        <value-or-member-definitions>
    end
extensión de tipo 
type <type-name>
    with
        <value-or-member-definitions>

type <type-name>
    with
        <value-or-member-definitions>
    end
módulo 
module <module-name> =
    ...

module <module-name> =
    begin
        ...
    end

Vea también