Inko 语言的借用检查器：堆栈分配与编译时检查的权衡

Inko 语言的设计者在探索堆栈分配和借用检查的最佳方案。默认情况下，Inko 类型在堆上分配，提供灵活性但存在性能开销。为了提高性能，引入了 `inline` 修饰符以支持堆栈分配，但这也带来了新的挑战：如何在保证内存安全的前提下处理借用和移动语义。文章探讨了多种方案，包括允许字段赋值、引入唯一类型和逃逸分析，最终认为编译时借用检查是最佳方案，但实现复杂度高，短期内不会实现。目前，Inko 仍然采用不允许内联类型字段重新赋值的策略。