The Zig Programming Language 0.12.0 DocumentationThis causes less work for both humans and computers to do when reading code, and creates more optimization opportunities. The extern keyword or @extern builtin function can be used to link against a function become semantically inlined at the callsite. This is not a hint to be possibly observed by optimization passes, but has implications on the types and values involved in the function call. Unlike normal understands error types, it can pre-weight branches in favor of errors not occurring. Just a small optimization benefit that is not available in other languages. See also: defer if switch An error union0 码力 | 241 页 | 7.37 MB | 1 年前3
The Zig Programming Language 0.11.0 DocumentationThis causes less work for both humans and computers to do when reading code, and creates more optimization opportunities. 7.1. Identifiers Variable identifiers are never allowed to shadow identifiers understands error types, it can pre-weight branches in favor of errors not occurring. Just a small optimization benefit that is not available in other languages. See also: defer if switch An error union async keyword used with function call syntax. 6 async_kw, 7 8 /// Prevents tail call optimization. This guarantees that the return 9 /// address will point to the callsite, as opposed to0 码力 | 238 页 | 7.80 MB | 1 年前3
The Zig Programming Language 0.4.0 DocumentationThis causes less work for both humans and computers to do when reading code, and creates more optimization opportunities. Global Variables Global variables are considered to be a top level declaration understands error types, it can pre-weight branches in favor of errors not occurring. Just a small optimization benefit that is not available in other languages. See also: defer if switch An error union file an issue for this and link it here. Zig does not take advantage of LLVM's allocation elision optimization for coroutines. It crashed LLVM when I tried to do it the first time. This is related to the other0 码力 | 207 页 | 5.29 MB | 1 年前3
The Zig Programming Language 0.9.1 DocumentationThis causes less work for both humans and computers to do when reading code, and creates more optimization opportunities. Identifiers Variable identifiers are never allowed to shadow identifiers from understands error types, it can pre-weight branches in favor of errors not occurring. Just a small optimization benefit that is not available in other languages. See also: defer if switch An error union keyword used with function call syntax. 12 async_kw, 13 14 /// Prevents tail call optimization. This guarantees that the return 15 /// address will point to the callsite, as opposed0 码力 | 234 页 | 7.90 MB | 1 年前3
The Zig Programming Language 0.7.1 DocumentationThis causes less work for both humans and computers to do when reading code, and creates more optimization opportunities. Global Variables Global variables are considered to be a top level declaration understands error types, it can pre-weight branches in favor of errors not occurring. Just a small optimization benefit that is not available in other languages. See also: defer if switch An error union to async keyword used with function call synt async_kw, /// Prevents tail call optimization. This guarantees that th /// address will point to the callsite, as opposed to the ca0 码力 | 225 页 | 5.74 MB | 1 年前3
The Zig Programming Language 0.6.0 DocumentationThis causes less work for both humans and computers to do when reading code, and creates more optimization opportunities. Global Variables Global variables are considered to be a top level declaration understands error types, it can pre-weight branches in favor of errors not occurring. Just a small optimization benefit that is not available in other languages. See also: defer if switch An error union to async keyword used with function call synt async_kw, /// Prevents tail call optimization. This guarantees that th /// address will point to the callsite, as opposed to the ca0 码力 | 214 页 | 5.37 MB | 1 年前3
The Zig Programming Language 0.10.1 DocumentationThis causes less work for both humans and computers to do when reading code, and creates more optimization opportunities. Identifiers Variable identifiers are never allowed to shadow identifiers from understands error types, it can pre-weight branches in favor of errors not occurring. Just a small optimization benefit that is not available in other languages. See also: defer if switch An error union keyword used with function call syntax. 12 async_kw, 13 14 /// Prevents tail call optimization. This guarantees that the return 15 /// address will point to the callsite, as opposed0 码力 | 239 页 | 8.03 MB | 1 年前3
The Zig Programming Language 0.8.1 DocumentationThis causes less work for both humans and computers to do when reading code, and creates more optimization opportunities. Container Level Variables Container level variables have static lifetime and understands error types, it can pre-weight branches in favor of errors not occurring. Just a small optimization benefit that is not available in other languages. See also: defer if switch An error union to async keyword used with function call synt async_kw, /// Prevents tail call optimization. This guarantees that th /// address will point to the callsite, as opposed to the ca0 码力 | 234 页 | 6.01 MB | 1 年前3
Agda User Manual v2.6.1.3functions are not removed completely, but instead replaced by a placeholder value _. The crucial optimization enabled by the erasure annotation is compiling λ {n} → f {suc n} to simply f, removing a terrible Projection-likeness is an optimization that reduces the size of terms by dropping parameter-like reconstructible function arguments. Thus, it is advisable to leave this optimization on, the flag is meant for lot of unary manipulations and doesn’t use builtin arithmetic likely becomes slower due to this optimization. If you find that this is the case, it is recommended to use a different, but isomorphic type0 码力 | 305 页 | 375.80 KB | 1 年前3
Agda User Manual v2.6.1.2functions are not removed completely, but instead replaced by a placeholder value _. The crucial optimization enabled by the erasure annotation is compiling λ {n} → f {suc n} to simply f, removing a terrible Projection-likeness is an optimization that reduces the size of terms by dropping parameter-like reconstructible function arguments. Thus, it is advisable to leave this optimization on, the flag is meant for lot of unary manipulations and doesn’t use builtin arithmetic likely becomes slower due to this optimization. If you find that this is the case, it is recommended to use a different, but isomorphic type0 码力 | 304 页 | 375.60 KB | 1 年前3
共 46 条
- 1
- 2
- 3
- 4
- 5













