Dependent types

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

>>39
So its essentially:
1.A fairly normal C++ Class Template
2.The setter function filters incoming values by an internal parameter(such as size or something).
3.A getter function throws exception(Nothing) if something outside of range is requested.
What is so revolutionary about this?