Typescript goes in the right direction, but the last time I checked, its type system was mediocre at best.