functional-programming - 如何在 Scheme 中使用声明(类型、内联、优化)？

Question

如何声明参数的类型以绕过类型检查？

如何优化速度以告诉编译器尽可能快地运行函数，如(优化速度(安全 0))？

如何在 Scheme 中创建内联函数？

如何使用数据对象的未装箱表示？

最后，这些是否重要或必要？我可以依靠我的编译器来进行这些优化吗？

谢谢，昆建。

Answer 1

1. 您不能以任何可移植的方式执行任何这些操作。
2. 您可以使用宏获得“某种”内联，但几乎总是要尝试这样做。编写 Scheme(或任何其他语言)编译器的人通常比您更擅长决定何时最好内联函数。
3. 您不能将值拆箱；一些 Scheme 编译器会将其作为一种优化来执行，但不会以任何可见的方式进行(因为它是一种优化——所以它应该保留语义)。
4. 至于你的最后一个问题，答案是非常主观的。有些人在不知道某个函数使用了多少 CPU 周期的情况下无法休眠。有些人不在乎并且相信编译器可以合理地优化事情。至少在您更多地是语言学生而不是实现者的阶段，最好坚持后者。