混合打字是如何工作的？
How does hybrid typing work?
维基百科说 "Perl 6 offers a hybrid typing system whereby the programmer may choose to use static typing, use dynamic typing, or mix the two." 混合打字是如何工作的？在 Perl 中使用静态类型是否仅仅意味着我声明一个类型，并且必须显式地将字符串转换为数字，反之亦然，以换取安全性和 运行 时间速度？我注意到关于此功能的信息似乎很少。
据我了解，混合类型仅表示支持类型注释，但可选：
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。
维基百科说 "Perl 6 offers a hybrid typing system whereby the programmer may choose to use static typing, use dynamic typing, or mix the two." 混合打字是如何工作的？在 Perl 中使用静态类型是否仅仅意味着我声明一个类型，并且必须显式地将字符串转换为数字，反之亦然，以换取安全性和 运行 时间速度？我注意到关于此功能的信息似乎很少。
据我了解，混合类型仅表示支持类型注释，但可选：
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。