第三届中国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 • Composite

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::ForwardKinematicsInterface fk_interfacei start = std::chrono::high_resotution_ctock::now(); (int k = 9; k < muttiptiery kt+) { (int = 9; < iterations; i++r) { fk_interface.set_joints(rand

​​ 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 playgrounds

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 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

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 Gradle

Kotlin Language Documentation Table of Contents Overview Using Kotlin for Server-side Development Using Kotlin for Android Development Kotlin JavaScript Overview Kotlin/Native for Native Kotlin Different Components Compatibility Guide for Kotlin 1.3 FAQ FAQ Comparison to Java Programming Language 520 520 524 529 537 546 554 558 560 567 570 570 576 577 590 590 594 6 Overview Java-based technology stacks and a smooth learning curve: Expressiveness: Kotlin's innovative language features, such as its support for type-safe builders and delegated properties, help build powerful

Kotlin 1.4 Online Event October 12, 2020 @sveta_isakova Kotlin 1.4 Language Features Svetlana Isakova Kotlin 1.4 Language Features • SAM conversions for Kotlin classes • Explicit API mode interfaces SAM = Single abstract method interface Action { fun run() } SAM conversion Ability to pass a lambda or callable reference when a SAM interface is expected runAction { println("I'm println("I'm Kotlin 1.3") } SAM conversion for a Java interface public interface Action { void run(); } public static void runAction(Action action) { action.run(); } Java: Kotlin: runAction

Kotlin Language Documentation Table of Contents Overview Using Kotlin for Server-side Development Using Kotlin for Android Development Kotlin JavaScript Overview Kotlin/Native for Native Coroutines Evolution Kotlin Evolution Stability of Different Components FAQ FAQ Comparison to Java Programming Language 226 228 229 236 240 250 250 250 254 254 255 255 259 259 266 266 270 270 278 existing Java-based technology stacks and a smooth learning curve: Expressiveness: Kotlin's innovative language features, such as its support for type-safe builders and delegated properties, help build powerful

Introduction Zig is a general-purpose programming language and toolchain for maintaining robust, optimal, and reusable software. Robust - behavior is correct even for edge cases such as out of memory constraints. Maintainable - precisely communicate intent to the compiler and other programmers. The language imposes a low overhead to reading code and is resilient to changing requirements and environments ArgNotFound error union 2 type: anyerror!i32 value: 1234 Primitive Types Name C Equivalent Description i8 int8_t signed 8-bit integer u8 uint8_t unsigned 8-bit integer i16 int16_t signed 16-bit integer

Introduction Zig is a general-purpose programming language and toolchain for maintaining robust, optimal, and reusable software. Robust - behavior is correct even for edge cases such as out of memory constraints. Maintainable - precisely communicate intent to the compiler and other programmers. The language imposes a low overhead to reading code and is resilient to changing requirements and environments ArgNotFound error union 2 type: anyerror!i32 value: 1234 Primitive Types Name C Equivalent Description i8 int8_t signed 8-bit integer u8 uint8_t unsigned 8-bit integer i16 int16_t signed 16-bit integer