Dependent types

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

>>25
"Probably" - except if it is one of the many programs that do not, or have an incorrect one (such as heart-bleed or such as your very own example - I think you mean sizeof array / sizeof *array instead - which does not work correctly for pointers), along with no warning if one is incorrect or missing.