Why Prism?

Prism is many things: a new default library for parsing Ruby in CRuby 3.3+, the default parser for almost every Ruby implementation in the world, as well as a package in 5 different languages. This talk explains why it was created, the challenges involved, and where the project is going.

Transcript

1. Kevin Newton, Shopify Why Prism? Fukuok a RubyistK a igi 04
2. Disclaimer 免責事項 I have Japanese translations on these slides that were done by DeepL. I am sorry if they are bad. このスライドはDeepLが 日 本語に翻訳したものです。悪 かったらごめんなさい。
3. What is Prism? Prismとは？
4. What is Prism? C Libr a ry (C99+)
5. What is Prism? Ruby language parser written in C99 C99で書かれたRuby 言 語パーサー C Libr a ry (C99+)
6. What is Prism? Ruby language parser written in C99 C99で書かれたRuby 言 語パーサー • CRuby bindings → native extension C Libr a ry (C99+)
7. What is Prism? Ruby language parser written in C99 C99で書かれたRuby 言 語パーサー • CRuby bindings → native extension C Libr a ry (C99+)
8. What is Prism? Ruby language parser written in C99 C99で書かれたRuby 言 語パーサー • CRuby bindings → native extension • Java bindings → serialization and FFI C Libr a ry (C99+)
9. What is Prism? Ruby language parser written in C99 C99で書かれたRuby 言 語パーサー • CRuby bindings → native extension • Java bindings → serialization and FFI C Libr a ry (C99+)
10. What is Prism? Ruby language parser written in C99 C99で書かれたRuby 言 語パーサー • CRuby bindings → native extension • Java bindings → serialization and FFI • JavaScript/TypeScript bindings → WASM C Libr a ry (C99+)
11. What is Prism? Ruby language parser written in C99 C99で書かれたRuby 言 語パーサー • CRuby bindings → native extension • Java bindings → serialization and FFI • JavaScript/TypeScript bindings → WASM C Libr a ry (C99+)
12. What is Prism? Ruby language parser written in C99 C99で書かれたRuby 言 語パーサー • CRuby bindings → native extension • Java bindings → serialization and FFI • JavaScript/TypeScript bindings → WASM • Rust bindings → bindgen C Libr a ry (C99+)
13. What is Prism? Ruby language parser written in C99 C99で書かれたRuby 言 語パーサー • CRuby bindings → native extension • Java bindings → serialization and FFI • JavaScript/TypeScript bindings → WASM • Rust bindings → bindgen C Libr a ry (C99+)
14. What is Prism? Ruby language parser written in C99 C99で書かれたRuby 言 語パーサー • CRuby bindings → native extension • Java bindings → serialization and FFI • JavaScript/TypeScript bindings → WASM • Rust bindings → bindgen • C++ bindings → extern C C Libr a ry (C99+)
15. What is Prism? Ruby language parser written in C99 C99で書かれたRuby 言 語パーサー • CRuby bindings → native extension • Java bindings → serialization and FFI • JavaScript/TypeScript bindings → WASM • Rust bindings → bindgen • C++ bindings → extern C C Libr a ry (C99+)
16. What is Prism? Ruby Gem (CRuby 2.7+)
17. What is Prism? • Syntax tree with rich location information 豊富な位置情報を持つ構 文 ツリー Ruby Gem (CRuby 2.7+)
18. What is Prism? • Syntax tree with rich location information 豊富な位置情報を持つ構 文 ツリー Ruby Gem (CRuby 2.7+) irb(main):001> Prism.parse("1 + 2") => #<Prism::ParseResult:0x00000001047b4e70 @comments=[], @data_loc=nil, @errors=[], @magic_comments=[], @source= #<Prism::ASCIISource:0x0000000109b72360 @offsets=[0], @source="1 + 2", @start_line=1>, @value= @ ProgramNode (location: (1,0)-(1,5)) ├── flags: ∅ ├── locals: [] └── statements: @ StatementsNode (location: (1,0)-(1,5)) ├── flags: ∅ └── body: (length: 1) └── @ CallNode (location: (1,0)-(1,5)) ├── flags: newline ├── receiver: │ @ IntegerNode (location: (1,0)-(1,1)) │ ├── flags: static_literal, decimal │ └── value: 1 ├── call_operator_loc: ∅ ├── name: :+ ├── message_loc: (1,2)-(1,3) = "+" ├── opening_loc: ∅ ├── arguments: │ @ ArgumentsNode (location: (1,4)-(1,5)) │ ├── flags: ∅ │ └── arguments: (length: 1) │ └── @ IntegerNode (location: (1,4)-(1,5)) │ ├── flags: static_literal, decimal │ └── value: 2 ├── closing_loc: ∅ └── block: ∅, @warnings= [#<Prism::ParseWarning @type=:void_statement @message="possibly useless use of + in void context" @location=#<Prism::Location @start_offset=0 @length=5 start_line=1> @level=:verbose>]> irb(main):002>
19. What is Prism? • Syntax tree with rich location information 豊富な位置情報を持つ構 文 ツリー • Translation 翻訳 Ruby Gem (CRuby 2.7+)
20. What is Prism? • Syntax tree with rich location information 豊富な位置情報を持つ構 文 ツリー • Translation 翻訳 • Ripper Ruby Gem (CRuby 2.7+)
21. What is Prism? • Syntax tree with rich location information 豊富な位置情報を持つ構 文 ツリー • Translation 翻訳 • Ripper Ruby Gem (CRuby 2.7+) irb(main):001> Ripper.sexp_raw("1 + 2") => [:program, [:stmts_add, [:stmts_new], [:binary, [:@int, "1", [1, 0]], :+, [:@int, "2", [1, 4]]]]] irb(main):002> Prism::Translation::Ripper.sexp_raw("1 + 2") => [:program, [:stmts_add, [:stmts_new], [:binary, [:@int, "1", [1, 0]], :+, [:@int, "2", [1, 4]]]]] irb(main):003>
22. What is Prism? • Syntax tree with rich location information 豊富な位置情報を持つ構 文 ツリー • Translation 翻訳 • Ripper • seattlerb/ruby_parser Ruby Gem (CRuby 2.7+)
23. What is Prism? • Syntax tree with rich location information 豊富な位置情報を持つ構 文 ツリー • Translation 翻訳 • Ripper • seattlerb/ruby_parser Ruby Gem (CRuby 2.7+) irb(main):001> RubyParser.new.parse("1 + 2") => s(:call, s(:lit, 1), :+, s(:lit, 2)) irb(main):002> Prism::Translation::RubyParser.new.parse("1 + 2") => s(:call, s(:lit, 1), :+, s(:lit, 2)) irb(main):003>
24. What is Prism? • Syntax tree with rich location information 豊富な位置情報を持つ構 文 ツリー • Translation 翻訳 • Ripper • seattlerb/ruby_parser • whitequark/parser Ruby Gem (CRuby 2.7+)
25. What is Prism? • Syntax tree with rich location information 豊富な位置情報を持つ構 文 ツリー • Translation 翻訳 • Ripper • seattlerb/ruby_parser • whitequark/parser Ruby Gem (CRuby 2.7+) irb(main):001> Parser::CurrentRuby.parse("1 + 2") => s(:send, s(:int, 1), :+, s(:int, 2)) irb(main):002> Prism::Translation::Parser.parse("1 + 2") => s(:send, s(:int, 1), :+, s(:int, 2)) irb(main):003>
26. What is Prism? • Syntax tree with rich location information 豊富な位置情報を持つ構 文 ツリー • Translation 翻訳 • Ripper • seattlerb/ruby_parser • whitequark/parser • APIs for pattern matching, searching, etc. パターンマッチング、検索などのためのAPI。 Ruby Gem (CRuby 2.7+)
27. What is Prism? • Syntax tree with rich location information 豊富な位置情報を持つ構 文 ツリー • Translation 翻訳 • Ripper • seattlerb/ruby_parser • whitequark/parser • APIs for pattern matching, searching, etc. パターンマッチング、検索などのためのAPI。 Ruby Gem (CRuby 2.7+) irb(main):001> value = Prism.parse("[1, 2, 3, 4, 5]").value => @ ProgramNode (location: (1,0)-(1,15)) ... irb(main):002* value.breadth_first_search do |node| irb(main):003* node in Prism::IntegerNode[value: 5..] irb(main):004> end => @ IntegerNode (location: (1,13)-(1,14)) ├── flags: static_literal, decimal └── value: 5 irb(main):005>
28. What is Prism? • Syntax tree with rich location information 豊富な位置情報を持つ構 文 ツリー • Translation 翻訳 • Ripper • seattlerb/ruby_parser • whitequark/parser • APIs for pattern matching, searching, etc. パターンマッチング、検索などのためのAPI。 • RBS + Steep, RBI + Sorbet Ruby Gem (CRuby 2.7+)
29. What is Prism? • Syntax tree with rich location information 豊富な位置情報を持つ構 文 ツリー • Translation 翻訳 • Ripper • seattlerb/ruby_parser • whitequark/parser • APIs for pattern matching, searching, etc. パターンマッチング、検索などのためのAPI。 • RBS + Steep, RBI + Sorbet Ruby Gem (CRuby 2.7+)
30. What is Prism? CRuby compiler
31. What is Prism? • A new compiler for CRuby 3.3+ CRuby 3.3+ 用 の新しいコンパイラ CRuby compiler
32. What is Prism? • A new compiler for CRuby 3.3+ CRuby 3.3+ 用 の新しいコンパイラ • Generates the same YARV instruction sequences as compile.c compile.cと同じYARV命令シーケンスを 生 成する。 CRuby compiler
33. What is Prism? • A new compiler for CRuby 3.3+ CRuby 3.3+ 用 の新しいコンパイラ • Generates the same YARV instruction sequences as compile.c compile.cと同じYARV命令シーケンスを 生 成する。 • A richer AST simpli fi es compilation リッチなASTはコンパイルを単純化する CRuby compiler
34. What is Prism? CRuby compiler
35. What is Prism? CRuby compiler
36. What is Prism? CRuby compiler
37. What is Prism? CRuby compiler Same optimizations, less code. 同じ最適化、より少ないコード。
38. Requirements 必要条件
39. Requirements Criteri a
40. Requirements • Involve the community of language developers from the start 言 語開発者のコミュニティを最初から巻き込む Criteri a
41. Requirements • Involve the community of language developers from the start 言 語開発者のコミュニティを最初から巻き込む • Same or better performance 同等以上のパフォーマンス Criteri a
42. Requirements • Involve the community of language developers from the start 言 語開発者のコミュニティを最初から巻き込む • Same or better performance 同等以上のパフォーマンス • Same or better memory usage 同じかそれ以上のメモリ使 用 量 Criteri a
43. Requirements • Involve the community of language developers from the start 言 語開発者のコミュニティを最初から巻き込む • Same or better performance 同等以上のパフォーマンス • Same or better memory usage 同じかそれ以上のメモリ使 用 量 • Error tolerant 誤差公差 Criteri a
44. Requirements • Involve the community of language developers from the start 言 語開発者のコミュニティを最初から巻き込む • Same or better performance 同等以上のパフォーマンス • Same or better memory usage 同じかそれ以上のメモリ使 用 量 • Error tolerant 誤差公差 • Portable to other implementations and tools 他の実装やツールへの移植性 Criteri a
45. Requirements • Involve the community of language developers from the start 言 語開発者のコミュニティを最初から巻き込む • Same or better performance 同等以上のパフォーマンス • Same or better memory usage 同じかそれ以上のメモリ使 用 量 • Error tolerant 誤差公差 • Portable to other implementations and tools 他の実装やツールへの移植性 • Maintainable 維持可能 Criteri a
46. Requirements Fe a tures
47. Requirements • Written in C99, supporting same platforms as CRuby C99で書かれ、CRubyと同じプラットフォームをサポートする。 Fe a tures
48. Requirements • Written in C99, supporting same platforms as CRuby C99で書かれ、CRubyと同じプラットフォームをサポートする。 • Bindings to Java, C++, Rust, and WASM Java、C++、Rust、WASMへのバインディング Fe a tures
49. Requirements • Written in C99, supporting same platforms as CRuby C99で書かれ、CRubyと同じプラットフォームをサポートする。 • Bindings to Java, C++, Rust, and WASM Java、C++、Rust、WASMへのバインディング • FFI bindings can only require one function call FFIバインディングは1つの関数呼び出ししか必要としない Fe a tures
50. Requirements • Written in C99, supporting same platforms as CRuby C99で書かれ、CRubyと同じプラットフォームをサポートする。 • Bindings to Java, C++, Rust, and WASM Java、C++、Rust、WASMへのバインディング • FFI bindings can only require one function call FFIバインディングは1つの関数呼び出ししか必要としない • Small memory footprint to support embedded targets 組み込みターゲットをサポートする 小 さなメモリフットプリント Fe a tures
51. Requirements P a rser intern a ls
52. Requirements • Encoding support (90 encodings, 154 names) エンコーディングɾサポート P a rser intern a ls
53. Requirements • Encoding support (90 encodings, 154 names) エンコーディングɾサポート P a rser intern a ls if (parser->encoding->isupper_char(start, length)) { return PM_TOKEN_CONSTANT; } else { return PM_TOKEN_IDENTIFIER; }
54. Requirements • Encoding support (90 encodings, 154 names) エンコーディングɾサポート • Regular expression support (named captures, encoding, extended mode) 正規表現のサポート P a rser intern a ls
55. Requirements • Encoding support (90 encodings, 154 names) エンコーディングɾサポート • Regular expression support (named captures, encoding, extended mode) 正規表現のサポート P a rser intern a ls /(?<a>\w)/ =~ "b" a # => "b"
56. Requirements • Encoding support (90 encodings, 154 names) エンコーディングɾサポート • Regular expression support (named captures, encoding, extended mode) 正規表現のサポート • Static literals/string concatenation 文 字列の連結 P a rser intern a ls
57. Requirements • Encoding support (90 encodings, 154 names) エンコーディングɾサポート • Regular expression support (named captures, encoding, extended mode) 正規表現のサポート • Static literals/string concatenation 文 字列の連結 P a rser intern a ls "a #{"b"} c " "d e " "f" == disasm: #<ISeq:<main>@test.rb:1 (1,0)-(1,24)> 0000 putstring "a b c d e f" ( 1) [Li] 0002 leave
58. Requirements • Encoding support (90 encodings, 154 names) エンコーディングɾサポート • Regular expression support (named captures, encoding, extended mode) 正規表現のサポート • Static literals/string concatenation 文 字列の連結 • RActor pragmas RActor のコメント P a rser intern a ls
59. Requirements • Encoding support (90 encodings, 154 names) エンコーディングɾサポート • Regular expression support (named captures, encoding, extended mode) 正規表現のサポート • Static literals/string concatenation 文 字列の連結 • RActor pragmas RActor のコメント P a rser intern a ls # shareable_constant_value: literal C = { a: b }
60. Requirements • Encoding support (90 encodings, 154 names) エンコーディングɾサポート • Regular expression support (named captures, encoding, extended mode) 正規表現のサポート • Static literals/string concatenation 文 字列の連結 • RActor pragmas RActor のコメント P a rser intern a ls == disasm: #<ISeq:<main>@test.rb:1 (1,0)-(1,12)> 0000 putobject :a ( 1)[Li] 0002 putself 0003 opt_send_without_block <calldata!mid:b, argc:0, FCALL|VCALL|ARGS_SIMPLE> 0005 newhash 2 0007 dup 0008 putspecialobject 3 0010 setconstant :C 0012 leave
61. Requirements • Encoding support (90 encodings, 154 names) エンコーディングɾサポート • Regular expression support (named captures, encoding, extended mode) 正規表現のサポート • Static literals/string concatenation 文 字列の連結 • RActor pragmas RActor のコメント P a rser intern a ls == disasm: #<ISeq:<main>@test.rb:1 (1,0)-(3,12)> 0000 putobject RubyVM::FrozenCore ( 3)[Li] 0002 putobject :a 0004 putobject RubyVM::FrozenCore 0006 putself 0007 opt_send_without_block <calldata!mid:b, argc:0, FCALL|VCALL|ARGS_SIMPLE> 0009 putobject "C" 0011 opt_send_without_block <calldata!mid:ensure_shareable, argc:2, ARGS_SIMPLE> 0013 newhash 2 0015 opt_send_without_block <calldata!mid:make_shareable, argc:1, ARGS_SIMPLE> 0017 dup 0018 putspecialobject 3 0020 setconstant :C 0022 leave
62. Requirements P a rser extern a ls
63. Requirements • String, fi le, FIFO fi le, IO P a rser extern a ls
64. Requirements • String, fi le, FIFO fi le, IO P a rser extern a ls Prism.parse(source) Prism.parse_file(filepath) Prism.parse_file(File.mkfifo("tmp/fifo")) Prism.parse_stream(STDIN)
65. Requirements • String, fi le, FIFO fi le, IO • RubyVM.keep_script_lines, SCRIPT_LINES__ P a rser extern a ls
66. Requirements • String, fi le, FIFO fi le, IO • RubyVM.keep_script_lines, SCRIPT_LINES__ P a rser extern a ls SCRIPT_LINES__ = {} require "prism" SCRIPT_LINES__.keys.length # => 6
67. Requirements • String, fi le, FIFO fi le, IO • RubyVM.keep_script_lines, SCRIPT_LINES__ • DATA, __END__ P a rser extern a ls
68. Requirements • String, fi le, FIFO fi le, IO • RubyVM.keep_script_lines, SCRIPT_LINES__ • DATA, __END__ P a rser extern a ls DATA.read # => "Hello, world!" __END__ Hello, world!
69. Requirements • String, fi le, FIFO fi le, IO • RubyVM.keep_script_lines, SCRIPT_LINES__ • DATA, __END__ • --dump=parsetree P a rser extern a ls
70. Requirements • String, fi le, FIFO fi le, IO • RubyVM.keep_script_lines, SCRIPT_LINES__ • DATA, __END__ • --dump=parsetree P a rser extern a ls @ ProgramNode (location: (1,0)-(1,1)) +-- locals: [] +-- statements: @ StatementsNode (location: (1,0)-(1,1)) +-- body: (length: 1) +-- @ IntegerNode (location: (1,0)-(1,1)) +-- IntegerBaseFlags: decimal +-- value: 1
71. Requirements • String, fi le, FIFO fi le, IO • RubyVM.keep_script_lines, SCRIPT_LINES__ • DATA, __END__ • --dump=parsetree • shebang fl ags P a rser extern a ls
72. Requirements • String, fi le, FIFO fi le, IO • RubyVM.keep_script_lines, SCRIPT_LINES__ • DATA, __END__ • --dump=parsetree • shebang fl ags P a rser extern a ls #! /usr/local/bin/ruby -s
73. Requirements • String, fi le, FIFO fi le, IO • RubyVM.keep_script_lines, SCRIPT_LINES__ • DATA, __END__ • --dump=parsetree • shebang fl ags • eval scopes P a rser extern a ls
74. Requirements • String, fi le, FIFO fi le, IO • RubyVM.keep_script_lines, SCRIPT_LINES__ • DATA, __END__ • --dump=parsetree • shebang fl ags • eval scopes P a rser extern a ls a = 1 eval("a + 2")
75. By-products 副産物
76. By-products • Bug #19838 — Ripper nested heredocs • Bug #19848 — Ripper BOM • Bug #19924 — Character literal \xFF stops parsing • Bug #20025 — Parsing identi fi ers is case-folding dependent • Bug #20041 — Array restructuring and default values in parameters • Bug #20043 — de fi ned? checks for method existence, but only sometimes • Bug #20217 — void value not checked for begin/ensure/rescue • Bug #20392 — delegate super calls with a block P a rser/compiler bugs (p a ge 1/2)
77. By-products P a rser/compiler bugs (p a ge 2/2) • Bug #20417 — RubyVM::AbstractSyntaxTree.parse warns about block local variables • Bug #20449 — Ripper issue in fi eld production on Ruby 3.1.5 • Bug #20474 — Heredoc common leading whitespace calculation • Bug #20571 — Compile error on for loop • Bug #20572 — Compilation hangs with nested until
78. By-products • Bug #19835 — Parser leaks memory for incomplete tokens • Bug #19836 — Parser leaks memory for incomplete lambdas • Bug #20521 — Memory leak in Ripper parsing Memory le a ks
79. By-products • Bug #20219 — Segfault with circular parameter • Bug #20339 — Parser segfault with ractor comment • Bug #20341 — Parser segfault with shareable constant with array • Bug #20468 — Segfault on safe navigation in for target Segf a ults
80. By-products • Bug #19904 — Deprecate or warn on multiple regular expression encodings • Bug #19973 — Duplicate keyword argument names don't always warn • Bug #20457 — Final `return` is eliminated from the AST • Bug #20465 — parse.y adds an extra empty string to the AST • Bug #20466 — Interpolated regular expressions have di ff erent encoding than interpolated strings Us a bility issues
81. Criticisms 批判
82. Criticisms “L a ck of a form a l gr a mm a r will le a d to a synt a x combin a tion explosion” 正式な 文 法が 欠 如していると、構 文 の組み合わせが爆発してしまう。
83. Criticisms b rescue d b rescue d e b rescue d(e) b(c) rescue d b(c) rescue d e b(c) rescue d(e) b c rescue d b c rescue d e b c rescue d(e) a = b rescue d a = b rescue d e a = b rescue d(e) a = b(c) rescue d a = b(c) rescue d e a = b(c) rescue d(e) a = b c rescue d a = b c rescue d e a = b c rescue d(e)
84. Criticisms for a in c do end for a, b in c do end for a, b, in c do end for a, *, b in c do end for (a, b) in c do end for @a in c do end for @@a in c do end for $a in c do end for A in c do end for A::B in c do end for a.b in c do end for a::b in c do end for a&.b in c do end for a[:b] in c do end for a[b:] in c do end for a[&b] in c do end
85. Criticisms for a in c do end for a, b in c do end for a, b, in c do end for a, *, b in c do end for (a, b) in c do end for @a in c do end for @@a in c do end for $a in c do end for A in c do end for A::B in c do end for a.b in c do end for a::b in c do end for a&.b in c do end for a[:b] in c do end for a[b:] in c do end for a[&b] in c do end 💥💥 Segfault
86. Criticisms for a in c do end for a, b in c do end for a, b, in c do end for a, *, b in c do end for (a, b) in c do end for @a in c do end for @@a in c do end for $a in c do end for A in c do end for A::B in c do end for a.b in c do end for a::b in c do end for a&.b in c do end for a[:b] in c do end for a[b:] in c do end for a[&b] in c do end If nobu doesn’t know about it, then no one knows about it. nobu が知らなければ、誰も知らない。
87. Criticisms “A h a nd-written p a rser is b a d for m a int a in a bility. LALR is better.” 手 書きのパーサーは保守性に悪い。LALRの 方 が良い。
88. Criticisms
89. Criticisms Parser generator • Ruby (CRuby) • PostgreSQL/MySQL/SQLite • PHP (Zend) • Python (CPython)
90. Criticisms Parser generator • Ruby (CRuby) • PostgreSQL/MySQL/SQLite • PHP (Zend) • Python (CPython) Hand-written • C/C++ (GCC) • C/C++ (Clang) • C# (Roslyn) • CSS (Chromium) • Go • Java (OpenJDK) • JavaScript (V8) • Julia • Lua • Rust • Swift • TypeScript • PHP (Microsoft)
91. Criticisms Parser generator • Ruby (CRuby) • PostgreSQL/MySQL/SQLite • PHP (Zend) • Python (CPython) Hand-written • C/C++ (GCC) • C/C++ (Clang) • C# (Roslyn) • CSS (Chromium) • Go • Java (OpenJDK) • JavaScript (V8) • Julia • Lua • Rust • Swift • TypeScript • PHP (Microsoft)
92. Criticisms “A h a nd-written p a rser requires more lines of code, it is not a s re a d a ble” 手 書きのパーサーは、より多くのコード 行 を必要とし、可読性に劣る。
93. Criticisms It’s true, parse_conditional is very large. 確かにparse_conditionalは 非 常に 大 きい。
94. Criticisms ... but it does not have to be. Now it is fewer lines than parse.y. …しかし、その必要はない。 今はparse.yより 行 数が少な い。
95. Criticisms “P a rser gener a tors a re b a sed on computer science. H a nd-written p a rsers a re not.” パーサー・ジェネレーターはコンピュータ科学に基づいている 手 書きのパーサーはそうではありません。
96. Criticisms • Analysis of the Structure of Formula Translators (1961) • Top Down Operator Precedence (1973) • Evaluating and Improving Recursive Descent Parsers (1979) • Incremental Recursive Descent Parsing (1990) • Compact Recursive-Descent Parsing of Expressions (1985) • Generalised Recursive Descent Parsing and Follow-Determinisms (1998) • Parsing Expressions by Recursive Descent (1999) • Recursive-descent Parsing (2012)
97. Status ステータス
98. Status Ruby implement a tions
99. Status • CRuby → C, optional in 3.3, default in next 3.4 preview 3.3ではオプション、次期3.4プレビューではデフォルト Ruby implement a tions
100. Status • CRuby → C, optional in 3.3, default in next 3.4 preview 3.3ではオプション、次期3.4プレビューではデフォルト • JRuby → serialization, FFI, Java, and WASM Ruby implement a tions
101. Status • CRuby → C, optional in 3.3, default in next 3.4 preview 3.3ではオプション、次期3.4プレビューではデフォルト • JRuby → serialization, FFI, Java, and WASM • Tru ffl eRuby → serialization, FFI, Java Ruby implement a tions
102. Status • CRuby → C, optional in 3.3, default in next 3.4 preview 3.3ではオプション、次期3.4プレビューではデフォルト • JRuby → serialization, FFI, Java, and WASM • Tru ffl eRuby → serialization, FFI, Java • Natalie → serialization, FFI, C++, Ruby Ruby implement a tions
103. Status • CRuby → C, optional in 3.3, default in next 3.4 preview 3.3ではオプション、次期3.4プレビューではデフォルト • JRuby → serialization, FFI, Java, and WASM • Tru ffl eRuby → serialization, FFI, Java • Natalie → serialization, FFI, C++, Ruby • mruby → experimental Ruby implement a tions
104. Status • CRuby → C, optional in 3.3, default in next 3.4 preview 3.3ではオプション、次期3.4プレビューではデフォルト • JRuby → serialization, FFI, Java, and WASM • Tru ffl eRuby → serialization, FFI, Java • Natalie → serialization, FFI, C++, Ruby • mruby → experimental • PicoRuby → experimental Ruby implement a tions
105. Status • CRuby → C, optional in 3.3, default in next 3.4 preview 3.3ではオプション、次期3.4プレビューではデフォルト • JRuby → serialization, FFI, Java, and WASM • Tru ffl eRuby → serialization, FFI, Java • Natalie → serialization, FFI, C++, Ruby • mruby → experimental • PicoRuby → experimental • Opal → experimental, Ruby, WASM Ruby implement a tions
106. Status • CRuby → C, optional in 3.3, default in next 3.4 preview 3.3ではオプション、次期3.4プレビューではデフォルト • JRuby → serialization, FFI, Java, and WASM • Tru ffl eRuby → serialization, FFI, Java • Natalie → serialization, FFI, C++, Ruby • mruby → experimental • PicoRuby → experimental • Opal → experimental, Ruby, WASM • Garnet → WASM Ruby implement a tions
107. Status • minifyrb • packwerk • rbi • rails • repl_type_completer • rubocop Ruby libr a ries a nd tools • ruby-lsp • sorbet • syntax_suggest • syntax_tree • typeprof
108. Status • Involve the community of language developers from the start 言 語開発者のコミュニティを最初から巻き込む • Same or better performance 同等以上のパフォーマンス • Same or better memory usage 同じかそれ以上のメモリ使 用 量 • Error tolerant 誤差公差 • Portable to other implementations and tools 他の実装やツールへの移植性 • Maintainable 維持可能 Criteri a
109. Status • Involve the community of language developers from the start ✅ 言 語開発者のコミュニティを最初から巻き込む • Same or better performance 同等以上のパフォーマンス • Same or better memory usage 同じかそれ以上のメモリ使 用 量 • Error tolerant 誤差公差 • Portable to other implementations and tools 他の実装やツールへの移植性 • Maintainable 維持可能 Criteri a
110. Status • Involve the community of language developers from the start ✅ 言 語開発者のコミュニティを最初から巻き込む • Same or better performance 同等以上のパフォーマンス ✅ • Same or better memory usage 同じかそれ以上のメモリ使 用 量 • Error tolerant 誤差公差 • Portable to other implementations and tools 他の実装やツールへの移植性 • Maintainable 維持可能 Criteri a
111. Status • Involve the community of language developers from the start ✅ 言 語開発者のコミュニティを最初から巻き込む • Same or better performance 同等以上のパフォーマンス ✅ • Same or better memory usage 同じかそれ以上のメモリ使 用 量 ✅ • Error tolerant 誤差公差 • Portable to other implementations and tools 他の実装やツールへの移植性 • Maintainable 維持可能 Criteri a
112. Status • Involve the community of language developers from the start ✅ 言 語開発者のコミュニティを最初から巻き込む • Same or better performance 同等以上のパフォーマンス ✅ • Same or better memory usage 同じかそれ以上のメモリ使 用 量 ✅ • Error tolerant 誤差公差 ✅ • Portable to other implementations and tools 他の実装やツールへの移植性 • Maintainable 維持可能 Criteri a
113. Status • Involve the community of language developers from the start ✅ 言 語開発者のコミュニティを最初から巻き込む • Same or better performance 同等以上のパフォーマンス ✅ • Same or better memory usage 同じかそれ以上のメモリ使 用 量 ✅ • Error tolerant 誤差公差 ✅ • Portable to other implementations and tools 他の実装やツールへの移植性 ✅ • Maintainable 維持可能 Criteri a
114. Status • Involve the community of language developers from the start ✅ 言 語開発者のコミュニティを最初から巻き込む • Same or better performance 同等以上のパフォーマンス ✅ • Same or better memory usage 同じかそれ以上のメモリ使 用 量 ✅ • Error tolerant 誤差公差 ✅ • Portable to other implementations and tools 他の実装やツールへの移植性 ✅ • Maintainable 維持可能 ✅ Criteri a
115. Conclusions 結論
116. Having two parsers and compilers is bad for maintenance. パーサーとコンパイラーを2つ持つことは メンテナンス上良くない。
117. It will be a very large amount of work to reimplement Prism internals. Prismの内部を再実装するのは、 非 常に膨 大 な作業になるだろう。
118. If we work together on Prism, we could have the best possible parser and compiler. Prismで協 力 し合えば、 最 高 のパーサーとコンパイラができるだろう。
119. Kevin Newton, Shopify Why Prism? Fukuok a RubyistK a igi 04