2 ms·

I think the closest analogy would be Typed Lua. Titan is a bit of a different approach (simpler type system, more focus on performance)