您可以在Parrot VM中创建静态类型的语言,还是必须动态键入它?
是的,尽管性能特性和工具链都没有针对静态类型的语言进行优化。
例如,如果您的程序依赖于另一个模块,则需要在编译时加载该模块,并以某种方式在其中提取类型声明和签名。您需要自己做很多事情(存储然后检索类型信息),鹦鹉并没有提供任何便利的方法。
您当然可以在动态类型的实现之上创建静态类型的语言(但不能使用动态类型的工具)。