base, 55 union cases, 121 class, 53, 155 union types, 152 coercion of, 56 automatically implemented interfaces for, comparison of, 188 153 condensation of generalized function types, compiled, 154 269 members in, 153 constrained, 47 unions, 53 conversion of, 178 unit type, 57, 107 delegate, 96, 166 units of measure. See measures dynamic conversion of, 58 unmanaged constraint, 51 enum, 165 val specification, 161 equivalence of, 56 value definition expressions, 109 exn (exception), 166 value definitions, 157, 261 flexible, 150 in modules, 207 implicit static members of, 259 static, 158 initial, 66 value references, 120 interface types of. See interface types value signatures, 217 logical properties of, 53 value types name resolution for, 242 zero value of, 119 nativeptr, 306 values partial static, 55 arity conformance for, 218 record, 150 processing of definitions, 262 reference, 54 runtime, 117 renaming, 149 signature conformance for, 218 runtime, 43 verbatim strings, 29 static, 43 virtual methods, 184 structural, 189 VolatileField attribute, 118 syntactic, 43 weakly typed quoted expression, 116 tuple. See tuple type while loops, 123 union, 152 while-loop expression, 107 unit, 107 whitespace, 25 unmanaged, 51 significance in lightweight syntax, 277 value, 54 with/end tokens, 151, 153 variable, 45 XML documentation tokens, 25 zero value of, 119 zero value, 119 undentation, 283, 285
base, 55 class, 53, 155 coercion of, 56 comparison of, 188 condensation of generalized function types, 269 constrained, 47 conversion of, 178 delegate, 96, 166 dynamic conversion of, 58 enum, 165 equivalence of, 56 exn (exception), 166 flexible, 150 implicit static members of, 259 initial, 66 interface types of. See interface types logical properties of, 53 name resolution for, 242 nativeptr, 306 partial static, 55 record, 150 reference, 54 renaming, 149 runtime, 43 static, 43 structural, 189 syntactic, 43 tuple. See tuple type union, 152 unit, 107 unmanaged, 51 value, 54 variable, 45 zero value of, 119 undentation, 283, 285 union cases, 121 union types, 152 automatically implemented interfaces for, 153 compiled, 154 members in, 153 unions, 53 unit type, 57, 107 units of measure. See measures unmanaged constraint, 51 val specification, 161 value definition expressions, 109 value definitions, 157, 261 in modules, 207 static, 158 value references, 120 value signatures, 217 value types zero value of, 119 values arity conformance for, 218 processing of definitions, 262 runtime, 117 signature conformance for, 218 verbatim strings, 29 virtual methods, 184 VolatileField attribute, 118 weakly typed quoted expression, 116 while loops, 123 while-loop expression, 107 whitespace, 25 significance in lightweight syntax, 277 with/end tokens, 151, 153 XML documentation tokens, 25 zero value, 119
FSharpSpec-4.1-latest.docx