Perl 6 Today - Pugs · 2008-10-05 · Perl 6 Today Pugs-An implementation of Perl 6 Perl...

Perl 6 TodayPugs - An implementation of Perl 6

Perl 6 - Reconciling the Irreconcilable

Au!ey Tang1

PugsAn implementation of

Perl6鳳たん

Pugs自分を信じ、好きを貫け

Perl6の実装

訳: 竹迫良範 / 小飼弾

(Perl5の粗探ししてる暇があったら自分で何かやれ)

Pugsとは...（定義）

≝ Perl6コンパイラ

≝ Perl6ランタイム

≝ Perl6テストスイート

Perl6のコード

✓ 130以上のモジュール

Perl6のコード

✓ 160以上の実例

Perl6のコード

✓ 160以上の実例

✓ 20,000を超えるテスト

“公式な”Perl6

✓ 過去のしがらみを捨てて、セマンティックで再定義

“公式な”Perl6

✓ 過去のしがらみを捨てて、セマンティックで再定義

✓ テストスイートとの互換性(JavaTest/TCK参照)

仕様⇔テスト

✓http://spec.pugscode.org/

仕様⇔テスト

テスト⇔仕様

✓http://smoke.pugscode.org/

1995年代のPerl

• use5.000;

1995年代のPerl

• use5.000;• require'fastcwd.pl';

1995年代のPerl

• use5.000;• require'fastcwd.pl';• require'newgetopt.pl';

1995年代のPerl

• use5.000;• require'fastcwd.pl';• require'newgetopt.pl';• require'exceptions.pl';

1995年代のPerl

2005年代のPerl

• use v6-alpha;

2005年代のPerl

• use v6-alpha;• use perl5:DBI;

2005年代のPerl

• use v6-alpha;• use perl5:DBI;• use perl5:Encode <encode decode>;

2005年代のPerl

• use v6-alpha;• use perl5:DBI;• use perl5:Encode <encode decode>;• use perl5:Template;

2005年代のPerl

• use v6-alpha;• use perl5:DBI;• use perl5:Encode <encode decode>;• use perl5:Template;•

# Implementation of "crypt"sub crypt ($text, $salt) {

2005年代のPerl

• use v6-alpha;• use perl5:DBI;• use perl5:Encode <encode decode>;• use perl5:Template;•

# Implementation of "crypt"sub crypt ($text, $salt) {

• eval 'crypt($text, $salt)' :lang<perl5>;}

2005年代のPerl

ハイブリッド式実行エンジン

Pugs::RuntimePugs::CompilerPugs::Grammar

Pugs.EvalPugs.Prim

Pugs.Types

Perl 5

Runtime

⇚ Perl5Pugs

Pugs.EvalPugs.Prim

Pugs.Types

Perl 5

Runtime

⇚ Perl5

⇚ Haskell

Pugs.EvalPugs.Prim

Pugs.Types

Perl 5

Runtime

⇚ Perl5

⇚ Haskell

⇚ C(.so/.dll)

Pugs.EvalPugs.Prim

Pugs.Types

Perl 5

Runtime

PILPugs中間言語

コンパイルの流れ

コンパイルの流れpugs/src/perl6/Perl‐6.0.0‐STD.pm

JavaScript

Haskell Perl 5

バックエンド

JavaScript

Haskell Perl 5

YARV?JVM?

CLR? PyPy?

バックエンド

Perl5バックエンド

Augmentation (XS)PadWalker, Devel::Caller

autobox, re::override ...

SemanticsData::Bind, Class::MOP

Pugs::Runtime, Pugs::Compiler::Rule ...

Perl 5 SugarMoose, Moose::Autobox ...

Syntaxv6.pm

Pugs::Compiler::Perl6 ...

Tool SupportCPAN, PAUSE

Perldoc, Perl::Tidy ...

!"#$%&

'()&*+,&-"#%

.&*%!/01!2.34!1"#56

InfrastructureParse::Yapp

Module::Compile ...

⇛ P5VMの増強

Augmentation (XS)PadWalker, Devel::Caller

Syntaxv6.pm

!"#$%&

'()&*+,&-"#%

