Подробный синтаксис

Существует две формы синтаксиса, доступные для многих конструкций в F #: подробный синтаксис и упрощенный синтаксис. Синтаксис verbose не так часто используется, но имеет преимущество менее чувствительно к отступу. Упрощенный синтаксис короче и использует отступы, чтобы сообщить начало и конец конструкций, а не дополнительные ключевые слова, такие как begin , end , in и т. д. Синтаксис по умолчанию — упрощенный синтаксис. В этом разделе описывается синтаксис конструкций F #, если упрощенный синтаксис не включен. Подробный синтаксис всегда включен, поэтому даже если включен упрощенный синтаксис, для некоторых конструкций по-прежнему можно использовать подробный синтаксис.

Таблица конструкций

В следующей таблице показан упрощенный и подробный синтаксис для языковых конструкций F # в контекстах, где существует разница между двумя формами. В этой таблице угловые скобки ( < > ) заключают определяемые пользователем элементы синтаксиса. Более подробные сведения о синтаксисе, используемом в этих конструкциях, см. в документации по каждой языковой конструкции.

Конструкция языка Упрощенный синтаксис Подробный синтаксис
составные выражения
<expression1>
<expression2>
<expression1>; <expression2>

вложенные let привязки

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
блок кода
(
    <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
запись
type <record-name> =
    {
        <field-declarations>
    }
    <value-or-member-definitions>
type <record-name> =
    {
        <field-declarations>
    }
    with
        <value-or-member-definitions>
    end
class
type <class-name>(<params>) =
    ...
type <class-name>(<params>) =
    class
        ...
    end
structure
[<StructAttribute>]
type <structure-name> =
    ...
type <structure-name> =
    struct
        ...
    end
размеченное объединение
type <union-name> =
    | ...
    | ...
    ...
    <value-or-member definitions>
type <union-name> =
    | ...
    | ...
    ...
    with
        <value-or-member-definitions>
    end
interface
type <interface-name> =
    ...
type <interface-name> =
    interface
        ...
    end
выражение объекта
{ new <type-name>
    with
        <value-or-member-definitions>
        <interface-implementations>
}
{ new <type-name>
    with
        <value-or-member-definitions>
    end
    <interface-implementations>
}
реализация интерфейсов
interface <interface-name>
    with
        <value-or-member-definitions>
interface <interface-name>
    with
        <value-or-member-definitions>
    end
расширение типа
type <type-name>
    with
        <value-or-member-definitions>
type <type-name>
    with
        <value-or-member-definitions>
    end
module
module <module-name> =
    ...
module <module-name> =
    begin
        ...
    end

См. также