混合打字如何工作？答案

【问题标题】：How does hybrid typing work?混合打字如何工作？
【发布时间】：2015-07-17 20:40:04
【问题描述】：

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

【问题讨论】：

标签： raku typing

【解决方案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。

【讨论】：

当你添加一个类型时，它总是为你检查它，这与你写的不同。