20年磨一剑，在perl人艰苦卓绝的努力perl 6终于在2016年圣诞节推出了正式版本V6.c版本（c代表圣诞节）。 期间几度波折，很多事情也都发生了。比如，perl6 最先成型的pogs版本主程台湾大牛大牛唐宗汉易性为唐凤，另IT界叹为观止。

20年积累了宇宙巨能的perl6究竟有啥黑科技？本文借自perl6官方的faq，翻译成中文，以帮助我们揭开perl6的潘多拉宝盒。

笔者计划一项目perl6doc中文化的项目，这篇文章为perl6doc中文化的第一个成果，如果有什么纰漏和错误，请帮助我指出 。另外有志于学习perl6和参与项目的同仁也大大的欢迎哦。

项目的地址为：http://git.oschina.net/ijz/perl6doc

FAQ perl6最常问到的问题

一般性问题

Rakudo和Perl 6 有啥区别?

正确的说法是， Rakudo 是perl的的实现。它是目前最完全的实现版本，目前还存在其他几个实现，将来也许 会有更多的实现。Perl 6是语言的定义。目前来讲，Perl 6和Rakudo名称可以通用。

第一个perl版本是6.0.0?

NO，perl 6 第一个正式发布版是v6.c（c代笔Christmas圣诞节）。接下来发布的版本是带点版本（比如，v6.3.2）,或者大版本的话（v6.d）

我们可通过下面的命令检查Rakudo编译器是否为最新版本：

Rakudo Perl 6 编译器第一个发布版本是 2015.12，这个版本可以用use 6.3 指示符支持。 

Perl v6.d 大概什么时候发布?

由于需要大量工作，目前还没有确切时间点

perl6开始之旅,我应该安装什么?

Mac用可安装Rakudo Star DMG包，下载地址： http://rakudo.org/downloads/star

Windows用户可以通过Rakudo Star MSI安装. 你必须事先安装Windows Git和Strawberry Perl5 然后用zef包管理软件安装perl6模块。

Linux用户直接下载Rakudo Star http://www.perl6.org/downloads/ ，然后编译安装.

Linux和Mac 用户也可以通过操作系统发行方或者第三方的二进制包安装,发行方包可能版本会老一点.

我们也提供Rakudo Star docker容器的镜像，地址为 https://hub.docker.com/_/rakudo-star/

对于perl老司机我对 Rakudo的开发感兴趣，有啥好的建议？

X<|rakudobrew (FAQ)> 

你可以安装 rakudobrew 这个工具相当于perl5的perlbrew 或者python，ruby的相应的多版本管理工具。

上哪里找Perl6的文档?

最可信的信息是perl6官方网站及其直接链接的说明，它域名为perl6.org。

https://perl6.org/resources/ 和 https://docs.perl6.org/ 是canonical官方技术引用.

现在有很多很好的在线文档，但是你需要仔细甄别其是否可用。一般通过查看页面的发布的时间，如果发布时间 太过偏远，则很有可能它已经过期了，需要忽略之。

通过以上方式你还没有找到你需要的答案的话，你还可以通过加入Freenode的 #perl6频道寻求帮助。当然你也可以 通过谷歌搜索频道信息获得类似问题及其答案。地址为：Google.

Perl6 specification是什么?

Perl6 specification是指perl6 官方的测试套件.我们称它为roast，其地址为 hosted on github. 任何编译测试通过的就会加入到Perl 6 specification。

Roast的主分支对应最新的开发版本，它仍未划入任何的specification。其他分支则对应于不同的specific版本。 例如，"6c.errata"。

有Perl6相关主题的字汇表么?

是的, 其链接为glossary.

作为一个perl程序员，我想知道Perl5和Perl6的不同点是啥?

请浏览'5to6-nutshell'及其相关文档，链接为https://docs.perl6.org/language/5to6-nutshell

我是一位Ruby程序，我该怎么快速入门perl6?

请浏览'rb-nutshell'文档，链接为https://docs.perl6.org/language/rb-nutshell

