【Rust日报】2020-01-04 Rust将减少对苹果32位系统的支持

Rust将减少对苹果32位系统的支持

Rust团队遗憾地宣布，Rust 1.41.0 将于2020年1月30日发布，这是对32位Apple目标当前支持水平的最后一个版本。从Rust 1.42.0开始，这些目标的支持将降级为Tier 3。

该决定是在RFC 2837上发布的，并被编译器团队和发行团队接受。上述文章解释了做出这个更改的意义，以及对现有项目会产生什么样的影响。

受到此更改影响的主要是32位macOS（i686-apple-darwin），支持级别将从级别1降级为3级。这将影响在32位Mac硬件上使用编译器以及从以下版本任何其他平台的交叉编译32位macOS二进制文件。

此外，以下32位iOS系统将从2级降级为3级：

• armv7-apple-ios
• armv7s-apple-ios
• i386-apple-ios

更多详情请阅读Rust博客原文

Razor发布，一阶理论的模型发现者

razor-fol：一个用于解析和语法处理一阶（逻辑）公式的库。 razor-chase：一个用于构造一阶理论模型的库。剃刀：一阶理论的模型发现工具。

这是GitHub仓库的链接：https://github.com/salmans/rusty-razor

该项目仍处于起步阶段，但是作者进行了部分试验。证明定理的正确性和程序运行速度，因此在不久的将来或许能在Rust中看到类似的项目。

运行

solve

使用solve命令查找<input>文件中编写的理论模型：

razor solve -i <input>

--count参数限制了要构建的模型的数量：

razor solve -i <input> --count <number>

有界模型查找

与传统的模型查找器（例如Alloy）不同，Razor不需要用户为其构造的模型的大小提供界限。但是，当在带有无限的模型的理论上运行时，Razor进程可能永远不会终止。可以证明，在不满足要求的理论（即，没有模型的理论）上运行非常长的时间之后，Razor可以保证能够终止（尽管这可能需要很长时间才能完成）这是一阶逻辑的半判定性的直接结果。

为了保证有穷性，请使用--bound 带有domain参数值的命令，通过结果模型的元素数量限制结果模型的大小：

razor solve -i <input> --bound domain=<number>

前往GitHub仓库获取更多信息。

Nvim-rs：针对Neovim客户的Rust库

nvim-rs的第一个版本刚刚发布，该库用于在Rust中编写neovim客户程序。

它的主要功能是使用异步来正确嵌套请求，但我也将工作放在错误处理、常规处理、文档示例中。这个项目将会有更多的东西出现，目前很少有功能是固定的，所以尝试一下。