Необов’язкові крапки з комою

Найчастіше в імперативній мові загального призначення - крапки з комою, як обмежувачі висловлювань, або потрібні, або повністю заборонені (наприклад, C і Python).

Однак деякі мови, як-от JavaScript, дозволяють відмовитись від розмежування висловлювань крапкою з комою на користь інших роздільників (наприклад, нового рядка).

Які дизайнерські рішення стоять за цим? Я розумію, що крапки з комою є важливими при написанні декількох заяв на одному рядку, але чи є ще одна причина, щоб зробити їх обов'язковими (крім наступного C)?

Якщо зробити їх обов'язковими (або повністю заборонити їх), зменшується кількість кутових випадків, усувається потенційне джерело неясних помилок і спрощується конструкція компілятора / інтерпретатора.

Мовні дизайнери, які вирішили зробити їх необов'язковими, вирішили жити з неоднозначністю взамін на більшу синтаксичну гнучкість.

JavaScript показав нам, що це дуже погана ідея. Наприклад:

return
0;

В C це повертає значення 0. У JavaScript це повертається undefinedчерез те, що крапка з комою вставляється після оператора return, і не відразу зрозуміло, чому ваш код ламається, якщо вам не відомо про деталі автоматичної вставки крапки з комою.

Це дещо спрощує вашу граматику та розбір, щоб зробити крапки з комою обов'язковими. По суті, він дозволяє лексеру скидати весь пробіл, включаючи нові рядки, і аналізатору зовсім не доведеться про це турбуватися.

З іншого боку, як тільки ви все-таки захочете розповісти аналізатору про пробіл, все-таки зробити крапки з комою необов'язковим. Ви можете просто просто згрупувати їх за допомогою whitespaceмаркера, і ваш аналізатор може впоратися з ним просто чудово.

Наприклад, спробуйте вставити крапку з комою у наступні серії тверджень C.

functionCall(3, 4) 9 + (3 / 8) variable++ while(1) { printf("Hello, world\n") }

Хоча є деякі дивні речі, які ви більше не можете робити, як while(1);, здебільшого, за допомогою сучасних методів розбору порівняно легко визначити, де закінчуються твердження без конкретного роздільника. Навіть якщо ви все-таки хочете дозволити дивні речі, зробити це не так вже й важко newline_or_semicolon.

Крапки з комою корисні в граматиці з 2 причин. По-перше, це дозволяє розділити довгі висловлювання на кілька рядків, не маючи богатих символів продовження (я говорю про вас, Fortran та Basic). По-друге, давайте аналізатору є спосіб "відмовитися" від синтаксичного розбору, коли синтаксис стає дійсно перекрученим через помилку друку. Крадіжка з прикладу Карла Білефельдта,

functionCall(3, 4) 9 + (3 / 8) variable++ while(1) { printf("Hello, world\n") }

уявіть, що ви набрали одного додаткового відкритого батька:

functionCall((3, 4) 9 + (3 / 8) variable++ while(1) { printf("Hello, world\n") }

тепер де помилка? Якщо у вас були крапки з комою, парсеру простіше відмовитись на першій крапці з комою. Він навіть міг би продовжувати розбір після крапки з комою, якби хотів.

functionCall((3, 4);  <- something is wrong here. emit error and keep going.
                      9 + (3 / 8); variable++; while(1) { printf("Hello, world\n"); }

Тепер на аналізаторі простіше повідомити про помилку та простіше знайти рядок / стовпчик там, де вона сталася.

Точки з крапкою з комою - це не завжди все, або нічого, як ви згадуєте у своєму запитанні. Наприклад, граматика Луа ретельно розроблена як вільна форма (всі пробіли, включаючи нові рядки, можна ігнорувати), але також без необхідності використовувати крапки з комою. Наприклад, такі програми еквівалентні:

--One statement per line
x = 1
y = 2

--Multiple statements per line
x = 1 y = 2

--You can add semicolons if you want but its just for clarity:
x = 1; y = 2

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