【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投稿。

你可能感兴趣的:(【Rust日报】 2019-01-23)