6

Wikipedia 说“Perl 6 提供了一个混合类型系统,程序员可以选择使用静态类型、使用动态类型或将两者混合使用。” 混合打字如何工作?在 Perl 中使用静态类型是否仅仅意味着我声明了一个类型,并且必须显式地将字符串转换为数字,反之亦然,以换取安全性和运行时速度?我注意到有关此功能的信息似乎很少。

4

1 回答 1

6

据我了解,混合类型仅意味着支持类型注释,但可选:

my Int $i = 0; # static typing
my $i = 0; # dynamic typing

当您使用显式类型注释时,编译器可能会为您检查并可能更好地优化代码。其他语言也有类似的功能,比如 Objective-C:

NSString *foo = @"foo"; // explicit type signature, static typing
id foo = @"foo"; // dynamic typing

从技术上讲,这并不完全是静态类型和动态类型之间的区别。有些语言具有不需要显式类型注释的静态类型系统。在 Swift 或 Haskell 中,你可以说let f = 0(没有类型注释)之类的东西,并且由于类型推断,仍然可以进行静态类型检查。另请参阅在辩论类型系统之前要了解的内容

关于 Perl 6 中静态和动态类型之间的区别,还有其他更有趣的特性,请参阅Jnthn 的演讲

于 2015-07-17T20:45:43.827 回答