【Rust日报】2021-11-30 —— 具有内置Rust支持的下一代JetBrains IDE

JetBrains Fleet: 具有内置Rust支持的下一代JetBrains IDE

JetBrains Fleet: Next generation JetBrains IDE with built-in Rust support

Fleet是JetBrains创建的一个功能齐全的轻量级编辑器，同时也是一个功能齐全的IDE：具有智能补全、重构、导航、调试以及 IDE 中一直存在的所有功能。

参考资料：

• 下一代 IDE 来了？有请 「Fleet」登场！

• Fleet Architecture overview

RustBelt: 保护Rust编程语言的基础

https://plv.mpi-sws.org/rustbelt/popl18/

Rust是一种新的系统编程语言，它有望克服高级别安全保证和低级别资源管理控制之间看似不可能的权衡。不幸的是，Rust的所有安全声明都没有得到正式证明，因此有充分的理由质疑它们是否真的有效。具体来说，Rust使用了一个强大的、基于所有权的类型系统，但随后通过内部使用不安全特性的库扩展了这个核心类型系统的表达能力。在本文中，我们给出了一种语言的第一个形式化（和机器检查的）安全证明