.&*%!/01!2.34!1"#56

Module::Compile ...

⇛ P5VMの増強

⇛ Perl6をPerl5に配置Augmentation (XS)PadWalker, Devel::Caller

Syntaxv6.pm

!"#$%&

'()&*+,&-"#%

.&*%!/01!2.34!1"#56

Module::Compile ...

⇛ P5VMの増強

⇛ Perl6をPerl5に配置

⇛ Moose.pmはCPANにAugmentation (XS)PadWalker, Devel::Caller

Syntaxv6.pm

!"#$%&

'()&*+,&-"#%

.&*%!/01!2.34!1"#56

Module::Compile ...

⇛ P5VMの増強

⇛ Perl6をPerl5に配置

⇛ Moose.pmはCPANにAugmentation (XS)PadWalker, Devel::Caller

Syntaxv6.pm

!"#$%&

'()&*+,&-"#%

.&*%!/01!2.34!1"#56

Module::Compile ...

JavaScriptバックエンド

⇛ GWT,Hop,Linksとか...

⇛ 90%のテストを通過

⇛遅い‐JS2/Tamarin狙い

6.0最初のリリース

6.2関数

6.28オブジェクト

6.283文法

6.2831型

6.28318マクロ

6.283185自分自身を実装

Perl 6!☯

“ふざけたおもちゃのインタプリタ”(スラドの住人曰く)

“ふざけたおもちゃのインタプリタ”

“おもちゃのインタプリタ”

“おもちゃ”

-Ofun42

矢印の長さ

時間

15800以上のコミット

300以上のコミッター

テスト駆動

☺バグ報告➟テスト

テスト駆動

☺スモークサーバ(smokeserv.pl)

テスト駆動

☺スモークサーバ(smokeserv.pl)

☺:todo<unspecced>

ウィキ的な開発スタイル

☺10以上の言語

☺30超のサブプロジェクト

☺積極的な求人活動

パッチ大歓迎!

コミット大歓迎!

irc.freenode.net#perl6

λ駱駝(ラムラクダ)達

✆ 200人以上の仲間たち

✆ 200人以上の仲間たち✆ IRC中毒/常駐者20人超

✆ 200人以上の仲間たち✆ IRC中毒/常駐者20人超✆ TimToady++（ラリー）

svnbot6（ボット）

specbot6（ボット）

evalbot6（ボット）

devbot6（ボット）

lambdabot（λボット）

IRC.pugscode.org

Run.pugscode.org

Dev.pugscode.org

Invite.pugscode.org

Smoke.pugscode.org

Spec.pugscode.org

Blog.pugscode.org

メーリングリスト

✆ perl6‐users

✆ perl6‐language

✆ perl6‐users

✆ perl6‐language

✆ perl6‐compiler

ソースコードリポジトリ

http://svn.pugscode.org/pugs/

http://darcs.pugscode.org/pugs/

私は放浪の数学者エルデシュのように

♨ 2006..*

ハッカソン

ハッカソン♨ 台北

♨ ウィーン

♨ トロント

♨ ウィーン

♨ トロント

♨ アムステルダム

♨ ウィーン

♨ トロント

♨ エクト

♨ ウィーン

♨ トロント

♨ エクト

♨ リスモア

♨ ウィーン

♨ トロント

♨ エクト

♨ リスモア

♨ Mt.アベル

♨ ウィーン

♨ トロント

♨ エクト

♨ リスモア

♨ Mt.アベル

♨ ウィーン再び

♨ ウィーン

♨ トロント

♨ エクト

♨ リスモア

♨ Mt.アベル

♨ 東京

♨ ウィーン

♨ トロント

♨ エクト

♨ リスモア

♨ Mt.アベル

♨ 東京

♨ レドモンドTM

♨ ウィーン

♨ トロント

♨ エクト

♨ リスモア

♨ Mt.アベル

♨ 東京

♨ シカゴ

♨ ウィーン

♨ トロント

♨ エクト

♨ リスモア

♨ Mt.アベル

♨ 東京

♨ シカゴ

♨ ボストン

♨ ウィーン

♨ トロント

♨ エクト

