static, 158 computation, 65, 76 done token, 108 conditional, 104 dynamic coercion expressions, 114, 124 constant, 68 dynamic type-test expressions, 113, 123 delayed, 76 elif branch, 105 delegate implementation, 96 else branch, 105 deterministic disposal, 112 entry points, 229 dynamic coercion, 114 EntryPoint attribute, 229 dynamic type-test, 113 enum types, 165 elaborated, 66 enumerable extraction, 106 evaluation of, 117 enums, 53 for loop, 107 equality attributes, 189 function, 73 equality constraint, 51 function and value definitions, 109 EqualityConditionalOn constraint list, 70 dependency, 190 list sequence, 92 evaluation lookup, 99 of active pattern results, 96 member constraint invocation, 101 of AddressOf expressions, 125 name resolution in, 237 of array expressions, 122 null, 93 of definition expressions, 123 object. See object expressions of dynamic coercion expressions, 124 object construction, 96 of dynamic type-test expressions, 123 operator, 97, 98 of field lookups, 121 parenthesized, 104 of for loops, 123 pattern-matching, 105 of function applications, 121 precedence in, 41 of function expressions, 122 quoted, 67, 114 of method applications, 121 range, 65, 91 of object expressions, 122 record construction, 71 of record expressions, 122 recursive, 112 of sequential execution expressions, 124 reraise, 108 of try-finally expressions, 125 sequence, 90 of try-with expressions, 125 sequence iteration, 106 of union cases, 121 sequential conditional, 105 of value references, 120 sequential execution, 104 of while loops, 123 shortcut and, 105 event types, 311 shortcut or, 105 events, 180 slice, 100 exception definitions, 166 static coercion, 113 exceptions, 302 syntactical elements of, 61 execution of F# code, 226 try-finally, 108 expression splices, 116 try-with, 108 expressions tuple, 69 address-of, 98 type-annotated, 113 application, 94 while-loop, 107 array. See array expression extension members, 168 array sequence, 92 defined by C#, 169 assertion, 109 field lookups, 121 assignment, 102 fields block, 104 additional, in classes, 161 builder, 76 name resolution for labels, 243 checking of, 65 filename extensions, 23
static, 158 done token, 108 dynamic coercion expressions, 114, 124 dynamic type-test expressions, 113, 123 elif branch, 105 else branch, 105 entry points, 229 EntryPoint attribute, 229 enum types, 165 enumerable extraction, 106 enums, 53 equality attributes, 189 equality constraint, 51 EqualityConditionalOn constraint dependency, 190 evaluation of active pattern results, 96 of AddressOf expressions, 125 of array expressions, 122 of definition expressions, 123 of dynamic coercion expressions, 124 of dynamic type-test expressions, 123 of field lookups, 121 of for loops, 123 of function applications, 121 of function expressions, 122 of method applications, 121 of object expressions, 122 of record expressions, 122 of sequential execution expressions, 124 of try-finally expressions, 125 of try-with expressions, 125 of union cases, 121 of value references, 120 of while loops, 123 event types, 311 events, 180 exception definitions, 166 exceptions, 302 execution of F# code, 226 expression splices, 116 expressions address-of, 98 application, 94 array. See array expression array sequence, 92 assertion, 109 assignment, 102 block, 104 builder, 76 checking of, 65 computation, 65, 76 conditional, 104 constant, 68 delayed, 76 delegate implementation, 96 deterministic disposal, 112 dynamic coercion, 114 dynamic type-test, 113 elaborated, 66 evaluation of, 117 for loop, 107 function, 73 function and value definitions, 109 list, 70 list sequence, 92 lookup, 99 member constraint invocation, 101 name resolution in, 237 null, 93 object. See object expressions object construction, 96 operator, 97, 98 parenthesized, 104 pattern-matching, 105 precedence in, 41 quoted, 67, 114 range, 65, 91 record construction, 71 recursive, 112 reraise, 108 sequence, 90 sequence iteration, 106 sequential conditional, 105 sequential execution, 104 shortcut and, 105 shortcut or, 105 slice, 100 static coercion, 113 syntactical elements of, 61 try-finally, 108 try-with, 108 tuple, 69 type-annotated, 113 while-loop, 107 extension members, 168 defined by C#, 169 field lookups, 121 fields additional, in classes, 161 name resolution for labels, 243 filename extensions, 23
FSharpSpec-4.0-latest.docx