模块

Perl6有没有CPAN?

截至目前perl6还没有像CPAN一样完备的模块仓库。但是通过modules.perl6.org 有一个perl6模块的列表，叫perl6生态系统，托管在github上。通过zef 可以安装这些模块，在rakudo下运行 另外,CPAN对perl6支持的工程目前也如火如荼的进行中。

我能在Perl6中使用perl模块么?

没问题，通过 Inline::Perl5可以很好的运行大多数的perl5模块，甚至 包括Catalyst和DBI.

我能在Perl6中执行c和c++么?

Nativecall使这工作变的非常简单.

Nativecall不能找到libfoo.so，我的系统中只有libfoo.so.1.2!

这是debian系linux运行Nativecall常见的问题.你需要安装"libfoo-dev"包，并对缺失的问题设置符号链接。

那些传统的UNIX库函数如何调用?

利用Nativecall调用它们非常简单。同时还有一个生态系统模块POSIX也可用.

Rakudo有核心的标准库么?

Rakudo是一个具体最小应用（测试和Nativecall等）的编译器，而不是像linux内核那样的组成

Rakudo Star是一个包含了rakudo和其他有用模块的发布版本。其他更多的库需要通过生态系统安装。

有没有类似B::Deparse的模块？我如何处理AST?

请用perl6 --target=ast -e 'very-short-example()' 去处理AST的编译单元.

语言特性

