cloudflare公司开源了他们用Rust实现的QUIC协议库,可以和C/C++及其他语言方便集成。
可以用它方便构建QUIC Server。但目前还不是很成熟,可以先关注。
Serde作者dtolnay在GitHub上发起了一个列表,旨在让人们提交那些「本应该存在但还不存在」的库,请求实现它。
“实现请求”列表适用于那些已经进行了明确、清晰、成熟的大部分设计工作的想法,它应该准备好可以让参与者直接开始编写代码。
Niko在这篇博文里探讨了Polonius目前的不足。为了解决高阶子类型和trait匹配的问题,需要寻求更丰富的约束概念(存在量词等)。 这篇太学术。
不过,Polonius是Niko受面向逻辑编程语言prolog的启发而实现,这里面的术语Hereditary Harrop就是来自于它。感兴趣的可以深入了解下。
#proc_macro
利用wasm-bindgen和serde序列化库,让Rust和Webassembly的开发体验更上一层。
考虑到WebAssembly运行时错误的调试难度,这一点尤为重要!
dtolnay的新库。是对一种快速将浮点数转换为十进制字符串的算法的纯Rust实现。算法相关论文:
该音频中讨论了Rust 1.32的新语法dbg!,以及const_fn相关的一些内容。
x^x的n阶导数的Rust代码据作者说这个实现比其他语言的慢2倍
#rust_analyzer
Rust Analyzer是给IDE使用的Rust实验性模块化编译器前端。
日报订阅地址:
欢迎通过GitHub issues投稿。