【Rust日报】 2019-01-23

本文转载自：https://rust.cc/article?id=9797e285-739e-4719-95b2-32a8956d6dde

请享受QUIC和Rust吧！

#quic #http3

cloudflare公司开源了他们用Rust实现的QUIC协议库，可以和C/C++及其他语言方便集成。

可以用它方便构建QUIC Server。但目前还不是很成熟，可以先关注。

• Read More
• quiche

---

“实现请求”列表

#awesome #requestforimpl

Serde作者dtolnay在GitHub上发起了一个列表，旨在让人们提交那些「本应该存在但还不存在」的库，请求实现它。

“实现请求”列表适用于那些已经进行了明确、清晰、成熟的大部分设计工作的想法，它应该准备好可以让参与者直接开始编写代码。

request-for-implementation

---

Niko: Polonius与Hereditary Harrop谓词

#polonius

Niko在这篇博文里探讨了Polonius目前的不足。为了解决高阶子类型和trait匹配的问题，需要寻求更丰富的约束概念（存在量词等）。 这篇太学术。

不过，Polonius是Niko受面向逻辑编程语言prolog的启发而实现，这里面的术语Hereditary Harrop就是来自于它。感兴趣的可以深入了解下。

• wiki/Harrop_formula
• Read More

---

「宏」proc_macro2库的文档已经更新

#proc_macro

/0.4/proc_macro2

---

将Serde类型导出为TypeScript的类型

#serde #typescript #wasm

利用wasm-bindgen和serde序列化库，让Rust和Webassembly的开发体验更上一层。

1. 使用serde序列化，可以让前端和Rust端在开发过程中数据的更改自动同步，减少手工更改的工作量。
2. 可以同时对Rust代码和前端组件进行类型检查，在编译期间而不是在运行时捕获类型错误。

考虑到WebAssembly运行时错误的调试难度，这一点尤为重要！

Read More

---

ryu: 快速浮点数到字符串的转换

#ryu #floatpoint

dtolnay的新库。是对一种快速将浮点数转换为十进制字符串的算法的纯Rust实现。算法相关论文：

• Ryū: fast float-to-string conversion
• ryu

Newrustacean Podcast: 谈谈D(大)b(表)g(哥)

#podcast #newrustacean

该音频中讨论了Rust 1.32的新语法dbg!，以及const_fn相关的一些内容。

Read More

---

floating_bar: 支持有效处理有理数而不损失精度

• floating_bar
• 相关博文

---

用于计算x^x的n阶导数的Rust代码

据作者说这个实现比其他语言的慢2倍

Read More

---

rust-analyzer指南

#rust_analyzer

Rust Analyzer是给IDE使用的Rust实验性模块化编译器前端。

Read More

---

日报订阅地址：

• Telgram Channel
• 阿里云语雀订阅
• Stemmit
• Rust.cc论坛
• GitHub

欢迎通过GitHub issues投稿。