Perl6の内部表現

このセッションの内容

• Perl6の主要な実装であるRakudoの内部構造を探ります
• Rakudoの内部で利用されているVMや， Perl6のサブセットなどについて探索します

Perl6とは

• 当初Perl5の時期バージョンとして開発されていたプログラミング言語
• 仕様と実装が分離しており， 現在はテストが仕様となっている
• 実装は複数存在しているが，現在主流な実装はRakudoとなっている
• 言語的にはスクリプト言語であり， 漸進的型付き言語となっている
• MoarVM, JVMで動作する

Perl6のソースコード概要

• Perl5の文法とは比較的変更が多い
• 変数がオブジェクトと化した事により， 変数からsayメソッドを呼ぶことが可能

my $str_value = 'hello world!';
$str_value.say; # hello world!

• Perl5と同様に，変数にはデフォルトでは型がないような振る舞いをする

my $sample_value = 'hello world!';
$sample_value.say; # hello world!

$sample_value = '31';
$sample_value.say; # 31

say($sample_value * 3);

Perl6の言語的な特徴

• 漸進的型付き言語である為， 型を強制することも可能となる

my Int $int_value  = 31;
$int_value = "hello"; # Compile error!

Perl6の処理系の構成

• Perl6の処理系は現在はRakudoと呼ばれる(歴史上複数存在する)
• Rakudoは3つのレイヤーから構成されている
  • Perl6インタプリタ
  • Perl6インタプリタを記述するPerl6のサブセットNQP
  • Perl6のバイトコードを解釈するMoarVM
• このうちPerl6インタプリタとNQPはNQP自身で記述されている
• MoarVMはC言語で記述されている

Perl6とNQP

• NQP(NotQuitPerl Perlっぽい別の言語)でRakudoを記述している
• NQPもNQPで記述されている為、 セルフビルド(自分自身で自分自身をコンパイルする)を行う
• NQPはPerl6の文法をベースにしているが、 制約がいくつか存在する

バイトコード

• Rakudo/NQPはバイトコードにスクリプトを変換する
• バイトコードはMoarVMのドキュメントで制定されている
• バイトコード実行部分は、 命令に対応するバイト列を読み込み、 解釈し、 次の命令を読み取ることを繰り返す