prototypeとjust epic. と私 / YAPC::Japan::Online 2022

YAPC::Japan::Online 2022 LT
解説記事: https://blog.utgw.net/entry/2022/03/05/191709

Transcript

1. prototypeとjust epic. と私 YAPC::Japan::Online 2022 @utgwkk
2. 自己紹介 • @utgwkk (うたがわきき) • 株式会社はてな Webアプリケーションエンジニア • KMC (京大マイコンクラブ) • 最近はTypeScriptを書いています
3. 好きなPerlの言語機能 • wantarray関数 ◦ 3値を返す関数なので • DESTROYメソッド ◦ オブジェクトの解放に処理を差し込めて便利 ◦ 今後はdeferでやる方向になる? • prototype ◦ 今日は主にこれの話をします • 他にいい言語機能があれば教えてください!!
4. prototypeとは • サブルーチンの引数の解釈方法を制御できる ◦ パーサの挙動が変わる!! • 書き方 ◦ sub name (ここに記号をいろいろ書く) ◦ sub name : prototype(ここに記号をいろいろ書く) ◦ サブルーチンシグネチャのことを考えると後者の書き方がよさそう
5. prototypeの例 sub foo ($) { } sub bar ($;$@) { } sub mymap (&@) { } sub zip (\@\@) { } zip @xs, @ys; sub foo () { 1 }
6. prototypeの読み方 (残りはperldoc perlsubで) sub foo ($) { } # 括弧の中に記号を書く sub bar ($;$@) { } # ; 以降は省略可能 sub mymap (&@) { } # &はサブルーチン、@はリスト sub zip (\@\@) { } # リストをリファレンスとして受ける zip @xs, @ys; sub foo () { 1 } # 定数をreturnなしで返すとインライン展開される
7. 身近に潜むprototype採用事例 (Try::Tiny) try { } catch { }; sub try (\&;@) try-catch構文をprototypeで再現 (末尾のセミコロンが必要) 最新のPerlではtry-catch構文が組み込まれている (こっちもセミコロン不要)
8. 身近に潜むprototype採用事例 (Test2::V0) is $obj, object { prop isa => 'Foo'; call meth => 'blah'; }; $obj の性質を宣言的にテストできる
9. 身近に潜むprototype採用事例 (List::MoreUtils) zip6 @xs, @ys, @zs; sub zip6 (\@\@;\@\@\@\@\@\@\@\@\@\@\@\@\@\@\@\@\@\@\@\@\@\@\@\@\@\ @\@\@\@\@) # \@ が32個 一番好きなprototypeです
10. リストを33個渡すと……?? use List::MoreUtils qw(zip6); my @x = (1); zip6 @x, @x, @x, @x, @x, @x, @x, @x, @x, @x, @x, @x, @x, @x, @x, @x, @x, @x, @x, @x, @x, @x, @x, @x, @x, @x, @x, @x, @x, @x, @x, @x; # @x が33個 Too many arguments for List::MoreUtils::XS::zip6 at zip6.pl line 6, near "@x;
11. prototype (+α) 活用事例
12. just epic. “just epic”と書くだけでサーバを起動する方法 - Hatena Developer Blog just epic. 2011-2022;
13. とりあえずDeparse % perl -MO=Deparse -e 'just epic. 2011-2022;' 'epic'->just . '2011' - 2022; -e syntax OK
14. 間接オブジェクト記法 • b A と書いたら A->b と解釈される ◦ Foo->new() を new Foo() って書ける • just epicでepicパッケージのjustメソッドを呼び出している • 新しめのPerl (>= 5.32) では no feature 'indirect'; で無効化できる • print STDERR "YO" のような記法はno feature 'indirect' 下でも書ける
15. just epic? no feature 'indirect'; just epic. 2011-2022; sub epic::just { } Unquoted string "just" may clash with future reserved word at - line 2. (中略)
16. 作戦 • just, epic というサブルーチンをそれぞれ用意する • 警告ゼロを目指す ◦ use strict; use warnings; は義務 ◦ no warnings; も使わずに済ませたい
17. just epic. (間接オブジェクト記法なし) no feature 'indirect'; sub just ($) {} # ここでサーバーを起動する sub epic () { return 1 } just epic. 2011-2022;
18. prototypeなしでもOK no feature 'indirect'; sub just {} sub epic { 1 } just epic. 2011-2022; Deparseしたときの美しさはこっちの方が高いかも?
19. Webサーバーを起動する • https://gist.github.com/utgwkk/febc9e199ecc3c44eb987ea2a913a461 • ここでデモ
20. dot言語 (graphviz) https://blog.utgw.net/entry/2021/10/19/221139 digraph haisen { 電子レンジラック -> 手前コンセント; 冷蔵庫 -> 手前コンセント; …; }
21. もしかしてこれはPerlでは??? https://blog.utgw.net/entry/2021/10/19/221139 digraph haisen { 電子レンジラック -> 手前コンセント; 冷蔵庫 -> 手前コンセント; …; }
22. 方針 • Perlプログラムの中にdot言語のコードを埋め込む • Perlとして実行したらdot言語のコードが出力される
23. 適切なprototypeを設定する sub digraph ($) { } sub haisen (&) { } これで digraph haisen { … } と書ける
24. メソッド呼び出しをハンドリングする sub UNIVERSAL::AUTOLOAD { … } あらゆるモジュールの (UNIVERSAL) 存在しないメソッド呼び出しをハンドリング (AUTOLOAD) (モジュール名)::(メソッド名) を (モジュール名) -> (メソッド名) に変える
25. できたもの • https://gist.github.com/utgwkk/47140c80b7a61fbdb6656c7d4ea29ae0 • ここでデモ • perl dot.pl | dot -Tpng -oout.png
26. まとめ • prototypeを使うといろんなことが実現できる • just epic. を間接オブジェクト記法なしで書ける • dot言語をPerlプログラムとして解釈できる ◦ 今後の課題: グラフ名を自由に指定できるようにする