Echo_itself_by__.pdf

Transcript

1. Echo itself by 🦀 Genkai LT #5 Generated by DALL-E3 Prompt: "自己言及するカニ"
2. Introduce raiga0310/AHOXA/ライガー Backend Rust/TypeScript/PHP https://profile.a6x.dev ***twitter***: @ahoxa1rx
3. Quineって知ってる?
4. Quine クワイン 自身のソースコードと同じ文字列を出力するコード 任意のプログラミング言語 [注]で実装できる 注:任意の計算可能な文字列を出力できるプログラミング言語にはクワインが存在する､別に チューリング完全である必要はない
5. Quineの例(C)
6. ナイーブな実装
7. 長い
8. もう少し簡単な例
10. ナイーブなQuineのポイント このコードは｢このコードは｢ ...｣を出力する｣を出力する ↑のような再帰的な出力を考える …が無限に増えないように考える さっきの例だとプリプロセッサとマクロ展開を利用した実装 ｢出力部の前後｣をどう出力するかとかが結構重要
11. きれいな(?)Quine
12. Haskell
13. Scheme & Common Lisp
14. HQ9+
15. ほんへ(Rust)
16. 実装パターン • ナイーブな実装 ◦ フォーマットの出力形式を利用する • ズル(?) ◦ Built-inマクロを使います • macro_rules!でオレオレマクロ ◦ 魔術 • Bling-Bang-Bang-Born • 他にもあるかもしれないけど自分で作って :heart:
17. ナイーブ実装
18. 徐々に実装していく まず普通に出力してみる
19. このコードを入れてみる
20. このままだと再帰地獄なので､前後半に分ける
21. Rustのフォーマット記法 デバッグ記法を活用する format!系列(文字列に展開する系)の記法 https://doc.rust-lang.org/std/fmt/index.html#syntax
24. Rustのフォーマット記法 基本的には｢{}｣を使って順序で展開する ｢{:?}｣や｢{:#?}｣を使うとDebugトレイトの実装にしたがって展開される ｢:｣の前後で展開する際のオプションをつけれる 前に｢数値｣または｢識別子｣を入れるとそれを参照する
25. 例
26. さっきの書きかけの実装をもう一度見てみる
27. この実装で足りない部分 愚直実装なのでこのままだと無限引数が生える • 『引数の数を減らす』『Quineの要件を満たす』両方やる →さっきのパラメータ参照するフォーマット記法を使う (+エスケープ記法もつかうのでデバッグ形式を使う )
28. 実装(formatかかったのはゆるして)
29. ズル(?)な実装
30. include_str!()がズル ファイルの内容自体を取得できる Quineのためにあると行っても過言ではない (は?)
31. macro_rules!を使う
32. macro_rules! 文法拡張記法 = 黒魔術 ルールにマッチするパターンを別の値･式に変換する
33. 縁の下の力持ちなのだが...... Actix-webのルーティング記法､Serenityのコマンド､#[tokio::main]などなど 標準出力のprint!()系の可変長引数を受容できる仕組みもマクロによるもの 実装によっては危惧されるべき動作を起こしやすい 気をつけて実装しようね(臆病すぎるのもあれだけど )
34. あとはナイーブな実装とほぼ同じ 注意するポイント format!系マクロでの{}のエスケープは2重にすること｢{{｣｢}}｣とか(1敗) 出力したあとに使えるようにするにはエスケープを残したいので {:?}をつかおうね(2敗)
35. まずコード自体を素直に入れてみる
36. オレ自身がフォーマッタになることだ
37. おまけ:Bling-Bang-Bang-Born
38. pelmers/quine参照
39. なにこれ 後半のコードの文字をすべて ASCIIで配列表現したものをcharにキャストして出力する力技
40. AAもあるよ なに食べたらひらめくの? https://rosettacode.org/wiki/Quine#Rust
41. Thx for listening ;)
42. おまけ https://x.com/mathlava/status/1762633882443411920?s=20