Posts

Showing posts from August, 2020

Google Summer of Code 2020: The Final Report

This summer, I participated in the Google Summer of Code (GSoC) 2020 . This post summarizes my work as the final report of GSoC. My project page on the official site: Brush up RBS and related tools for practical Rails apps . What I did (TL;DR) Applied RBS and related type checking tools to practical Rails apps Working branch for Ruby CI Working branch for Mastodon 's User model Found out some bugs of apps with type checking ruby/rubyci#196 Mastodon seemed to have some dead code Improved and fixed various problems of the tools RBS ruby/rbs#294   ruby/rbs#299   ruby/rbs#300   ruby/rbs#301 ruby/rbs#302 RBS Rails pocke/rbs_rails#12 pocke/rbs_rails#28 pocke/rbs_rails#29   pocke/rbs_rails#30   pocke/rbs_rails#32 Steep soutaro/steep#158   soutaro/steep#173 Mostly Implemented new RBS subcommand rbs subtract Comparing ruby:master...tadd:add-subcommand-subtract · ruby/rbs Background As written in my project's description, RBS is about to be released as a part of Ruby 3.0. RBS is not onl