我怎么样能dump出Perl6的数据结构 (和perl5的Data::Dumper一样有类似的模块么?）

例如:

my $foo="bar"; dd $foo;          # 输出: «Str $foo = "bar"␤» say :$foo.perl;   # 输出: «:foo("bar")␤» say :$foo.gist;   # 输出: «foo => bar␤» 

同时perl6生态系统也有专门的模块可以做这件事链接为： Data::Dump, 它还可以带颜色输出结果.

Perl6命令行(REPL)下我如何得到输入命令的历史?

请安装 Linenoise 模块.

对Unix系的操作系统另外还有一个方法就是使用rlwrap.在debian系操作系统可以通过 "apt-get install rlwrap"安装。

为什么Rakudo编译这样报错?

如果 当前输出是编译时错误，否则是运行时错误。

例如:

=begin code :skip-test say 1/0;   # 试图对0整除  sub foo( Int $a, Int $b ) {...} foo(1)     # ===抱歉!=== 编译时报错 ... =end code 

(Any) 是啥?

Any是默认的新建类的超类的顶级类。常常出现在定义了一个变量但是未对其赋值 的场景下，大概类似于其他语言中的undef或者null值

例如:

my $foo; say $foo;         # 输出: «(Any)␤» - 注意括弧暗示了类型对象 say $foo.^name;   # 输出: «Any␤» 

(Any)不能用于检查是否被定义，在perl6中定义是一个对象的属性。通常，实例被定义，类型对象不被定义。

say 1.defined;       # 输出: «True␤» say (Any).defined;   # 输出: «False␤» 

so是什么?

so是一个弱优先级操作符，强制为Bool。 它和? 前缀操作符具有相同语义，类似于and和低优先级的&&。

实例:

say so 1|2 == 2;    # 输出: «True␤» 

本例中的，比较的结果(是一个 Junction),被转化为布尔型打印。

:D 和 :U 修饰的意义?

在perl6中，类和其他类型都是对象，并且只能通过其自己类型的类型检查。

例如,如果你定义一个变量

my Int $x = 42; 

然后你不仅可以给他赋值整数（那就是，类实例Int），还有Int 类型对象自己。

如果你要排除类型对象，你可以附加:D 类型笑脸，他带包已"定义".

=begin code :skip-test my Int:D $x = 42; $x = Int;            # 异常退出:                      # 给$x赋值是类型检查错误;                      # 期待 Int:D 但是赋值的是Int =end code 

类似的，C<:U> 限制为未定义的值，也就是说，类型对象。如果你限制既不能为类型对象 也不能为实例，你可以用C<:_>.

修饰符 --> 有啥作用?

L«-->|/type/Signature#Constraining_Return_Types» 为限制返回为一个类型或者一个定义的值.

例子，限制为一个类型:

=begin code :skip-test sub divide-to-int( Int $a, Int $b --> Int ) {         return ($a / $b).narrow; }  divide-to-int(3, 2) #  返回值类型检查失败期待Int但是返回Rat =end code 

例子，限制为一个定义的返回值:

sub discard-random-number( --> 42 ) { rand } say discard-random-number; # 输出: «42␤» 

在本例中，由于返回值已经定义，所以最终值被抛弃。

我怎么从Junction抽取一个值?

如果你想从Junction中，抽取值，你可能做错了，你需要的应该是 Set。

Junctions表示匹配的意思，不用来做操作的。如果你费用坚持这样做，你可以滥用自动线程：

sub eigenstates(Mu $j) {     my @states;     -> Any $s { @states.push: $s }.($j);     @states; }  say eigenstates(1|2|3).join(', '); # 打印出 1, 2, 3 或者一个置换方法。 

如果Str为不可改变, s/// 如何工作? $i++ 如何工作?

perl6中，许多基本类型的值都是不可改变的，但是存放他们的变量却不是，s/// 操作符是对 变量的操作，操作是会生成一个新的字符串对象。同样，$i++也是工作$i变量上，并不是对 值本身的操作。

更多信息，可以浏览 containers。

数组引用和自动解引用是怎么回事?需要@前缀么？

在perl6中，一切皆引用，所以专门谈论引用意义不大。不像perl5，标量变量也能直接包含数组：

my @a = 1, 2, 3; say @a;                 # 输出: «[1 2 3]␤» say @a.WHAT;            # 输出: «(Array)␤»  my $scalar = @a; say $scalar;            # 输出: «[1 2 3]␤» say $scalar.WHAT;       # 输出: «(Array)␤» 

最大的不同是插入标量中的数组当为列表上下文的一个值，而数组则会循环迭代。

=begin code :skip-test my @a = 1, 2, 3; my $s = @a;  for @a { ... }          # 循环3次 for $s { ... }          # 只会循环一次  my @flat = flat @a, @a; say @flat.elems;            # 输出: «6␤»  my @nested = flat $s, $s; say @nested.elems;          # 输出: «2␤» =end code 

你可以用@( ... ) 或者 用表达式的.list方法，强制展开，或者为成员上下文（不能展开）

为什么要用sigil? 不能没有他们么?

有几个原因:

• 便于解释变量为字符串
• 给不同种类的变量和twigils隔离为微命名空间，避免命名冲突
• 可以便捷地区分单复数
• 就像自然语言中的强制性动名词标记，是大脑最直白处理的方式
• 但他也不是强制的，你也可以自定义sigil（如果你介意引起歧义的话）

Str类型不支持关联索引?

你可能是想混用字符解释器和HTML

=begin code :skip-test my $foo = "abc"; say "$foo<html-tag>"; =end code 

perl6认为$foo为一个哈希，而C«<html-tag>»会被当成字符哈希键。我们用一个 大括号来加深理解：

my $foo = "abc"; say "{$foo}<html-tag>"; 

perl6中有协程么? yield呢?

perl6没有像python一样的yield语句，但是它通过懒列表提供类似地函数式功能。 有两种普遍的方法写协程，返回懒列表

=begin code :skip-test # 第一种方法, gather/take my @values = gather while have_data() {     # do some computations     take some_data();     # do more computations }  # 第二种方法, 对一个懒列表使用.map或者类似的方法  my @squares = (1..*).map(-> \x { x² }); =end code 

为什么我不能从new方法初始一个私有属性，我该怎么操作?

诸如下面代码：

class A {     has $!x;     method show-x {         say $!x;     } } A.new(x => 5).show-x; 

输出不为5。私有属性是_private_，这意味着对外不可见。如果默认构造函数可以初始化他们的话， 他们就可能暴露在公共API.

如果你坚持要这样做，可以增加一个submethod BUILD来初始化他们：

class B {     has $!x;     submethod BUILD(:$!x) { }     method show-x {         say $!x;     } } B.new(x => 5).show-x; 

BUILD会被默认的构造函数调用（间接地，查看 Object Construction了解更多），构造函数调用 所有用户传递过来的命名的参数。:$!x 是命名为x的命名参数，当带 x命名参数被调用 时，他的值会被绑定到属性 $!x。

如果不这样做。如果名称是公有的，这样定义$.x也是没有害处。因为默认外部视图是只读的， 你仍然只能通过内部地 $!x操作它。

say, put 和 print 有啥区别?

最明显地差异是 say和 put输出会自带换行符，但是print没有。

其他的不同时：print和put通过调用Str方法把所有参数项会当成一个字符串，say则 是用 gist方法。前者适合机器，后者更人性化。

或者完全的不同，$obj.Str 给出一个字符表达，$obj.gist给出一个简单对象总结，适合开发人员 辨别。 $obj.perl会给出一个perl式的表达。

例如：类型对象，也叫做“未定义值”，字符化结果为一个空串，并且给予警告。而gist方法会返回 类型的名称，紧跟着一个空括弧（表示除了类型外没有任何值）。

my Date $x;     # $x包含一个Date类型对象 print $x;       # 输出为空和警告 say $x;         # 输出: «(Date)␤» 

所以，say更适合做调试；显示是人优化过的； print和put更适合给其他应用输出结果。

put是介于print和say之间的调和。和print一样适合为其他程序输出结果，同时也像 say一样输出结果自带换行。 and like say, it adds a newline at the end of the output.

token和rule有何不同 ?

<regex>,token和rule 都用于引入正则表达式，但是语法上略有不同。

token意味着:ratchet或者:r修饰符，这会防止规则被回溯。

rule 表示:ratchet和:sigspace（简写为:s）修饰符，意味着规则不可以回溯，并且将 正则表达式中空白符号作为 C«<.ws>» 调用(不捕获)（例如，可以用来匹配空格，除了两单词之间的空格）。 正则表达式开头和每个可选分支|的开头空白会被忽略。

regex 定义一个没有任何暗示修饰符的纯正则.

die和fail有啥不同?

die抛出一个异常.

fail 返回一个Failure对象.（如果在词法范围内调用定义过 use fatal;），fail抛出一个异常 而不是返回)。

