Saboteur, я про тот индекс, который является типа буфером для подготовки к коммиту. В какое состояние он переходит после переключения? Или остаётся в том же состоянии, что и до переключения?
Saboteur, Saboteur, это не совсем точно, потому что, например, я заметил, что неотслеживаемый файл, который был в моей рабочей директории, но которого при этом не было в том коммите, на который я переключился, остался в рабочей директории и никуда не удалился.
Руслан ., я понял Вашу мысль. В этом и проблема. Потому что написать документацию так, чтобы она точно описывала семантику оператора, вполне возможно. Если бы я был разработчиком языка, я бы принципиально писал документацию именно так.
Сергей Горностаев, Сергей Горностаев, я с Вами не соглашусь. Семантика должна быть точно описана. Иначе какие-то части кода могут работать неожиданно для разработчика (из-за того, что он, например, не знает всех деталей вызова данной функции). Информатика - это ведь точная наука.
Например, в описании встроенной функции __import__ должна быть полная семантика ее вызова (проверка наличия ключа в sys.modules, обход sys.meta_path и т. д.), а иначе смысла в такой документации мало
https://peps.python.org/pep-0380/
Здесь, например, почти строго (но некоторых мелочей не хватает) описана семантика оператора 'yield from' посредством python-кода
Я привык, чтобы все было написано с математической строгостью. Документация Python, очевидно, не удовлетворяет этому требованию. Хотя расписать формальную семантику вполне возможно и даже, я считаю, нужно. И это совсем не то же самое, что изучить полностью все исходники.