类型 – Perl 6的类型系统是如何理解Perl的？

发布时间：2020-12-15 21:41:25 所属栏目：大数据来源：网络整理

导读：我会把它修改为 my other related question,但感觉不一样,我不想每个问题都提出太多的问题. 我的头脑已经爆炸了考虑： use strict;my Int $n = 6;my Str $x = "a";my @l = $n,$x;say @l ~~ List; 按预期打印正确. 考虑一下： use strict;my Int $n = 6;my S

我会把它修改为 my other related question,但感觉不一样,我不想每个问题都提出太多的问题.

我的头脑已经爆炸了

考虑：

use strict;

my Int $n = 6;
my Str $x = "a";
my @l = $n,$x;
say @l ~~ List;

按预期打印正确.

考虑一下：

use strict;

my Int $n = 6;
my Str $x = "a";
my List @l = $n,$x; # <-- only change is the type notation
say @l ~~ List;

哪个死了：

Type check failed in assignment to @l; expected List but got Int

所以…列表的类型是列表,但我不能说它是列表,因为这是一个罪！

这里发生了什么？这是一个bug吗？还是将我无关的Python和Go成语带给Perl,打破事情？

解决方法

my List @l = $n,$x;

不会做你认为的事情.它不声明@l是一个列表.它声明@l的元素将是列表.你不需要声明@l将是一个数组;当你使用sigil时,你已经这样做了.

您可以通过用Int替换List来移动爆炸物,使Perl 6预期有一个Ints列表.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!