Scheme “的优点”；“打字球拍”；过度喧闹

与“朗朗球拍”相比，使用“朗朗球拍”的主要优势是什么？我在参考资料中找不到它。这些优点是否与任何其他静态类型编程语言一样？期望编译程序的速度提高是否合理？程序的安全性也提高了吗？感谢您的见解。

中的

7型球拍的优化 类型化Racket提供了一个类型驱动的优化器，可以重写类型良好的优化器 有可能使它们更快的程序。它决不应该使人失望 您的程序运行缓慢或不安全

因此，类型提示可以使您的程序更快，但它保证程序不会比

#lang racket

慢

---

请注意，当您使用

raco make

编译它或使用DrRacket生成可执行文件时，这是正确的。在IDE中运行代码可能会比较慢，因为编译器需要做额外的工作来实现这一点。

一些库声称在类型化Racket中速度非常快

从Racket文档中：

7矩阵与线性代数 性能警告：矩阵值是由math/array导出的数组。 同样的性能警告也适用：操作当前为25-50次 非类型球拍比类型球拍慢，这是由于 检查高阶合同。我们正在努力

---

许多数字库声称使用

类型化的racket

可以显著提高速度。一般来说，我编写代码的经验是，

typed racket

在比较静态类型语言和动态类型语言时发现了类似的折衷方法——需要注意的是，

racket

的动态类型和静态类型版本都是强类型的。静态键入给一些lisp习惯用法增加了摩擦，有时值得，有时不值得。对我来说，这似乎是一个相当好的答案。你应该把它作为一个答案，而不仅仅是一个评论。还有，安全也会受到影响吗？谢谢。老实说，我不是这个问题的粉丝。并不是说我标记了它，但它似乎主要基于观点，我的答案也没有那么有用……我的意思是，关于

类型化的racket

，除了它的静态类型和合理的实现之外，没有更多的话要说。任何想使用数字库的人都会看到这样的说法，即使用键入的Racket时，数字库运行得更快。