Плохая идея начинать с языков с динамической типизацией - Python, Javascript, Ruby, PHP.
Статическая типизация тебе и кучу времени сэкономит при обучении и укажет на твои ошибки и позволит твоим программам лучше работать, подскажет, поможет, заставит идти правильным путем.
Go - простой и распространенный язык с статической типизацией. Поддерживается Google. Используется преимущественно для разработки серверной части веб сайтов (то, что мы не видим) и веб сервисов (например, серверной части программ для смартфонов).
Отлично подходит для обучения.
Может использоваться и в качестве замены JavaScript (GopherJS, хотя это и извращение) и на разработки на Android (а может уже и на iPhone).
С++, Java, Haskell - не советую, они хоть и со статической, но не просты для изучения.
Можно C#, он позволит более интересные вещи делать сразу, например, игры через Unity. Но он более громоздок, как и сопутствующие ему технологии - большая нагрузка на мозги.
На языки с динамической типизацией следует переходить после получения хорошей практики с языке со статической типизацией. Или вообще не переходить.