Ah, we didn't ignore dependent types, though it's true that we don't have them. However, we are moving in the direction of adding them, so maybe in the future, Rust will be that language for you :)