混合打字如何工作？

Question

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

Answer 1

据我所知，混合类型只是意味着支持类型注释，但是可选的：

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之类的内容（没有类型注释），并且由于类型推断而仍然可以进行静态类型检查。另请参阅What to know before debating type systems。

关于Perl 6中静态和动态类型之间的区别，还有其他更有趣的功能，请参见Jnthn’s talk。>>