Perl6の内部表現 |
|
Takahiro Shimizu
|
6.duse ustrict;
use warnings;
my $scalar_value = "hello!";
print "$scalar_value\n";
my @array = (1..10);
print "$array[0]\n";
my %hash = ( this_is_key => "this_is_value");
print "$hash{this_is_key}\n";
my $hash_ref = \%hash;
print "$hash_ref->{this_is_key}\n";
my $str_value = 'hello world!';
$str_value.say; # hello world!
my $sample_value = 'hello world!';
$sample_value.say; # hello world!
$sample_value = '31';
$sample_value.say; # 31
say($sample_value * 3);
my Int $int_value = 31;
$int_value = "hello"; # Compile error!
$ perl6 type_invalid.p6
Type check failed in assignment to $int_value; expected Int but got Str ("hello")
in block <unit> at type_invalid.p6 line 4
my subset Fizz of Int where * %% 3;
my subset Buzz of Int where * %% 5;
my subset FizzBuzz of Int where Fizz&Buzz;
my subset Number of Int where none Fizz|Buzz;
proto sub fizzbuzz ($) { * }
multi sub fizzbuzz (FizzBuzz) { "FuzzBuzz" }
multi sub fizzbuzz (Fizz) { "Fizz" }
multi sub fizzbuzz (Buzz) { "Buzz" }
multi sub fizzbuzz (Number $number) { $number }
fizzbuzz($_).say for 1..15;
(http://brrt-to-the-future.blogspot.com/2015/03/advancing-jit-compiler.html)
my $value := "hello!";
say($value);
:= を使う#! nqp
sub fib($n) {
$n < 2 ?? $n !! fib($n-1) + fib($n - 2);
}
my $N := 29;
my $z := fib($N);
nqp::say("fib($N) = " ~ fib($N));
sub add_test($n){
my $sum := 0;
while ( $n > 1) {
$sum := $sum + $n;
--$n;
}
return $sum;
}
say(add_test(10000));
sub add_test(int $n){
mu $sum := 0;
while nqp::isgt_i($n,1) {
$sum := nqp::add_i($sum,$n);
$n := nqp::sub_i($n,1);
}
return $sum;
}
rakudo-star というPerl6のパッケージ環境では、 MoarVMがデフォルトでインストールされる$nqp --target=mbc --output=fib.moarvm fib.nqp
moar でディスアセンブルすることが可能 annotation: add_test.nqp:1
00003 const_i64_16 loc_2_int, 0
00004 hllboxtype_i loc_3_obj
00005 box_i loc_3_obj, loc_2_int, loc_3_obj
00006 set loc_1_obj, loc_3_obj
label_1:
00007 decont loc_3_obj, loc_0_obj
00008 smrt_numify loc_4_num, loc_3_obj
00009 const_i64_16 loc_2_int, 1
00010 coerce_in loc_5_num, loc_2_int
00011 gt_n loc_2_int, loc_4_num, loc_5_num
00012 unless_i loc_2_int, label_2(00031)
00013 osrpoint
annotation: add_test.nqp:3
00014 decont loc_3_obj, loc_1_obj
00015 smrt_numify loc_5_num, loc_3_obj
00016 decont loc_3_obj, loc_0_obj
00017 smrt_numify loc_4_num, loc_3_obj
00018 add_n loc_4_num, loc_5_num, loc_4_num
00019 hllboxtype_n loc_3_obj
00020 box_n loc_3_obj, loc_4_num, loc_3_obj
00021 set loc_1_obj, loc_3_obj
00022 decont loc_3_obj, loc_0_obj
00023 smrt_numify loc_4_num, loc_3_obj
00024 coerce_ni loc_6_int, loc_4_num
00025 const_i64_16 loc_7_int, 1
00026 sub_i loc_7_int, loc_6_int, loc_7_int
00027 hllboxtype_i loc_3_obj
00028 box_i loc_3_obj, loc_7_int, loc_3_obj
00029 set loc_0_obj, loc_3_obj
00030 goto label_1(00007)
say(add_test(10000));
annotation: add_test.nqp:1
label_1:
00020 getlex_no loc_7_obj, '&say'
00021 decont loc_7_obj, loc_7_obj
00022 const_s loc_3_str, '&add_test'
00023 getlexstatic_o loc_8_obj, loc_3_str
00024 decont loc_8_obj, loc_8_obj
00025 const_i64_16 loc_5_int, 10000
00026 prepargs Callsite_1
00027 arg_i 0, loc_5_int
00028 invoke_o loc_8_obj, loc_8_obj
00029 prepargs Callsite_0
00030 arg_o 0, loc_8_obj
00031 invoke_v loc_7_obj
00032 null loc_7_obj
00033 return_o loc_7_obj
decont 命令で、コンテナの中身をレジスタに設定する必要があるconst_i64_16 などは64bitの数という意味で、 int 型としてレジスタに登録しているprepargs で引数の確認を行い, invoke_o で実際にサブルーチンに移行するmy $sum := 0;
annotation: add_test.nqp:1
00003 const_i64_16 loc_2_int, 0
00004 hllboxtype_i loc_3_obj
00005 box_i loc_3_obj, loc_2_int, loc_3_obj
00006 set loc_1_obj, loc_3_obj
loc_2 レジスタをint型の整数0で初期化する$sum はint型の指定がないので、 obj型で登録しなければならないloc_2 から、 obj型に一旦キャストし、 loc_3 レジスタに設定したものを、 loc_1 レジスタに設定する while ( $n > 1) {
label_1:
00007 decont loc_3_obj, loc_0_obj
00008 smrt_numify loc_4_num, loc_3_obj
00009 const_i64_16 loc_2_int, 1
00010 coerce_in loc_5_num, loc_2_int
00011 gt_n loc_2_int, loc_4_num, loc_5_num
00012 unless_i loc_2_int, label_2(00031)
00013 osrpoint
num 型にキャストし、 num 型のレジスタでの大小を比較するgt_n であり、 結果により unless_i 命令で、別のラベルにジャンプする while ( $n > 1) {
00007 decont loc_3_obj, loc_0_obj
$n と 整数 1 を大小比較する為、 まず $n から値を取り出す while ( $n > 1) {
00008 smrt_numify loc_4_num, loc_3_obj
smrt_numify はレジスタ上のオブジェクトを、 num型に変換し、 別のレジスタに登録する命令
MoarVMなどの言語処理系のバイトコードインタプリタは次のことを繰り返している