Чи технічно необхідна двокрапка в пітонних блоках?

Це насправді лише теоретичне запитання новачка-пітона, який хоче зрозуміти більше.

Я продовжую забувати двокрапки після початкових висловлювань блоку в python. Це те, що я маю на увазі:

• for <variable> in <sequence>:
• if <blah blah>:

Я вважаю, що одна з причин, яку я забуваю, полягає в тому, що вони де-факто неявні: двокрапка чи ні, твердження закінчується цим рядком.

Моє запитання - яке я задаю для того, щоб дізнатись, як працює синтаксис пітона - чи є двокрапка дійсно непотрібною? Якби я змінив синтаксис пітона, щоб товста кишка більше не потрібна, щось би зламалось? Це зробило б деякі заяви неоднозначними чи неможливими?

Так, товста кишка потрібна для розмежування певних конструкцій. Розглянемо, наприклад, if x - y < z: pass. Без двокрапки ми не можемо вирішити, як проаналізувати це, не знаючи контексту, що таке x, y і z. if x: -y < z...є дійсним, якщо x булеве, if x - y < z:дійсне інакше.

Оскільки це дуже гарна ідея для мовного програмування, щоб не вимагати від вас виконання програми до того моменту, як ви збираєтеся, щоб мати змогу розбирати її, двокрапка дуже потрібна. Ви можете кинути його, але вам знадобляться інші способи роз'єднати.

Товста кишка не є граматично необхідною, якби Python був розроблений в іншому світі, цілком можливо, що дизайнер мови може не вирішити вимагати двокрапки. І справді такі мови, як Кобра, роблять це.

Основна причина, чому потрібна товста кишка в пітоні, - це читабельність людини. Процитуйте з FAQ на Python :

Чому для операторів if / while / def / class потрібні двокрапки?

Товста кишка потрібна насамперед для підвищення читабельності (один із результатів експериментальної мови ABC). Врахуйте це:

if a == b
    print(a)

проти

if a == b:
    print(a)

Зверніть увагу, як друге читати трохи простіше. Далі зауважте, як двокрапка подає приклад у цій відповіді на поширені запитання; це стандартне використання англійською мовою.

Ще одна незначна причина полягає в тому, що двокрапка полегшує редакторів із виділенням синтаксису; вони можуть шукати колонки, щоб вирішити, коли відступ потрібно збільшити замість того, щоб робити більш детальний розбір тексту програми.

Як також було сказано у FAQ, двокрапка також полегшує обробку python-коду без повного розбору мови. Будь-який текстовий процесор, який має повноцінний аналізатор, включаючи компілятор python, може обійтися без двокрапки, якби цього не потрібно, або якщо це зробити необов’язковим, коли однозначно.

Це потрібно не комп’ютеру, а людині.

Гідо ван Россум (творець Python) деякий час мав блог історії Python. Двокрапка була введена в ABC , джерело багатьох особливостей Python.

У цій публікації в блозі на тему "Карін Девар, відступ і двокрапка" Гуйдо пише:

І тут я перефразую, на прохання Ламберта.

У 1978 році на сесії дизайну в особняку в Яблоні (Польща) Роберт Девар, Пітер Кінг, Джек Шварц та Ламберт порівнювали різні альтернативні запропоновані синтаксиси для B, порівнюючи (баггі) варіанти сортування бульбашок, записані в кожній альтернативі. Оскільки вони не змогли домовитись, дружину Роберта Девара зателефонували зі своєї кімнати і попросили її думки, як сучасний Париж попросив порівняти красуню Гери, Афіни та Афродіти. Але після того, як їй було пояснено першу версію, вона зауважила: "Ви маєте на увазі в рядку, де написано:" ЗА Я ... ", що це потрібно зробити для наступних рядків, а не тільки для цього рядка? ! " І тут учені зрозуміли, що непорозуміння можна було б уникнути, якби в кінці цього рядка була двокрапка.

( B ось серія мов прототипів B0, B1, ... що призвела до ABC. Це не мова, яка є попередником C).

Я також пам’ятаю, як Гвідо в 90-х вказував, що саме на користь редакторів можна автоматично вставити відступ після рядка, який закінчується двокрапкою. Але я ще не знайшов джерела для цього.

Cobra Мова програмування «s синтаксис сильно натхненний мови Python, і це робить геть з двокрапкою, так що здається , що це не є строго необхідним. Однак недостатньо просто видалити двокрапку, потрібні й інші зміни в синтаксисі. Дивіться, наприклад, цей фрагмент коду з одного з моїх іграшкових проектів :

kons  = lambda hd, tl: lambda x: hd if x else tl
virst = lambda l: l(True )
rrest = lambda l: l(False)

Без двокрапки, щоб відокремити тіло від списку параметрів, мені доведеться використовувати відступи:

kons  = lambda hd, tl
    lambda x
        hd if x else tl

virst = lambda l
    l(True )

rrest = lambda l
    l(False)

Я вважаю, що більш ранні версії Cobra зробили товсту кишку необов’язковою, ви можете використовувати або відступи, або двокрапку, або обидві. Аналогічно тому, як це працює в Ruby, де є ключові слова для розділення різних частин керуючих виразів, але ви також можете використовувати роздільники виразів (крапка з комою або новий рядок):

# idiomatic
while true do puts "I am awesome" end
#          ↑↑

# non-idiomatic, but legal
while true; puts "I am awesome" end
#         ↑

# non-idiomatic, but legal
while true
puts "I am awesome" end

# idiomatic
while true
  puts "I am awesome"
end

У поточних версіях Cobra ви можете використовувати кому:

if x
    y

можна записати як

if x, y

Вам потрібен якийсь - то спосіб поділу різних частин виразів управління або визначень. У Python це товста кишка. Якщо ви видалите товсту кишку, її потрібно замінити чимось іншим, наприклад примусовим відступом. Тільки видалення товстої кишки не вийде.

Єдиний спосіб бути абсолютно впевненим - це формалізувати синтаксис з двокрапкою та без неї та довести її неоднозначність.

Однак зауважте, що одним із афоризмів дзен Питона є "Явне краще, ніж неявне", тому явне розмежування блоків колонами, здається, відповідає загальній філософії Пітона. Дизайн і історія FAQ також згадує , що це рішення засноване на емпіричних даних від попередника Пайтона ABC.