From Functions to Coroutinesparallelizable ▪ Results can be cachedPure Functions Working with a pure function is based on discipline Use common functions, meta-functions, constexpr, or consteval functions ▪ Function int powFunc(int0 码力 | 29 页 | 510.47 KB | 6 月前3
A Security Guide for Kotlin Developersexpansive side. 1. 2. 7 Kiuwan | Security Guide for Kotlin Developers Exception handling is a discipline of its own in programming. So when developer teams are busy coding their app, it might be strayed0 码力 | 13 页 | 1.80 MB | 1 年前3
High-Performance Cross-Platform Architecture: C++20 Innovationsplatform • We can isolate platforms • We can minimize redundancy • With C++ 20, concepts, and some discipline we can have it all at once • https://github.com/noahstein/Ark0 码力 | 75 页 | 581.83 KB | 6 月前3
Irksome C++“no·men·cla·ture noun � “the devising or choosing of names for things, especially in a science or other discipline” • I’m certainly not suggesbng that it’s feasible, at this late date, to adjust many (or even0 码力 | 15 页 | 3.03 MB | 6 月前3
generic graph librariesstandardization 。Lessons Learned Generic Programming and Generic Libraries *,Generic programming is a sub-discipline of computer science that deals with finding abstract representations of efficient algorithms, data0 码力 | 76 页 | 6.59 MB | 6 月前3
Some Things C++ Does Rightto be used tsit.Use(); } 152The beauty of friend • Obviously, if you leave it to programmers’ discipline, you’ll get what you deserve 153The beauty of friend class TwoStepInitThing { public: TwoStepInitThing();0 码力 | 228 页 | 2.47 MB | 6 月前3
An Introduction to Leanof information can be inferred from an understanding of the types of objects involved. A typing discipline also makes it possible for a system like Lean to detect and flag errors, such as sending the wrong0 码力 | 48 页 | 191.92 KB | 1 年前3
The Hitchhiker’s Guide to
Logical Verificationevaluate to. They introduce a discipline that is followed somewhat implicitly in mathematics. In principle, nothing prevents a mathematician from stating 1 ∈ 2, but a typing discipline would mark this as the0 码力 | 215 页 | 1.95 MB | 1 年前3
Agda User Manual v2.6.0.1is. Between these two families of languages come languages, which may or may not have a typing discipline. Most imperative languages do not come with a rich type system. For example, C [http://en.wikipedia0 码力 | 256 页 | 247.15 KB | 1 年前3
Agda User Manual v2.6.0is. Between these two families of languages come languages, which may or may not have a typing discipline. Most imperative languages do not come with a rich type system. For example, C [http://en.wikipedia0 码力 | 256 页 | 246.87 KB | 1 年前3
共 111 条
- 1
- 2
- 3
- 4
- 5
- 6
- 12













