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 typed interface description language • Primitive types • nat, int, nat{8-64}, int{8-64}, float{32,64}, bool, text • Composite types • vec, opt, record, variant • Reference types • func, service •0 码力 | 35 页 | 1.35 MB | 1 年前3
Java 源码剖析——彻底搞懂Reference 和ReferenceQueue链滴 Java 源码剖析——彻底搞懂 Reference 和 ReferenceQueue 作者:jesministrator 原文链接:https://ld246.com/article/1513083921948 来源网站:链滴 许可协议:署名-相同方式共享 4.0 国际 (CC BY-SA 4.0) 之前博主的一篇读书笔记——《深入理解Java虚拟机》系列之回收对象算法与四种引用类型博客中为 的原理进行更深入 了解。因此博主查看了抽象父类Reference和负责注册引用对象的引用队列ReferenceQueue的源码 在此和大家一起分享,并做了一些分析,感兴趣的同学可以一起学习。 Reference源码分析 首先我们先看一下Reference类的注释: /** * Abstract base class for reference objects. This class defines defines the * operations common to all reference objects. Because reference objects are * implemented in close cooperation with the garbage collector, this class may * not be subclassed directly. 引0 码力 | 6 页 | 283.24 KB | 1 年前3
Apache Shiro 1.2.x Reference Manual 中文翻译V. Integration 整合 15. Spring Framework 16. Guice 17. CAS VI. Tools 工具 Apache Shiro 1.2.x Reference Manual 中文翻译 2 6.1 7 7.1 8 8.1 8.2 8.3 8.4 8.5 18. Command Line Hasher VII. Index 目录 Cryptography Features 加密功能 Apache Shiro 1.2.x Reference Manual 中文翻译 3 apache-shiro-1.2.x-reference Chinese translation of Apache Shiro 1.2.x Reference Manual and the other article collection. The laset demos of the reference at https://github.com/waylau/apache-shiro-1.2.x-reference-demos.There is also a GitBook version of the book: http://waylau.gitbooks.io/apache-shiro-1-2-x-reference or http://www0 码力 | 196 页 | 2.34 MB | 1 年前3
Java 应用与开发 - Java 语言基础与流程控制0 码力 | 37 页 | 685.82 KB | 1 年前3
Kotlin 1.9.10 官方文档 中文版
Kotlin's static typing with the dynamic nature of data by utilizing both the full power of the Kotlin language and the opportunities provided by intermittent code execution in Jupyter notebooks and REPLs. layer of compatibility between Kotlin and Apache Spark. It allows Kotlin developers to use familiar language features such as data classes, and lambda expressions as simple expressions in curly braces or 的 ggplot。 londogard-nlp-toolkit is a library that provides utilities when working with natural language processing such as word/subword/sentence embeddings, word- frequencies, stopwords, stemming, and0 码力 | 3753 页 | 29.69 MB | 1 年前3
Kotlin 官方文档中文版 v1.9Kotlin's static typing with the dynamic nature of data by utilizing both the full power of the Kotlin language and the opportunities provided by intermittent code execution in Jupyter notebooks and REPLs. layer of compatibility between Kotlin and Apache Spark. It allows Kotlin developers to use familiar language features such as data classes, and lambda expressions as simple expressions in curly braces or 的 ggplot。 londogard-nlp-toolkit is a library that provides utilities when working with natural language processing such as word/subword/sentence embeddings, word-frequencies, stopwords, stemming, and0 码力 | 2049 页 | 45.06 MB | 1 年前3
Comprehensive Rust(简体中文) 202412the discussions relevant, i.e., keep the discussions related to how Rust does things vs some other language. It can be hard to find the right balance, but err on the side of allowing discussions since they – 枚举和模式匹配。 – 泛型。 – 无额外开销的外部函数接口(FFI)。 – 零成本抽象。 – 强大的编译器错误提示。 – 内置依赖管理器。 – 对测试的内置支持。 – 优秀的语言服务协议(Language Server Protocol)支持。 不用在这里占用过多时间。所有这些要点均会在后面进行详细讲解。 应该问问学生们都使用过哪些语言。根据答案侧重讲解 Rust 的不同特性: • 使用过 x_coord: &mut i32. The first one represents a shared reference which can be bound to different values, while the second represents an exclusive reference to a mutable value. 9.3 切片 切片 (slice) 的作用是提供对集合0 码力 | 359 页 | 1.33 MB | 10 月前3
httpd 2.4.25 中文文档that the size overhead added by the compression is larger than the data to be compressed. Multi-language error documents from 2.2.x may not work unless they are adjusted to the new syntax of mod_include's HTTP methods without interfering with authentication or authorization. mod_lua Embeds the Lua language into httpd, for configuration and small business logic functions. (Experimental) mod_log_debug WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License. Modules | Directives | FAQ | Glossary0 码力 | 2573 页 | 2.12 MB | 1 年前3
httpd 2.4.23 中文文档that the size overhead added by the compression is larger than the data to be compressed. Multi-language error documents from 2.2.x may not work unless they are adjusted to the new syntax of mod_include's HTTP methods without interfering with authentication or authorization. mod_lua Embeds the Lua language into httpd, for configuration and small business logic functions. (Experimental) mod_log_debug WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License. Modules | Directives | FAQ | Glossary0 码力 | 2559 页 | 2.11 MB | 1 年前3
httpd 2.4.20 中文文档that the size overhead added by the compression is larger than the data to be compressed. Multi-language error documents from 2.2.x may not work unless they are adjusted to the new syntax of mod_include's HTTP methods without interfering with authentication or authorization. mod_lua Embeds the Lua language into httpd, for configuration and small business logic functions. (Experimental) mod_log_debug WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License. Modules | Directives | FAQ | Glossary0 码力 | 2533 页 | 2.09 MB | 1 年前3
共 566 条
- 1
- 2
- 3
- 4
- 5
- 6
- 57













