JetBrains Fleet: 具有内置Rust支持的下一代JetBrains IDE
JetBrains Fleet: Next generation JetBrains IDE with built-in Rust support
Fleet是JetBrains创建的一个功能齐全的轻量级编辑器，同时也是一个功能齐全的IDE：具有智能补全、重构、导航、调试以及 IDE 中一直存在的所有功能。
参考资料：
RustBelt: 保护Rust编程语言的基础
https://plv.mpi-sws.org/rustbelt/popl18/
Rust是一种新的系统编程语言，它有望克服高级别安全保证和低级别资源管理控制之间看似不可能的权衡。不幸的是，Rust的所有安全声明都没有得到正式证明，因此有充分的理由质疑它们是否真的有效。具体来说，Rust使用了一个强大的、基于所有权的类型系统，但随后通过内部使用不安全特性的库扩展了这个核心类型系统的表达能力。在本文中，我们给出了一种语言的第一个形式化（和机器检查的）安全证明，该语言表示一个真实的Rust子集。我们的证明是可扩展的，因为对于每个使用不安全特性的新Rust库，我们可以说它必须满足什么样的验证条件才能被视为语言的安全扩展。我们对Rust生态系统中使用的一些最重要的库进行了验证。
论文地址：
RustBelt: Securing the Foundations of the RustProgramming Language
LRG系列课程：使用Gitoxide学习Rust
Learn Rust with gitoxide in 17 episodes
gitoxide是一个纯Rust实现的惯用、精简、快速和安全的的Git，如果你对Rust和Git两者中任意一个主题感兴趣，那么可以跟着gitoxide的作者Byron 在youtube上学习只有17集的系列课程《Learn Rust with Gitoxide》。
From 日报小组 odd-cat
社区学习交流平台订阅：
评论区
写评论还没有评论