Twan Coenraad - Improved static type inference for Ruby

Description

In this project, we build a code analyser that performs type analysis for Ruby on Rails applications that is usable for production-ready code bases. This means that the provided solution must be fast, work out-of-the-box and give almost no false positive, to be able to add it to the build process. We focus on commonly made error, and do not try to cover all existing edges cases. Therefore, it does allow some errors to pass unnoticed.