Redox团队用Rust重新实现了libc

厉害了，用Rust实现了 POSIX C 标准库，当前支持Redox和Linux

relibc

RedMonk编程语言排名，Rust上升了3位

language ranking

其实关注排名没什么意义

Failure库使用案例

redefining failure

法国一家研究院出品的OCaml改进论文

HAL INRIA貌似是法国国家信息及自动化研究院。该论文提出了ML风格编程语言的资源管理模型，旨在兼容OCmal理念和运行时模型，提议使用析构函数扩展OCmal，在系统编程所有权和借用模式之上来提升OCmal的安全性、效率。

没错，借用了Rust/C++中的一些概念。感兴趣的可以看看，对资源管理应该会有深入的了解。

Resource Polymorphism