Candid: the interface description language of the Internet Computer smart contracts - 陈研
第三届中国Rust开发者大会 Candid: the interface description language of the Internet Computer smart contracts Yan Chen DFINITY Foundation Rust China Conf 2023 −− How DFINITY uses procedure macro to extend Rust modifying the compiler. • Running example: Candid, a strongly typed serialization library • Extended language features: • Backward compatible API upgrades with subtyping • Type reflection • Structural typing nat) Decode as () Decode as (record { name : text }) Candid: a strongly typed interface description language • Primitive types • nat, int, nat{8-64}, int{8-64}, float{32,64}, bool, text • Composite0 码力 | 35 页 | 1.35 MB | 1 年前3RSQLite: SQLite Interface for R
‘RSQLite’ January 21, 2024 Title SQLite Interface for R Version 2.3.5 Date 2024-01-20 Description Embeds the SQLite database engine in R and provides an interface compliant with the DBI package. The source . . . . . . . . . . . . . . . . . . . . . 14 Index 16 datasetsDb A sample sqlite database Description This database is bundled with the package, and contains all data frames in the datasets package dbDisconnect(db) 4 dbBegin_SQLiteConnection dbBegin_SQLiteConnection SQLite transaction management Description By default, SQLite is in auto-commit mode. dbBegin() starts a SQLite transaction and turns auto-0 码力 | 16 页 | 119.52 KB | 1 年前3Brief Notes on Introduction to Gimp Interface
Josianne Mallia 1 Brief Notes on Introduction to Gimp Interface Installing GIMP Go to www.gimp.org Download the recent version according to your Operating System! Open – Install and follow follow instructions. (Do not Panic… yes it can be a bit slow!!!) Gimp Interface • SINGLE WINDOW MODE To work in a single window Windows – Single Window Mode • TO ADD TOOLS AND TABS MODIFY BASIC INTERFACE COLOUR EDIT-PREFERENCE Interface – Themes and click on the desired Theme Josianne Mallia 2 Brief Notes on Introduction to Gimp Interface The Tile0 码力 | 8 页 | 2.37 MB | 1 年前3KiCad 7.0 Command-Line Interface
KiCad Command-Line Interface The KiCad Team . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Table of Contents Introduction to the KiCad Command-Line Interface kicad-cli commands Footprint PCB Schematic Symbol Version 2 3 3 4 12 17 18 1 Reference Introduction to the KiCad Command-Line Interface KiCad provides a command-line interface, which is available by running the kicad-cli binary. With the command-line interface, you can perform a number of actions0 码力 | 20 页 | 262.67 KB | 1 年前3KiCad 8.0 Command-Line Interface
KiCad Command-Line Interface The KiCad Team . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Table of Contents Introduction to the KiCad Command-Line Interface kicad-cli commands Footprint PCB Schematic Symbol Version 2 3 3 4 16 23 24 1 Reference Introduction to the KiCad Command-Line Interface KiCad provides a command-line interface, which is available by running the kicad-cli binary. With the command-line interface, you can perform a number of actions0 码力 | 27 页 | 373.33 KB | 1 年前3Code Generation from Unified Robot Description Format for Accelerated Robotics
improvements of more than 500x overthe state-of-the-art Compilertakes in standard Unified Robot Description Format (URDF) files and generates optimized code Setup data structure to optimize SIMD execution _kinematics.cpp:1:9: rning: #pragma once in main fitLe 1 | 拖pragma once 4 THE CODE 35 fk_interface { fx = 9; niter = 6; grad_ norm = 6; SuccesS = std: :string what < T> KinematicInterfaceConstraint joints()>::Random(); fk_interface::ForwardKinematicsInterfacefk_interfacei start = std::chrono::high_resotution_ctock::now(); (int k = 9; k < muttiptiery kt+) { (int = 9; < iterations; i++r) { fk_interface.set_joints(rand 0 码力 | 93 页 | 9.29 MB | 5 月前3The Swift Programming Language
Welcome to Swift About Swift Swift is a new programming language for iOS and OS X apps that builds on the best of C and Objective-C, without the constraints of C compatibility. Swift adopts modules, enabling framework adoption of modern language technologies without disruption. Thanks to this groundwork, we can now introduce a new language for the future of Apple software development. Swift portions of the language. Swift is friendly to new programmers. It is the first industrial-quality systems programming language that is as expressive and enjoyable as a scripting language. It supports playgrounds0 码力 | 525 页 | 4.68 MB | 1 年前3firebird 40 language reference
Firebird 4.0 Language Reference Dmitry Filippov, Alexander Karpeykin, Alexey Kovyazin, Dmitry Kuzmenko, Denis Simonov, Paul Vinkenoog, Dmitry Yemanov, Mark Rotteveel Version 2.10, 15 December 2023 pull request with the necessary changes. Preface 1 Table of Contents 1. About the Firebird 4.0 Language Reference . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 2. SQL Language Structure. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .0 码力 | 778 页 | 3.43 MB | 1 年前3Haskell 2010 Language Report
Haskell 2010 Language Report Simon Marlow (editor) Copyright notice. The authors and publisher intend this Report to belong to the entire Haskell community, and grant permission to copy and distribute presented as such, and that it does not claim to be a definition of the language Haskell 2010. Contents I The Haskell 2010 Language 1 1 Introduction 3 1.1 Program Structure . . . . . . . . . . . . . the I/O Monad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90 8 Foreign Function Interface 91 8.1 Foreign Languages . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .0 码力 | 329 页 | 1.43 MB | 1 年前3Kotlin Language Documentation 1.9.20
Kotlin Language Documentation 1.9.20 Table of Contents Kotlin Docs Get started with Kotlin Install Kotlin Create your powerful application with Kotlin Is anything missing? Welcome to our tour of Install Kotlin 1.9.20 What's new in Kotlin 1.9.0 IDE support New Kotlin K2 compiler updates Language Kotlin/JVM Kotlin/Native Kotlin Multiplatform Kotlin/Wasm Kotlin/JS Gradle Standard library to Kotlin 1.9.20-RC2 What's new in Kotlin 1.8.20 IDE support New Kotlin K2 compiler updates Language New Kotlin/Wasm target Kotlin/JVM Kotlin/Native Kotlin Multiplatform Kotlin/JavaScript Gradle0 码力 | 1299 页 | 32.44 MB | 1 年前3
共 1000 条
- 1
- 2
- 3
- 4
- 5
- 6
- 100