Introducing NativeScript
Introducing NativeScript TJ VanToll | @tjvantoll nativescript.org NativeScript Timeline • 0.9 • Public Beta • March 5th, 2015 • 1.0 • Go-live license • Windows Phone support • May 20150 码力 | 47 页 | 3.36 MB | 1 年前3Introducing Apache Wicket
Introducing Apache Wicket ● Component oriented frameworks difer from classic web frameworks by building a model of requested page on the server side and generating the HTML to send back according to0 码力 | 53 页 | 1.85 MB | 1 年前3Ubuntu Desktop Training 2009
....................... xiv 5. Summary ............................................. xvi 1. Introducing Ubuntu ......................................... 1 1.1. About Open Source ................... .......................... 92 4. Using OpenOffice.org Applications ................. 93 4.1. Introducing the OpenOffice.org Suite .................................................................. 94 .......................... 229 7. Managing Graphics and Photos ..................... 231 7.1. Introducing Graphics Applications ...... 232 7.2. Viewing and Managing Photos with F-Spot ...............0 码力 | 428 页 | 57.45 MB | 1 年前3Back To Basics Algorithms
main() { std::vectortable = // ... /* ... */; // Find the youngest person Introducing std::min_element() 21 11 // ... auto const pos = std::min_element( begin(table) main() { std::vector table = // ... /* ... */; // Find the youngest person Introducing std::min_element() 26 11 // ... auto const pos = std::min_element( begin(table) main() { std::vector table = // ... /* ... */; // Find the youngest person Introducing std::ranges::min_element() 27 20 // ... auto const pos = std::ranges::min_element( 0 码力 | 99 页 | 19.12 MB | 5 月前3Theorem Proving in Lean Release 3.23.0
Abstraction and Evaluation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 2.4 Introducing Definitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 3.4 Introducing Auxiliary Subgoals . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Programming in Lean. In this tutorial, however, we will generally rely on #reduce instead. 2.4 Introducing Definitions As we have noted above, declaring constants in the Lean environment is a good way0 码力 | 173 页 | 777.93 KB | 1 年前3Back to Basics: Design Patterns
design patterns as another tool to add to your developer toolbox. We will start this talk by introducing the taxonomy of design patterns at a high level, how to read a UML diagram (as a quick refresher) Surely a solution must exist to this common problem ○ So there has to be a better way... 20 Introducing--Design Patterns!Design Patterns 21Design Pattern (1/2) ● A common repeatable solution for But what if we also need to modify other behaviors? ■ e.g. The sf::Text.draw() function? 59 Introducing--Structural Design Patterns (Our second category)Structural Design Pattern Focus on using inheritance0 码力 | 96 页 | 2.10 MB | 5 月前3The Zig Programming Language 0.9.1 Documentation
written within one or more test declarations can be used to ensure behavior meets expectations: introducing_zig_test.zig 1 const std = @import("std"); 2 3 test "expect addOne adds one to 41" { 4 5 return number + 1; 15 } Shell 1 $ zig test introducing_zig_test.zig 2 1/1 test "expect addOne adds one to 41"... OK 3 All 1 tests passed. The introducing_zig_test.zig code sample tests the function top-level test decla 5 // The next line alone does not cause "introducing_zig_test.zig" tests to run. 6 const imported_file = @import("introducing_zig_test.zig"); 7 8 test { 9 // To run nested container0 码力 | 234 页 | 7.90 MB | 1 年前3The Hitchhiker’s Guide to Logical Verification
nat : Type | zero : nat | succ : nat → nat The first line announces to the world that we are introducing a new type called nat, intended to represent the natural numbers. The second and third line de- we can factor it out and put it next to the function’s name, as a parameter, before the colon introducing the type of the function (excluding the parameter m): def power2 (m : N) : N → N | nat.zero := Notice that the recursive call to power2 does not take m as argument. In the entire def block introducing power2, m is fixed as the first argument. Outside the block, power2 is a (curried) binary function0 码力 | 215 页 | 1.95 MB | 1 年前3The Zig Programming Language 0.10.1 Documentation
written within one or more test declarations can be used to ensure behavior meets expectations: introducing_zig_test.zig 1 const std = @import("std"); 2 3 test "expect addOne adds one to 41" { 4 5 return number + 1; 15 } Shell 1 $ zig test introducing_zig_test.zig 2 1/1 test.expect addOne adds one to 41... OK 3 All 1 tests passed. The introducing_zig_test.zig code sample tests the function top-level test decla 5 // The next line alone does not cause "introducing_zig_test.zig" tests to run. 6 const imported_file = @import("introducing_zig_test.zig"); 7 8 test { 9 // To run nested container0 码力 | 239 页 | 8.03 MB | 1 年前3Quickly Testing Qt Desktop Applications With Approval Tests
Testing –Error-prone Things –Approval Tests •Extras –Tools –Summary58 Introducing ApprovalTests.cpp.Qt59 Introducing ApprovalTests.cpp.Qt • github.com/approvals/ApprovalTests.cpp.Qt Catch2 ApprovalTests ApprovalTests.cpp Qt5 Test Qt5 Widgets ApprovalTests.cpp.Qt60 Introducing ApprovalTests.cpp.Qt •Goals • Rapidly start testing Qt code – Useful even if you don’t use Approval Tests! • Approval Tests0 码力 | 77 页 | 6.96 MB | 5 月前3
共 1000 条
- 1
- 2
- 3
- 4
- 5
- 6
- 100