Talks
Speakers
Events
Topics
Sign in
Home
Talks
Speakers
Events
Topics
Leaderboard
Use
Analytics
Sign in
Suggest modification to this talk
Title
Description
After matz set Ruby 3 goals including static analysis, its requirements (and compromises) have been revealed gradually. We review the current status as far as we know, briefly survey some existing proposals and implementations related to type checking for Ruby, and clarify what is good and what is missing. Based on this survey, we prototype a type profiler, one of the missing parts for Ruby type checking system. A type profiler analyzes existing Ruby programs statically and dynamically, and creates a stub of type definitions. We discuss its design and show some experiment results. RubyKaigi 2018 https://rubykaigi.org/2018/presentations/mametter
Date
Summarized using AI?
If this talk's summary was generated by AI, please check this box. A "Summarized using AI" badge will be displayed in the summary tab to indicate that the summary was generated using AI.
Show "Summarized using AI" badge on summary page
Summary
Markdown supported
Suggest modifications
Cancel
