本文提供了F#语言所有关键字的完整列表，包括每个关键字的简要描述及链接到详细说明的主题。适合F#开发者作为快速查阅资料。
Visual F# Development Portal
http://msdn.microsoft.com/en-us/library/vstudio/ff730280.aspx
本文转自：http://msdn.microsoft.com/en-us/library/vstudio/dd233249.aspx
This topic contains links to information about all F# language keywords.
The following table shows all F# keywords in alphabetical order, together with brief descriptions and links to relevant topics that contain more information.
| Keyword | Link | Description |
|---|---|---|
| abstract | Indicates a method that either has no implementation in the type in which it is declared or that is virtual and has a default implementation. | |
| and | Used in mutually recursive bindings, in property declarations, and with multiple constraints on generic parameters. | |
| as | Used to give the current class object an object name. Also used to give a name to a whole pattern within a pattern match. | |
| assert | Used to verify code during debugging. | |
| base | Used as the name of the base class object. | |
| begin | In verbose syntax, indicates the start of a code block. | |
| class | In verbose syntax, indicates the start of a class definition. | |
| default | Indicates an implementation of an abstract method; used together with an abstract method declaration to create a virtual method. | |
| delegate | Used to declare a delegate. | |
| do | Loops: for...to Expression (F#) | Used in looping constructs or to execute imperative code. |
| done | In verbose syntax, indicates the end of a block of code in a looping expression. | |
| downcast | Used to convert to a type that is lower in the inheritance chain. | |
| downto | In a for expression, used when counting in reverse. | |
| elif | Used in conditional branching. A short form of else if. | |
| else | Used in conditional branching. | |
| end | In type definitions and type extensions, indicates the end of a section of member definitions. In verbose syntax, used to specify the end of a code block that starts with the begin keyword. | |
| exception | Used to declare an exception type. | |
| extern | Indicates that a declared program element is defined in another binary or assembly. | |
| false | Used as a Boolean literal. | |
| finally | Used together with try to introduce a block of code that executes regardless of whether an exception occurs. | |
| for | Used in looping constructs. | |
| fun | Used in lambda expressions, also known as anonymous functions. | |
| function | Used as a shorter alternative to the fun keyword and a match expression in a lambda expression that has pattern matching on a single argument. | |
| global | Used to reference the top-level .NET namespace. | |
| if | Used in conditional branching constructs. | |
| in | Used for sequence expressions and, in verbose syntax, to separate expressions from bindings. | |
| inherit | Used to specify a base class or base interface. | |
| inline | Used to indicate a function that should be integrated directly into the caller's code. | |
| interface | Used to declare and implement interfaces. | |
| internal | Used to specify that a member is visible inside an assembly but not outside it. | |
| lazy | Used to specify a computation that is to be performed only when a result is needed. | |
| let | Used to associate, or bind, a name to a value or function. | |
| let! | Used in asynchronous workflows to bind a name to the result of an asynchronous computation, or, in other computation expressions, used to bind a name to a result, which is of the computation type. | |
| match | Used to branch by comparing a value to a pattern. | |
| member | Used to declare a property or method in an object type. | |
| module | Used to associate a name with a group of related types, values, and functions, to logically separate it from other code. | |
| mutable | Used to declare a variable, that is, a value that can be changed. | |
| namespace | Used to associate a name with a group of related types and modules, to logically separate it from other code. | |
| new | Used to declare, define, or invoke a constructor that creates or that can create an object. Also used in generic parameter constraints to indicate that a type must have a certain constructor. | |
| not | Not actually a keyword. However, not struct in combination is used as a generic parameter constraint. | |
| null | Indicates the absence of an object. Also used in generic parameter constraints. | |
| of | Used in discriminated unions to indicate the type of categories of values, and in delegate and exception declarations. | |
| open | Used to make the contents of a namespace or module available without qualification. | |
| or | Used with Boolean conditions as a Boolean or operator. Equivalent to ||. Also used in member constraints. | |
| override | Used to implement a version of an abstract or virtual method that differs from the base version. | |
| private | Restricts access to a member to code in the same type or module. | |
| public | Allows access to a member from outside the type. | |
| rec | Used to indicate that a function is recursive. | |
| return | Used to indicate a value to provide as the result of a computation expression. | |
| return! | Used to indicate a computation expression that, when evaluated, provides the result of the containing computation expression. | |
| select | Used in query expressions to specify what fields or columns to extract. Note that this is a contextual keyword, which means that it is not actually a reserved word and it only acts like a keyword in appropriate context. | |
| static | Used to indicate a method or property that can be called without an instance of a type, or a value member that is shared among all instances of a type. | |
| struct | Used to declare a structure type. Also used in generic parameter constraints. Used for OCaml compatibility in module definitions. | |
| then | Used in conditional expressions. Also used to perform side effects after object construction. | |
| to | Used in for loops to indicate a range. | |
| true | Used as a Boolean literal. | |
| try | Used to introduce a block of code that might generate an exception. Used together with with or finally. | |
| type | Used to declare a class, record, structure, discriminated union, enumeration type, unit of measure, or type abbreviation. | |
| upcast | Used to convert to a type that is higher in the inheritance chain. | |
| use | Used instead of let for values that require Dispose to be called to free resources. | |
| use! | Used instead of let! in asynchronous workflows and other computation expressions for values that require Dispose to be called to free resources. | |
| val | Used in a signature to indicate a value, or in a type to declare a member, in limited situations. | |
| void | Indicates the .NET void type. Used when interoperating with other .NET languages. | |
| when | Used for Boolean conditions (when guards) on pattern matches and to introduce a constraint clause for a generic type parameter. | |
| while | Introduces a looping construct. | |
| with | Used together with the match keyword in pattern matching expressions. Also used in object expressions, record copying expressions, and type extensions to introduce member definitions, and to introduce exception handlers. | |
| yield | Used in a sequence expression to produce a value for a sequence. | |
| yield! | Used in a computation expression to append the result of a given computation expression to a collection of results for the containing computation expression. |
In addition, the following tokens are reserved in F# because they are keywords in the OCaml language:
| asr | land | lor | lsl | lsr | lxor | mod | sig |
If you use the --mlcompatibility compiler option, these keywords are available for use as identifiers.
The following tokens are reserved as keywords for future expansion of the F# language:
| 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 |
扫一扫
178
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
