Type Checking
Keynote: TypeProf for IDE: Enrich Dev-Experience without Annotations

Keynote: TypeProf for IDE: Enrich Dev-Experience without Annotations
Yusuke Endoh • September 09, 2021 • online

Ruby 3.0 comes bundled with TypeProf, a code analysis tool that doesn't require so many type annotations. Its primary goal is to create type signatures for existing Ruby programs and help users to apply some external type checkers like Steep. Since the release, we have made an effort to adapt TypeProf to an integrated development environment (IDE), which allows users to enjoy many features supported in an IDE, such as browsing method type signatures inferred on the fly, find definition, find references, error checking, etc. We demonstrate TypeProf for IDE, and present its roadmap.

RubyKaigi Takeout: https://rubykaigi.org/2021-takeout/presentations/mametter.html

RubyKaigi 2021 Takeout

Explore all talks recorded at RubyKaigi 2021 Takeout
+32