Failure是一个非抛出或者“懒”异常。它一个包含了异常的对象，如果你想用 Failure作为普通对象 抛出一个异常。或者在sink上下文中忽略它。

Failure在defined检查中返回False，你可以用 exception方法抽取异常。

为什么wantarray和want 不见了? 我怎么才能不同上下文中返回不同的类型?

perl5用wantarray函数来测试调用的对象是void， scalar或者列表。perl6没有这样的结构，因为在perl6中上下文不再是关键；例如， 一个例程不需要知道哪个上下文被调用了，因为上下文是惰性的（只有在最后结果被使用时候才会知道）。

例如，perl6有多调度器，所以，下面的代码：

=begin code :skip-test multi w(Int $x) { say 'Int' } multi w(Str $x) { say 'Str' } w(f()); =end code 

没有办法知道调用的 sub f需要一个字符串或者整数，由于它自己现在也不知道会调用啥 一般来讲，这需要解决halting问题，对perl编译器作者也是个头疼的问题。

实现perl6上下文敏感的一个方法是返回一个对象。它知道如何响应上下文中典型的方法调用。 在perl6中，相比较它听起来，这实际上是一个lot easier， 和其他语言的其他特性，既可以减轻首先需要的并且最大可能是覆盖到wantarray的用例。

例如，regex匹配返回匹配对象，知道如何影响列表索引，哈希索引。并且可以变成匹配字符串

Pointer和OpaquePointer有什么不同?

OpaquePointer已经过时，被Pointer取代了.

Perl6实现

那种perl6实现可用的?

