Or C++. Templates or generic programming can be argued to be another paradigm, and quite powerful as well. D supports that as well, along with purity checking

Or C++. Templates or generic programming can be argued to be another paradigm, and quite powerful as well. D supports that as well, along with purity checking for FP.