スライドを作成

1 files changed, 288 insertions, 0 deletions

diff --git a/slide.saty b/slide.saty
new file mode 100644
index 0000000..b49fe48
--- /dev/null
+++ b/slide.saty
@@ -0,0 +1,288 @@
+@require: class-slydifi/theme/akasaka
+@require: code-printer/code-design
+@require: code-printer/code-printer
+@require: code-printer/code-syntax
+@require: code-printer/code-theme
+@require: figbox/figbox
+
+let-block +code-block source keywords =
+  let syntax =
+    let void-syntax-rule = CodePrinter.syntax-rule-fun (fun _ -> None) in
+      CodePrinter.make-syntax (|
+        line-comment = void-syntax-rule;
+        block-comment = void-syntax-rule;
+        string = void-syntax-rule;
+        keywords = keywords;
+        identifier = void-syntax-rule;
+        others = [];
+      |)
+  in
+    '<
+      +code-printer?:(
+        CodePrinter.make-config syntax CodeTheme.iceberg-light
+        |> CodePrinter.set-number-fun CodeDesign.number-fun-null
+      )(source);
+    >
+
+let-block +code-block-php source =
+  '<
+    +code-printer?:(
+      CodePrinter.make-config CodeSyntax.php CodeTheme.iceberg-light
+      |> CodePrinter.set-number-fun CodeDesign.number-fun-null
+    )(source);
+  >
+
+let catchline-try = `<?php
+try {
+  f(3);
+} catch (Throwable $e) {
+  while ($e = $e->getPrevious()) {
+    printf('%c', $e->getLine() + 23);
+  }
+  echo "\n";
+}`
+
+let catchline-fn-f = `function f(int $i) {
+  if ($i < 0) f();
+  try {
+    match ($i) {
+      0 => X, // 12行目
+      // (間の空行は省略)
+      2 => X, // 49行目
+      // (間の空行は省略)
+      1, 3 => X, // 57行目
+    };
+  } finally {
+    f($i - 1);
+  }
+}`
+
+let catchline-fn-f-with-comments = `function f(int $i) {
+  if ($i < 0) f(); // エラー！引数が足りない！
+  try {
+    match ($i) {
+      0 => X, // 12行目: エラー！未定義の定数！
+      // (間の空行は省略)
+      2 => X, // 49行目: エラー！未定義の定数！
+      // (間の空行は省略)
+      1, 3 => X, // 57行目: エラー！未定義の定数！
+    };
+  } finally {
+    f($i - 1);
+  }
+}`
+
+let catchline-fn-f-snip = `function f(int $i) {
+  if ($i < 0) f();
+  try {
+    // ...
+  } finally {
+    f($i - 1);
+  }
+}`
+
+let error-chain = `<?php
+try {
+  try {
+    throw new \Exception("a");
+  } finally {
+    throw new \Exception("b");
+  }
+} catch (\Exception $e) {
+  echo $e->getMessage(), PHP_EOL; // => b
+  echo $e->getPrevious()->getMessage(), PHP_EOL; // => a
+}`
+
+open FigBox
+in
+
+document '<
+  +make-title(|
+    title = {
+      |PHPerKaigi 2023 のトークン問題で
+      |ボツにした問題を供養する
+      |};
+    author = {|nsfisis (いまむら)|};
+    date = {|第149回PHP勉強会＠東京|};
+  |);
+
+  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+  +frame{自己紹介}<
+    +fig-center(vconcat [
+      hconcat [
+        gap 20pt;
+        textbox{nsfisis (いまむら)};
+        gap 20pt;
+        include-image 50pt `assets/me.jpeg`;
+      ];
+      gap 20pt;
+      textbox{\@ デジタルサーカス株式会社};
+    ]);
+  >
+
+  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+  +frame{PHPerKaigiとは}<
+    +fig-center(vconcat [
+      gap 20pt;
+      textbox{2018年から開催されているPHPのカンファレンス};
+      gap 20pt;
+      textbox{今年2023年も、3月23日から25日に開催};
+    ]);
+  >
+
+  +frame{PHPerチャレンジとは}<
+    +fig-center(vconcat [
+      gap 20pt;
+      textbox{PHPerKaigiの企画の1つ};
+      gap 20pt;
+      textbox{\inline-code(`#`);から始まる文字列(トークン)を、};
+      textbox{公式サイトやスポンサーブログから探す};
+      gap 10pt;
+      textbox{例: \inline-code(`#PHP`);};
+    ]);
+  >
+
+  +frame{トークン問題とは}<
+    +fig-center(vconcat [
+      gap 20pt;
+      textbox{PHPerチャレンジのトークンを、PHPのソースコードに隠す};
+      gap 20pt;
+      textbox{実行したり解読したりするとトークンが入手できる};
+    ]);
+  >
+
+  +frame{デジタルサーカスのトークン問題}<
+    +fig-center(vconcat [
+      gap 20pt;
+      textbox{今年も問題を作成しました(全5問)};
+      gap 20pt;
+      textbox{ボツ問になった問題のうちの1問を供養};
+    ]);
+  >
+
+  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+  +frame{Catchline}<
+    +code-block-php(catchline-try);
+  >
+
+  +frame{Catchline}<
+    +code-block-php(catchline-fn-f);
+  >
+
+  +frame{Catchline}<
+    +code-block-php(catchline-try);
+    +p{
+      \inline-code(`f()`);を呼び出して\inline-code(`Throwable`);を捕まえ、何かする
+    }
+  >
+
+  +frame{Catchline}<
+    +code-block-php(catchline-fn-f-with-comments);
+  >
+
+  +frame{Catchline}<
+    +code-block-php(catchline-try);
+    +p{
+      \inline-code(`f(3)`);からスタート
+    }
+  >
+
+  +frame{Catchline}<
+    +code-block-php(catchline-fn-f-snip);
+    +p{
+      1ずつ減らして、\inline-code(`$i`);が負なら引数なしで呼ぶ
+    }
+  >
+
+  +frame{Catchline}<
+    +p{
+      \listing{
+        * \inline-code(`f(3)`);
+        * \inline-code(`f(2)`);
+        * \inline-code(`f(1)`);
+        * \inline-code(`f(0)`);
+        * \inline-code(`f(-1)`);
+        * \inline-code(`f()`); ここで終わり
+      }
+    }
+  >
+
+  +frame{Catchline}<
+    +code-block-php(catchline-try);
+    +p{
+      \inline-code(`\Throwable::getPrevious()`);を順に辿り、(エラーの発生した行数+23)を
+    }
+    +p{
+      ASCIIコード\text-color(Color.gray(0.75)){[1]}と見做して出力
+    }
+    +p{
+      \text-color(Color.gray(0.75)){[1]: VAS Syndrome}
+    }
+  >
+
+  +frame{Catchline}<
+    +p{
+      \inline-code(`\Throwable::getPrevious()`);
+    }
+    +p{
+      このエラーの1つ前のエラー(=大本の原因)
+    }
+    +p{
+      \listing{
+        * エラー処理中に別のエラーが起きたとき、元々のエラーを保存する
+        * 内部利用しているライブラリが投げた例外クラスを、自分で定義した例外クラスでラップする
+      }
+    }
+  >
+
+  +frame{Catchline}<
+    +code-block-php(error-chain);
+    +p{
+      \inline-code(`finally`);節の中で例外を発生させると、PHPの処理系が勝手に`$previous`を設定する
+    }
+  >
+
+  +frame{Catchline}<
+    +code-block-php(catchline-fn-f-with-comments);
+  >
+
+  +frame{Catchline}<
+    +code-block-php(catchline-try);
+    +p{
+      (エラーの発生した行数+23)をASCIIコードと見做して出力
+    }
+  >
+
+  +frame{Catchline}<
+    +code-block-php(catchline-fn-f-with-comments);
+  >
+
+  +frame{Catchline}<
+    +p{
+      \listing{
+        * 12 + 23 = 35 (\inline-code(`#`);)
+        * 49 + 23 = 72 (\inline-code(`H`);)
+        * 57 + 23 = 80 (\inline-code(`P`);)
+      }
+    }
+    +p{
+      組み合わせて\inline-code(`#PHP`);に
+    }
+  >
+
+  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+  +frame{おわりに}<
+    +fig-center(vconcat ?:(align-center) [
+      gap 20pt;
+      textbox{来たる3月のPHPerKaigi 2023で};
+      gap 20pt;
+      textbox{これより数段凝った問題を5つ出題します！};
+      gap 20pt;
+      textbox{みなさまの挑戦をお待ちしております！};
+    ]);
+  >
+>