f*语言值得一学

微软公司的f-star语言，是一种函数式语言，可以用于正确性要求很高的代码的设计。

它可以通过工具生成c语言。

可以支持纯函数之类的，有较强的编译期查错的能力。唯一麻烦的，就是不支持循环，要习惯递归才行。

https://fstar-lang.org/

https://github.com/FStarLang/karamel

https://github.com/FStarLang/FStar