Первым нужен не язык, а учебник программирования - в котором будет использоваться язык, максимально удобный именно для обучения. А вот после изучения основ программирования можно переходить к модным языкам. PHP, а тем более, JavaScript категорически не подходят для начального обучения. Python получше, но это тоже динамический язык, не способный привить дисциплину программирования. Модные языки с сильной статической типизацией (в том числе и C#) набиты огромным кол-во рюшечек, позволяющих опытным программистам немного сократить объём кода, но многократно усложняющих процесс обучения новичков. Фактически, из всех современных широко распространённый языков вменяемый размер имеет только Go.