Get an improved navigation experience with a Chrominium based browser.
Dismiss
Ruby Video
Talks
Speakers
Events
Leaderboard
Sign in
Talks
Speakers
Events
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
Summary
Markdown supported
Suggest modifications
Cancel