Dependent types

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

>>29

Garbage collection

Not more necessary than any language.

performance

Type checking happens only at compile time, in fact it has the opportunity of being faster since you do not need to check if your arguments are null everywhere.

long compile times

Faster than C++. And it's not like compile times really matter, you are not going to recompile the whole project every time you make a change - only the file(s) that you changed.

complexity of implementation

I have implemented a dependent type system in 100 lines of code. Pretty sure that this is less than even the type system of the average C implementation or haskell.