混合打字如何运作?

时间:2015-07-17 20:40:05

标签: typing perl6

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

1 个答案:

答案 0 :(得分: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之类的东西(没有类型注释),并且由于类型推断仍然可以得到静态类型检查。另请参阅What to know before debating type systems

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