Revisiting TypeProf - IDE support as a primary feature
RubyKaigi 2023, #rubykaigi