Paul Graham says Perl is good. Stop saying otherwise.

Historically, languages designed for other people to use have been bad: Cobol, PL/I, Pascal, Ada, C++. The good languages have been those that were designed for their own creators: C, Perl, Smalltalk, Lisp. – Paul Graham

You can add dependent types to Haskell by modifying the GHC code base. You can add dependent types to lisp by writing a dependent type checking engine in lisp and adding macros that invoke it at compile time.