主要观点：

• 在 Inko 中定义类型默认在堆上分配，如User类型。堆分配类型有灵活性，但有成本，如增加分配开销、指针追逐等。
• 最近在添加支持定义栈分配/内联类型，使用inline修饰符，实例在栈上分配，具有移动语义和单一所有权。
• 内联类型有局限性，如包含多个堆类型字段时借用时计数增加，字段不能直接赋值新值，以避免复杂行为和调试困难。
• 对于内联类型字段赋值问题有几种潜在方法：允许字段赋值结合按指针借用以支持 Swift 类似行为，但存在内存安全等问题；引入唯一类型，单引用避免字段赋值问题，但在组合类型等方面存在困难；使用逃逸分析替代堆分配，但分析保守，实际效果不确定；依赖编译时借检查，但存在返回借用等问题。

关键信息：

• Inko 中堆分配默认及相关示例。
• 内联类型定义及特性。
• 各种解决内联类型字段赋值问题方法的探讨及各自问题。

重要细节：

• 堆分配类型的成本包括分配本身及指针追逐等影响。
• 内联类型赋值操作的限制及原因。
• 不同方法尝试解决内联类型问题时的具体情况及遇到的困难，如 Swift 类似方法的内存安全问题、唯一类型在组合类型中的问题、逃逸分析的保守性及编译时借检查的实现困难等。