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

Activity

  • 3 months ago: ancorgs liked Type Check YaST with Sorbet
  • 3 months ago: a_faerber liked Type Check YaST with Sorbet
  • 3 months ago: mvidner started Type Check YaST with Sorbet
  • 3 months ago: mvidner originated Type Check YaST with Sorbet
  • Show History

    Comments

    • mvidner
      3 months ago by mvidner | Reply

      I think I will make this a social project as much as a technical one: talking with people in my team and finding how to make the type checker help them, showing them what it can do.

    Similar Projects

    This project is one of its kind!