Dependent types

So, why are you not using dependent types yet? Do you like your programs randomly crashing?

>>43
How >>17 would behave at compile time with dependent types? C++ version with setters/getters on protected boxed value would work fine at runtime.