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