♨ リスモア

♨ Mt.アベル

♨ 東京

♨ シカゴ

♨ ボストン

♨ ポートランド

♨ ウィーン

♨ トロント

♨ エクト

♨ リスモア

♨ Mt.アベル

♨ 東京

♨ シカゴ

♨ ボストン

♨ サンパウロ

♨ ウィーン

♨ トロント

♨ エクト

♨ リスモア

♨ Mt.アベル

♨ 東京

♨ シカゴ

♨ ボストン

♨ サンパウロ

♨ 東京再び

♨ ウィーン

♨ トロント

♨ エクト

♨ リスモア

♨ Mt.アベル

♨ 東京

♨ シカゴ

♨ ボストン

♨ サンパウロ

♨ 東京再び

♨ マウンテンビュー!

♨ ウィーン

♨ トロント

♨ エクト

♨ リスモア

♨ Mt.アベル

♨ 東京

♨ シカゴ

♨ ボストン

♨ サンパウロ

♨ 東京再び

♨ マウンテンビュー!

Perl6 Reconciling theIrreconcilable

鳳たん69

Perl6 または、私はいかにして

耐え難きを耐え

結び難きを結んだか

訳: 竹迫良範 / 小飼弾

Practical実践編

Unixの世界 (1987)

ShellC

新しい次元が誕生

Manipulexity (複殺)

C がまだ良かった頃...

Shell がまだ良かった頃...

Whipuptitude (殺速)

Perl が誕生!

!"#$%!

進化のためのデザイン...

!"#$%!

そして進化の道を歩む...

!"#$%!

さらに進化、どんどん進化...

!"#$%!

キミタチのプログラムはすべて我々がいただいた...

!"#$%!

キミタチのプログラムはすべて我々がいただいた...

抽象化は

➥セクシー

クロージャsubmake_counter{my$start=shift;returnsub{++$start};}my$from_three=make_counter(3);print$from_three‐>();#4print$from_three‐>();#5

my$from_ten=make_counter(10);print$from_ten‐>();#11print$from_ten‐>();#12

多段評価

