标题：流，让你的Rust代码精益求精
Rust是一种现代的编程语言，具有高度的安全性和性能。然而，为了保证代码在运行时不出错， Rust 的类型系统会对代码进行严格的验证。这些验证确保了许多类型错误，在编译时被检测出来并阻止了潜在的运行时崩溃。但是，某些类型错误只有在运行时才会暴露出来，这给程序员带来了极大的麻烦。
为了解决这个问题， Flux 开源项目引入了一种新的Rust语言扩展，称为“流”。流提供了一种精细类型验证Rust代码的方法，能够发现并预防许多运行时错误。
通过使用流，程序员可以声明类型合约，这些类型合约描述了程序应该如何运行。然后，流会对这些合约进行检查，以确保它们在编译时被满足。这些合约可以描述关于函数的前置条件、后置条件，还可以约束函数输入参数或输出值的属性等等。
流的一个关键特性是，它在编译时检查所有类型合约，而不是在运行时才检查。这样，流就能够发现和预防像空指针引用、整数溢出等诸多潜在的运行时错误。
另外，流还支持泛型类型和高阶函数类型，这使得它可以发现更多的类型错误。同时，流与 Rust 的其他类型系统一样，在类型系统不完整的情况下，也会使用类型推导。
绝大部分程序员都希望他们的代码运行的尽可能快，同时不会崩溃。而使用 Flux 的流，就能达到这样的目标。流能够检查出更多的类型错误，而这样的类型错误可能会导致程序在某些情况下出错。流也能够减少运行时出错的可能性，令你的 Rust 代码能够达到精益求精的境界。
了解更多有趣的事情：https://blog.ds3783.com/