constrained languages are easier to optimize
a day ago
- 原始指针语言（C、C++、不安全的Rust）由于别名分析和内存管理，难以优化。
- 受约束的语言（Haskell、Futhark、SQL）通过引用透明性或声明式语义等额外结构，赋予编译器更多优化自由。
- 例如：Haskell的流融合将嵌套循环降至常量空间；Futhark在GPU任务上性能优于C；SQL性能通过数十年的查询规划不断改进。
- 性能热点可以通过对相关部分使用结构化语言来处理，而原始指针则保留给罕见情况。
- 原始指针用于特定优化（如NaN装箱、异或链表），但应选择性地使用。
- Rust通过可选的不安全代码、迭代器融合和边界检查消除，相比C有所改进。
- 目标应该是语言间的轻松互操作，通过内嵌领域特定语言或无缝外部函数接口，为每项任务使用最佳工具。