Если да, то Python или Java?
Python:
Мультипарадигменный, не навязывает ООП, батарейки в комплекте, можно собрать итератор из говна и палок, крутить-вертеть функциями высшего порядка, каррировать, короче весь функциональный фарш, но в отличии от JS, не похож на кучу из говна и палок, ещё ООП более-менее нормальное.
Java:
Навязывает ООП, но хорошо раскрывает все нотки статической типизации, более понятно, что происходит под капотом и что какую цену имеет, но трудно заниматся чем-то, что не вписывается в ООП-парадигму, про мета-программирование вообще можно забыть...