【Rust日報】2020-01-04 Rust將減少對蘋果32位系統的支持

2020 年 2 月 12 日
筆記

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客戶程序。

它的主要功能是使用異步來正確嵌套請求，但我也將工作放在錯誤處理、常規處理、文檔示例中。這個項目將會有更多的東西出現，目前很少有功能是固定的，所以嘗試一下。