Inko

Inko 是一种静态类型编程语言，旨在使编写并发、可靠、确定性和内存安全的软件变得简单。内存自动管理，无需使用垃圾回收器。相反，Inko 采用一种单一所有权和运行时引用计数的形式，内存管理是确定性的。Inko 的类型系统使得数据竞争不可能发生，无需使用锁或其他同步机制，也无需在线程间共享数据结构时复制它们。