Какой язык поможет научиться грамотно подходить разработке на БЭ?
TS есть и на бэк, разумеется в виде трансформации в JS (Node.js это просто рантайм в котором запускается js). Если хочется прямо каноничной разработки - Java only. Можно PHP со строгой типизацией, можно Go, но я его не оценил.

Что до функционального программирования то сегодня оно есть в одном виде по-сути и это serverless (FaaS) и там Nodejs заходит более чем полностью
Дело в том что крутая архитектура не идет со стороны "хипстерских" языков, она скрывается за энтерпрайз разработкой, пик которой сейчас приходится на c# (.net core, orleans, akka.net). Все это если и будет в nodejs... Это совершенно не нужно в nodejs так как он совершенно для другово. Nodejs это небольшие проекты и serveless и этим его компетенция и будет ограничена, так как скорость не позволяет его в энтерпрайзе использовать. Поэтому если вы хотите быть крутым разработчиком серверных приложений я бы рекомендовал c#. Ну а типы вполне покроет стек nodejs + ts. Этого больше чем достаточно.