BEGIN{print"Compile‐time";eval$generated_code;print'Stillincompiletime";}print"Normalruntime";eval$more_generated_code;

実行時の型変換

my$piece=Pawn‐>new;bless$piece=>Queen;

省略表現は

➥自然に

コンテキスト

#Scalarvs.Listcontext

my$one=<STDIN>;#Readonelinemy@all=<STDIN>;#Readalllines

#Stringvs.Numericcontext

print"Lines:@all"if@all<10;

鯛じゃなくてTie変数

tiemy%search=>'Tie::Google';print$search{'PerlPugs'}[0]{URL};#http://www.pugscode.org/

正規表現

#DeCSS.pls''$/=\2048;while(<>){G=29;R=142;if((@a=unqT="C*",_)[20]&48){D=89;_=unqb24,qT,@b=map{ordqB8,unqb8,qT,_^$a[‐‐D]}@INC;s/...$/1$&/;Q=unqV,qb25,_;H=73;O=$b[4]<<9|256|$b[3];Q=Q>>8^(P=(E=255)&(Q>>12^Q>>4^Q/8^Q))<<17,O=O>>8^(E&(F=(S=O>>14&7^O)^S*8^S<<6))<<9,_=(map{U=_%16orE^=R^=110&(S=(unqT,"\xb\ntd\xbz\x14d")[_/16%8]);E^=(72,@z=(64,72,G^=12*(U‐2?0:S&17)),H^=_%64?12:0,@z)[_%8]}(16..271))[_]^((D>>=8)+=P+(~F&E))for@a[128..$#a]}print+qT,@a}';s/[D‐HO‐U_]/\$$&/g;s/q/pack+/g;eval

最高のコーディング

➥無コーディング

♡ 11年の蓄積

♡ 5791人を超える開発者

♡ 11年の蓄積

♡ 5791人を超える開発者

♡ 11400以上のモジュール

サービス群

♡ パッケージ管理

サービス群

♡ 評判&掲示板(Ratings)

サービス群

♡ スモークテスト(CPANTS)

サービス群

♡ スモークテスト(CPANTS)

♡ バグ管理システム(RT)

サービス群

語彙≩構文

“Perlは今までで最高の道具でした”

しかし...

Perl 5は CPANにとって最高の道具ではありませんでした

☣101

構文大杉

☣102

• usev5;

• usev5;• subrender{

• usev5;• subrender{• my$self=shift;

• usev5;• subrender{• my$self=shift;• my%opts=(x=>1,y=>1,z=>0,%{$_[0]});

• usev5;• subrender{• my$self=shift;• my%opts=(x=>1,y=>1,z=>0,%{$_[0]});• formy$item($self‐>filter(@{$self‐>{items}})){

• usev5;• subrender{• my$self=shift;• my%opts=(x=>1,y=>1,z=>0,%{$_[0]});• formy$item($self‐>filter(@{$self‐>{items}})){• print$item‐>draw({

x=>$opts{x},y=>$opts{y},z=>$opts{z},}),"\n";

• usev5;• subrender{• my$self=shift;• my%opts=(x=>1,y=>1,z=>0,%{$_[0]});• formy$item($self‐>filter(@{$self‐>{items}})){• print$item‐>draw({

x=>$opts{x},y=>$opts{y},z=>$opts{z},}),"\n";

• }}

• usev6‐alpha;

• usev6‐alpha;• methodrender($x=1,$y=1,$z=0){

• usev6‐alpha;• methodrender($x=1,$y=1,$z=0){•for@.filter(@.items){

• usev6‐alpha;• methodrender($x=1,$y=1,$z=0){•for@.filter(@.items){•say.draw(:$x,:$y,:$z);

中身はジェンガ☣

やっかいなバグと後方互換性

。・゚・(ノД`)

ベストプラクティスには

規律が不可欠

Prescription（処方箋）

ベストプラクティスは

自然体であるべき!

⑥111

2000RFCs

2001Parrot

2002Apocalypses

(黙示録)

2003(故)Ponie

2004Synopses

(ようやく要約)

2005Pugs

2006v6‐alpha

2007v6‐std

☯121

結び難きを結び

静的型vs

動的型

型☺

タイピング

☹125

静的型(C++,OCaml...)

☯効率的Efficient

☯頑丈Robust

動的型(Python,Ruby,...)

☯頑丈Robust

☯生産性Productive

☯頑丈Robust

☯生産性Productive

☯臨機応変Flexible

段々型め

アノテーションと型推論による

•usev5;•subf{•sqrt($_[0]**2+$_[1]**2);•}•my$five=f(3,4);

•usev6‐alpha;•subf{•sqrt(@_[0]**2+@_[1]**2);•}•my$five=f(3,4);

•subf(Num$x,Num$y){•sqrt($x**2+$y**2);•}•myNum$five=f(3,4);

• subsetPositiveofNumwhere{$_>0}

• subf(Positive$x,Positive$y‐‐>Positivewhere{$_>($x&$y)}){

• sqrt($x**2+$y**2);}

•my$five:=f(3,4);#inferredasPositive

専用: DSL

汎用: GPL132

DSL(SQL,Regex,...)

☯簡潔な表現Concise

DSL(SQL,Regex,...)

☯表現力豊かExpressive

DSL(SQL,Regex,...)

(Lisp,C,...)

☯多目的利用Versatile

DSL(SQL,Regex,...)

(Lisp,C,...)

☯多目的利用Versatile

☯再利用性Reusable

DSL(SQL,Regex,...)

(Lisp,C,...)

コンパイラの拡張性

マクロ

☯コンパイル時に評価される

マクロ

☯全ての部分が交換可能

マクロ

☯全ての部分が交換可能

☯それLexerでできるよ!

• macrocircumfix:</**/>($x)isparsed/.*?/{''}

• /*ThisisaC‐stylecomment*/

• macrocircumfix:</**/>($x)isparsed/.*?/{''}

• /*ThisisaC‐stylecomment*/

• subpostfix:<!>($x){[*]1..$x}

• say10!;#3628800

• macroGREETING(){#Alate‐boundmacroq:code(:COMPILING){"Hello,$s"};}

•my$s="world";sayGREETING;#Hello,world

遅延評価vs

先行評価

遅延評価(Haskell,Unixパイプ)

☯モジュール化Modular

☯道理可Reasonable

先行評価(それ以外)

☯ベタ書きDirect

☯予測可Predictable

遅延アノテーションによる戻り型ポリモーフィズム

• #"cat"for=<>{.say}

• #"cat",togetherwithlinenumbersforeach(1..*;=<>){say"Line$^num:$^text";}

• #Listsarelazybydefault

• #Listsarelazybydefault• my@fib:=(

• #Listsarelazybydefault• my@fib:=(• 0,1,

• #Listsarelazybydefault• my@fib:=(• 0,1,• each(@fib;@fib[1..*]).map(&infix:<+>)

say"Thefirsttennumbersare:@fib[^10]";

• #Itemsareeagervalues.However...

• #Itemsareeagervalues.However...• my$ignored=lazy{10**(10*10)};

• #Itemsareeagervalues.However...• my$ignored=lazy{10**(10*10)};• my$unused=lazy{say1..$ignored};

• say"Hello,world!";

• #(ForPerl5too:Scalar::DeferonCPAN)

クラスベースvs

プロトタイプベース

クラス(Java,Smalltalk,...)

☯型強化Typeful

☯規律Disciplined

☯型強化Typeful

プロトタイプ(JavaScript,Lua,...)

☯型強化Typeful

☯適応性Adaptive

☯型強化Typeful

☯適応性Adaptive

☯便利Convenient

メタオブジェクトプロトコル

• classDogisMammaldoesCompanion{

• classDogisMammaldoesCompanion{•

my$.countwhere0..100;

my$.countwhere0..100;•

has$!brain;

• has&.vocalize=&say;has$.nameisrw="Fido";

has$!brain;

• has$.furhandlesGroomable;has$.tailhandles<waghang>;

has$!brain;

• has$.furhandlesGroomable;has$.tailhandles<waghang>;

•methodcompanionhandless/^owner_//{...}}

• myDog$fido.=new;

• myDog$fido.=new;•

$fido.HOW;#themetaobjectforDog

$fido.HOW;#themetaobjectforDog• $fido.WHAT;#theDogprototypeobject

$fido.HOW;#themetaobjectforDog• $fido.WHAT;#theDogprototypeobject• $fido.WHICH;#$fido’sObjectID

• Dog.isa(Dog);$fido.isa(Dog);

• $fido.HOW.add_method('bark',method(){$.vocalize('Woof!')});

• Dog.can('bark');$fido.can('bark');

スレッドvs

プロセス151

スレッド(暗黙的)

☯直感的Intuitive

☯並列処理可Parallelizable

プロセス

(明示的)

☯決定論的Deterministic

プロセス

(明示的)

☯決定論的Deterministic

☯管理が簡単Manageable

プロセス

(明示的)

並列処理☺☺☺

ロック

☹ ☹ ☹154

•async{$x.withdraw(3);

$y.deposit(3);}

•async{$x.withdraw(3);

$y.deposit(3);}

☣RaceCondition☣

• async{$x.lock;$y.lock;

• $x.withdraw(3);$y.deposit(3);}

• async{$y.lock;$x.lock;}

☣Deadlock☣

STMトランザクション

•async{

•async{•contend{#begintransaction

•async{•contend{#begintransaction•$x.withdraw(3);$y.deposit(3);

•}#commitorrollback}

• #Retrywith"defer"methodwithdraw($n){deferif$.balance<$n;$.balance‐=$n;}

•#Choicewith"maybe"subtransfer($x1,$x2,$y){maybe{$x1.withdraw(3)}maybe{$x2.withdraw(3)}$y.deposit(3);}

• #Retrywith"defer"methodwithdraw($n){deferif$.balance<$n;$.balance‐=$n;}

•#Choicewith"maybe"subtransfer($x1,$x2,$y){maybe{$x1.withdraw(3)}maybe{$x2.withdraw(3)}$y.deposit(3);}

•#Composablewithnested"maybe"contend{maybe{transfer($x1,$x2,$y)}maybe{transfer($x3,$x4,$y)}}

SIMDvs

MIMD160

SIMD(APL,Fortran)

☯シンプルSimple

SIMD(APL,Fortran)

☯スケーラブルScalable

SIMD(APL,Fortran)

(それ以外)

☯型が豊富Richertypes

SIMD(APL,Fortran)

(それ以外)

☯型が豊富Richertypes

☯なじみ深いFamiliarflow

SIMD(APL,Fortran)

(それ以外)

• #HyperOperator(SSE/GPUfriendly)[1,1,2,3,5]»+«[1,2,3,5,8];

• #===[2,3,5,8,13]

•#RecursiveVisits‐«[[1,2],3];

•#===[[‐1,‐2],‐3]

•#HyperMethods[1,4,9,16]».sqrt;

•#===[1,2,3,4]

• %timepugs‐e'(1..100000)>>.sqrt'real9.387suser9.219s

•%timeenvGHCRTS=‐N2pugs‐e'(1..100000)>>.sqrt'real5.807suser6.959s

• #Junctionssubis_prime(Int$n‐‐>Bool){$n%all(2..$n.sqrt+1);}

•subhas_twin_prime(Int$n‐‐>Bool){is_prime($n&($n±2));}

•subinfix:<±>($x,$y){($x+$y)|($x‐$y);}

•166

俺オレ言語

vsあなたの言語

☯褒めるBetter

Perl6 その他

☯褒めるBetter

Perl6 その他

☯褒めるBetter

Perl6 その他

•usejsan:DOM;

•usejsan:DOM;•useperl5:DBI;

•usejsan:DOM;•useperl5:DBI;•usehaskell:Numeric;

•usejsan:DOM;•useperl5:DBI;•usehaskell:Numeric;•useyour_language:FavouriteModule;

•usejava:java.lang.System;

•say"GreetingsfromJava",•System.getProperty('java.version');

•usejava:java.lang.System;

•say"GreetingsfromJava",•System.getProperty('java.version');

•#GreetingsfromJava1.5.0_07

JavaScript

Haskell Perl 5

YARV?JVM?

CLR? PyPy?

❆172

で結局 Perl 6 のリリースっていつ？

クリスマスに!

Perl 6 がキタら,

毎日がクリスマス(かもしれない)

ご清聴ありがとうございました

Perl 6 Today - Pugs · 2008-10-05 · Perl 6 Today Pugs-An implementation of Perl 6 Perl...

Documents

Writing Perl 6 Rx

Perl 6, genau jetzt! · 2017-09-06 · Perl 6 Sprachdesign Pugs Siehe auch Inhalt 1 Perl 6 Uberblick¨ Ziele Architektur 2 Sprachdesign Wasserbetttheorie“ Huffmannkodierung Perl

Personal Perl 6 compiler

PERL Unit 6 regular expression

6 things about perl 6

July 16 PUGs Playlist

Pugs: A Perl 6 Implementation

6 more things about Perl 6

Perl 6 Datenstrukturen

Penyuluhan PUGS

Pug National 2014 Pugs - Foy Trent Dog Shows LLC · Pug National 2014 Pugs Pugs, Sweepstakes (Puppy 6‐9) Black Dogs 21 4 J-K Unforgetable Thats What You Are. TS20699302 3/1/2014

Swiss Perl Workshop and Perl 6 Hackathon 2015

Deploying Perl 6 - Pugspugs.blogs.com/talks/boston-deploying-perl6.pdf · Pugs 6.2.12 •Released on June 26th •3x faster build time •10x faster compilation •2x faster runtime

Perl beginners#6 LT

A Grumble of Pugs

The Perl 6 Express - jnthn.net · The Perl 6 Express About This Talk A look at some of the changes and new features in Perl 6, the next version of the Perl programming language that

Genetics Fair Presentation: Pugs

PrettyDump Perl 6 (London.pm)

Deploying Perl 6 - Pugs · 2008-10-05 · Pugs 6.2.12 •Released on June 26th •3x faster build time •10x faster compilation •2x faster runtime •2000+ commits since 6.2.11

PUGS Text1