Sorbet is a gradual type checker for Ruby.
Ruby is a dynamic language, which is great for reducing overhead for small projects and rapid prototyping. YaST has half a million lines of code and is almost 20 years old. (If this match does not seem insane, you must be remembering the YCP language, of which YaST was the sole user in the world.)
We routinely get bug reports of "Internal Error" which are caused by a typo in a class name, method name, or most frequently a nil creeping in where a real value is expected. We spend time writing tests not for behavior but for catching this kind of trivial bugs. Type checking should help this.
Looking for mad skills in:
Nothing? Add some keywords!
This project is part of:
Hack Week 18
This project is one of its kind!