目前，开发最完善是Rakudo（支持多虚拟机后端）。曾经的实现包括Niecza (.NET）和 Pugs (Haskell)。 其他客用的实现请浏览Perl 6 Compilers

Rakudo使用什么语言开发的?

我们可以最直接告诉你Rakudo基本上都是用perl6开发的。说的细一点的话，Rakudo使用perl和 NQP ("Not Quite Perl")混合开发的。NQP是一个轻量地类perl6虚拟机环境。它设计用perl6语法来实现高级别 虚拟机（比如MoarVM and JVM）编译器和类库。

NQP使用什么语言开发的?

NQP是以下各部分构成 (1) NQP代码, (2) 底层虚拟机使用的各种语言 (3) 一些第三方的 C和库, 以及(4)一些早期编译进程的运行时启动文件

perl6是Lisp嘛?

不是说是，也不能说完全不是 (not (not Nil)) 

Meta问题和文化

为什么Perl6名字要带Perl?

关于这个问题教主Larry这样回答的： Rule 1

… As opposed to some other name that didn't imply all the things that the higher number might indicate on other languages.

… 相比较换个不能说明任何事情的名字，一个高的版本号也可能暗示是一个完全不同语言。

perl社区认为Perl5和Perl6是姊妹语言，他们有很多共同点，解决了许多相同的问题， 但是Perl6并不为了取代Perl 5。事实上，两种语言互相影。

Perl6怎么样了? 现在可以了么?

尽管编程语言和他们的编译不是一个是与非得二元问题。因为还牵扯到语言本身和实现的 问题，他们会变越来越好用。根据个人需求的不同，perl6及编译器可能是可用或者不可用。 （截止目前，目前99.9的功能都实现了，只是还稍微有点慢 __译者）。

6.c版本（2015圣诞节）是Perl 6首次正式发布版本,发布包括一个验证套件和的编译器。

我为什么要学习Perl6? 他有啥重大改进和特性?

perl6实现了通常其他程序中没有的许多伟大的想法。虽然有几种语言提供了这些特性中的部分， 但没有一种语言能支持所有这些：

• Perl6提供了过程式，面向对象和函数式编程方法.
• 简单一致的语法, 数据结构使用类型前缀标志严格区别.
• 全字符Unicode支持，包括 Annex #29.
• 清晰，更可读的正则表达式;更多的功能，更深层次的可用性.命名正则表达式提高可用性.
• Junctions允许多种可能的测试; 例如, $a == 1|3|42 ( 表示 $a 等于1，3 或者 42).
• 动态变量提供一个可选的词法作用域，对应于全局变量.
• 立足于通过组合性和词法范围来阻止“超距行为“; 例如, imports一直为法范围.
• 易于理解地一致作用域规则和闭包.
• 强大的面向对象，支持类和角色（一切皆对象）。继承，子类型，代码重用.
• 对象和元对象的内省机制 (金字塔一样一层层堆起来).
• 元对象协议允许元组编程，而无需代码生成和解析.
• 子例程和方法签名，方便地位置和命名参数解包。
• 基于数量，类型和可选附加代码的不同签名对特定子例程（方法）实现多路指配.
• 对未知子例程和不可能调度的编译时错误报告。
• 可选地、无额外运行时损耗的渐进类型检测。还支持可选类型注解。
• 基于编译/运行状态內省的高级错误报告，实现更有用，更精确地错误信息。
• 代码快(比如BEGIN/END)允许代码在范围入口和结尾运行, 循环的first/last/next以及其他很多更特殊的语法。
• 高级并发模型,实现隐式、显式多进程处理，超越基本的线程和锁机制。 perl6的并发机制还提供了丰富地（可插拔）工具集。
• 多核越来越普遍，perl6的并发可以用隐式（例如，用>>.方法）和显式（start { code }）。摩尔定律都要失效了，支持多核才是硬道理。
• 结构化语言支持以实现代码的异步执行。
• Supplies允许事件驱动的代码执行 (比如定时器,信号,或者文件系统事件).
• 利用react/whenever/supply关键字方便构建交互，开发事件驱动的应用.
• 尽可能惰性求值,需要时时候才即时出值。例如，懒列表，甚至无限懒列表，比如斐波纳契序列或所有素数。
• 原生数据类型，更快，更底层地处理。
• 非常简单基于NativeCall的对外C/C++的接口。
• Inline::Perl5和Inline::Python接口非常便捷链接Perl5(CPAN)/Python模块。
• 可同时安装和加载模块的多个版本。
• 便捷的跟新/升级策略，简化系统管理。
• 利用Rats（有理数）简单实现精度无损的数值计算（比如1/3，而不是用浮点数来近似估算）。
• 实现数据和代码解析的可扩展语法(Perl6就是用他解析自己)。
• Perl6是一个支持多变的语言 (定义自己的函数,操作符,特征和数据类型, 修改自定义的解析器)。
• 大量可选的数据类型，加上可自定义的类型。
• 多维度构型或者原生数组，合适的边界检查。
• 当特定条件发生时，可在语法解析期间任何随时执行代码。
• 自定义一个操作符或者增加一个trait特征就像定义子例程一样简单。
• 给任何操作数自动生成超操作符(系统的或者自定义的操作皆可)。
• 运行在多种后端虚拟机。目前有MoarVM和JVM, 正在开发中的JavaScript,还可能更多的。
• JIT热代码路径运行时优化。
• 小系统(例如,树莓派)和大型处理器上的运行。
• 垃圾回收机制: 不及时的销毁，所以没有必要的引用计数，使用phasers的时间行为。
• 属性可以在运行时混合到任何实例化对象。例如, 允许添加范围外数据。
• 具有多路劲分配和自动使用消息生成的MAIN子例程，实现快捷的命令行访问接口。
• 用更少的代码实现更紧凑的程序。命名的霍夫曼编码实现更好的可读性。
• 用简单的递归接口定义懒列表，任何类通过提供单个方法提供最小化支持。
• perl6秉承了perl一贯原则: "Perl是不同的。简而言之，Perl旨在"使容易的工作变得容易，使困难的工作变得可能"。和"条条大道通罗马”。 现在会有更多-Ofun添加进来。

  请浏览 特性对比矩阵 查看更多实现细节.

Perl6够快么?

那要取决于你要拿它做什么。Rakudo开发的秉承“工作的更合适，而不更快”的宗旨。一些部分 已经足够快，还有一些还需要改善。

相比较其他动态语言perl6提供了很多JIT特性，还有很大性能提升空间。在一些问题上已经比perl5快了。

perl5程序员应该了解perl了内置了更多的函数，简单的基准性能测试并不能说明什么问题，除非你perl5 测试用例包括了诸如Moose，类型检测模块等复杂的项目。

下面提供了写粗略的基准脚本，表明如果使用了复杂的模块的任务上Perl6比Perl5要快，与此同时，如果 不涉及这些重模块Perl5则会更快。

在你的系统运行下面脚本，结果可能会让你大吃一惊。

例子:

=begin code :skip-test # Perl6 版本 use v6.c;  class Foo { has $.i is rw };  for 1..1_000_000 -> $i {     my $obj = Foo.new;     $obj.i = $i; }  # Perl5 版本 package Foo; use Moose;  has i => (is => 'rw');  __PACKAGE__->meta->make_immutable;  for my $i (1..1_000_000) {     my $obj = Foo->new;     $obj->i($i); }  1;  # 另一个Perl5版本，相比较Moose/Perl6版本，提供少量仅仅需要特性，更简单程序。  package Foo;  use Mojo::Base -base;  has 'i';  for my $i (1..1_000_000) {     my $obj = Foo->new;     $obj->i($i); }  1;  #  一个脚本运行在perl5 （with perl -Mbigint)和perl6下  my ($prev, $current) = (1, 0);  for (0..100_000) {     ($prev, $current) = ($current, $prev + $current); } print $current; =end code