sequential execution expressions, 104, 124 try-with expressions, 108, 125 shortcut and expression, 105 tuple type, 46 shortcut or expression, 105 type signature elements, 217 fresh, 45 signature files, 215 meanings of, 43 anonymous, 224 named, 45 compilation order of, 222 statically resolved variable, 46 contents of, 223 type abbreviations, 53, 149 signatures type annotations conformance of, 218 over-constrained, 260 declarations of, 216 type applications member, 217 lexical analysis of, 287 module, 206 type definition group, 145 of namespace declaration groups, 205 type definition signatures, 217 type definition, 217 type definitions, 43, 53 value, 217 abstract members in, 183 slice expressions, 100 checking of, 146 source code files, 23 delegate, 166 sprintf function, 93 enum, 165 stack allocation, 312 exception, 166 static coercion expressions, 113 generic, 53 static initializer grammar of, 141 execution of, 226 interface, 162 static initializers, 158 interfaces in, 186 static members, 170 kinds of, 144 static types, 44 location of, 144 strings, 28 reference, 54 format, 93 sealed, 54 newlines in, 29 struct, 163 triple-quoted, 29 type extensions, 167 strongly typed quoted expressions, 115 type functions, 207 struct types signature conformance for, 220 default constructor in, 164 type inference, 13, 45 struct/end tokens, 163 type inference environment, 45 structs, 53 type kind inference, 148 structural equality, 188 type parameter definitions, 52 structural types, 189 type providers, 19 StructuralComparison attribute, 190 type variable StructuralEquality attribute, 189 definition site, 55 symbolic operators, 30, 40 type variables, 43 syntactic types, 44 name resolution for, 243 System.Object, 75 rigid, 55 System.Reflection objects, 233 type-annotated expressions, 113 System.Tuple, 69 type-annotated patterns, 136 System.Type objects, 233 typedefof operator, 233 text formatting, 312 type-directed conversions, 178 ThreadStatic attribute, 110, 208 typeof operator, 233 tokens types hidden, 33, 278 anonymous variable. See anonymous try-finally expressions, 108 variable type evaluation of, 125 array. See array type
sequential execution expressions, 104, 124 shortcut and expression, 105 shortcut or expression, 105 signature elements, 217 signature files, 215 anonymous, 224 compilation order of, 222 contents of, 223 signatures conformance of, 218 declarations of, 216 member, 217 module, 206 of namespace declaration groups, 205 type definition, 217 value, 217 slice expressions, 100 source code files, 23 sprintf function, 93 stack allocation, 312 static coercion expressions, 113 static initializer execution of, 226 static initializers, 158 static members, 170 static types, 44 strings, 28 format, 93 newlines in, 29 triple-quoted, 29 strongly typed quoted expressions, 115 struct types default constructor in, 164 struct/end tokens, 163 structs, 53 structural equality, 188 structural types, 189 StructuralComparison attribute, 190 StructuralEquality attribute, 189 symbolic operators, 30, 40 syntactic types, 44 System.Object, 75 System.Reflection objects, 233 System.Tuple, 69 System.Type objects, 233 text formatting, 312 ThreadStatic attribute, 110, 208 tokens hidden, 33, 278 try-finally expressions, 108 evaluation of, 125 try-with expressions, 108, 125 tuple type, 46 type fresh, 45 meanings of, 43 named, 45 statically resolved variable, 46 type abbreviations, 53, 149 type annotations over-constrained, 260 type applications lexical analysis of, 287 type definition group, 145 type definition signatures, 217 type definitions, 43, 53 abstract members in, 183 checking of, 146 delegate, 166 enum, 165 exception, 166 generic, 53 grammar of, 141 interface, 162 interfaces in, 186 kinds of, 144 location of, 144 reference, 54 sealed, 54 struct, 163 type extensions, 167 type functions, 207 signature conformance for, 220 type inference, 13, 45 type inference environment, 45 type kind inference, 148 type parameter definitions, 52 type providers, 19 type variable definition site, 55 type variables, 43 name resolution for, 243 rigid, 55 type-annotated expressions, 113 type-annotated patterns, 136 typedefof operator, 233 type-directed conversions, 178 typeof operator, 233 types anonymous variable. See anonymous variable type array. See array type
FSharpSpec-4.1-latest.docx