I've been writing Ruby for a few years on a number of production applications.

Recently I've had to pickup Hack for work, and if there's one thing I really like about it is the type hinting. The best part is that it helps you handle nullable types (not sure if it's done here).

When I switch back to Ruby from Hack, I find it harder to reason about my program.