Сравнение языков программирования (синтаксис)

В этом сравнении языков программирования сравниваются особенности синтаксиса (формата) более 50 языков программирования.

Выражения

Выражения языка программирования можно условно разделить на четыре синтаксические структуры:

префиксная нотация

Лисп (* (+ 2 3) (expt 4 5))

инфиксная нотация

Фортран (2 + 3) * (4 ** 5)

суффикс, постфикс или обратная польская запись

Вперед 2 3 + 4 5 ** *

Математическая нотация

РЕПЕТИТОР (2 + 3)(4⁵) $$ note implicit multiply operator

Заявления

Когда в языке программирования есть операторы , в них обычно есть соглашения для:

разделители операторов;
терминаторы заявлений; и
продолжение линии

Разделитель операторов разграничивает два отдельных оператора. Терминатор операторов определяет конец отдельного оператора. Языки, которые интерпретируют конец строки как конец оператора, называются «строчно-ориентированными» языками.

"Продолжение строки" — это соглашение в языках, ориентированных на строки, где символ новой строки потенциально может быть неверно истолкован как терминатор оператора. В таких языках он позволяет одному оператору охватывать более одной строки.

Продолжение линии

Продолжение строки обычно выполняется в рамках лексического анализа : новая строка обычно приводит к добавлению токена в поток токенов, если только не обнаружено продолжение строки.

Пробелы – языки, не требующие продолжений

Ada – Строки заканчиваются точкой с запятой
C# – Строки заканчиваются точкой с запятой
JavaScript – Строки заканчиваются точкой с запятой (которая может подразумеваться)
Луа
OCaml

Амперсанд как последний символ строки

Фортран 90 , Фортран 95 , Фортран 2003 , Фортран 2008

Обратная косая черта как последний символ строки

bash ^[5] и другие оболочки Unix
C , препроцессор C++
Mathematica , Язык Вольфрама
Питон ^[6]
Рубин
JavaScript – только внутри строк в одинарных или двойных кавычках

Обратный апостроф как последний символ строки

PowerShell

Дефис как последний символ строки

SQL*Плюс

Подчеркивание как последний символ строки

Многоточие (как три точки, а не один специальный символ)

MATLAB : многоточие не обязательно должно быть последним символом в строке, но все последующие символы будут игнорироваться. ^[7] (По сути, он начинает комментарий, который продолжается до (т. е. включая) первого последующего символа новой строки. Сравните это с встроенным комментарием, который продолжается до первого последующего символа новой строки.)

Запятая как последний символ строки

Руби (комментарий может следовать за разделителем)

Левая скобка-разделитель как последний символ строки

Пакетный файл : начало блока в скобках может разрешить продолжение строки ^[8]
Ruby: левая круглая скобка, левая квадратная скобка или левая фигурная скобка

Оператор как последний объект строки

Руби (комментарий может следовать за оператором)

Оператор как первый символ продолжения строки

AutoHotkey : Любые операторы выражений, кроме ++ и --, а также запятой или точки ^[9]

Обратная косая черта как первый символ продолжения строки

Вимскрипт

Некоторые формы встроенных комментариев служат продолжением строки.

Турбо Ассемблер :\
м4 :dnl
ТеХ :%

Позиция персонажа

Fortran 77 : Строка без комментария является продолжением предыдущей строки без комментария, если в столбце 6 появляется любой символ, отличный от пробела. Строки комментариев не могут быть продолжены.
COBOL : Строковые константы можно продолжить, не заканчивая исходную строку в предложении PICTURE на ', а затем вставив a -в столбец 7 (та же позиция, что и *для комментария).
TUTOR : Строки, начинающиеся с табуляции (после любого отступа, требуемого контекстом), продолжают предыдущую команду.

[Конец и начало] с использованием обычных кавычек

Препроцессор C , C++ : строка заканчивается нормально и продолжается, начинаясь с кавычки на следующей строке.

Библиотеки

Импорт библиотеки — это способ чтения внешних, возможно скомпилированных, процедур, программ или пакетов. Импорт может быть классифицирован по уровню (модуль, пакет, класс, процедура,...) и по синтаксису (имя директивы, атрибуты, ... )

Импорт файла

addpath(directory)МАТЛАБ ^[10]
COPY filename. КОБОЛ
:-include("filename"). Пролог
#include file="filename" АСП
#include "filename", AutoHotkey , AutoIt , C , C++
#include <filename>AutoHotkey , AutoIt , C , C++
#import "filename", Objective-C
#import <filename> Objective-C
Import["filename"] Mathematica , Язык Вольфрама
include 'filename' Фортран
include "filename";PHP
include [filename] program, Выберите Базовый
#include [filename] program Выберите базовый вариант
include!("filename");Ржавчина
load "filename"Рубин
load %filename Красный
require('filename') Луа
require "filename"; Перл , PHP
require "filename" Рубин
source(""filename"") Р
@import("filename");Зиг

Импорт пакета

#include filename С , С++
#[path = "filename"] mod altname;, Ржавчина
@import module; Objective-C
<<name Mathematica , Язык Вольфрама
:-use_module(module). Пролог :
from module import * Питон
extern crate libname;, Ржавчина
extern crate libname as altname; Ржавчина
mod modname;, Ржавчина
library("package") Р :
IMPORT module Оберон
import altname "package/name" Идти :
import package.module;, Д
import altname = package.module; Д
import Module, Хаскелл
import qualified Module as M Хаскелл
import package.* Java , MATLAB , Котлин
import "modname"; JavaScript :
import altname from "modname";, JavaScript :
import package Скала
import package._, Скала
import module Быстрый
import module V (Вланг)
import module, Питон
require('modname') Lua :
require "gem", Руби
use module, Фортран 90 +
use module, only : identifier Фортран 90 +
use Module;, Перл
use Module qw(import options);Перл
use Package.Name Кобра
uses unit Паскаль
with package Ада
@import("pkgname");Зиг

Импорт класса

from module import Class Питон
import package.class Java , MATLAB , Котлин
import class from "modname";, JavaScript
import {class} from "modname";, JavaScript
import {class as altname} from "modname";JavaScript
import package.class, Скала
import package.{ class1 => alternativeName, class2 }, Скала
import package._Скала
use Namespace\ClassName;, PHP
use Namespace\ClassName as AliasName; PHP

Импорт процедуры/функции

from module import function Питон :
import package.module : symbol;, Д :
import package.module : altsymbolname = symbol; Д :
import Module (function) Хаскелл :
import function from "modname";, JavaScript :
import {function} from "modname";, JavaScript :
import {function as altname} from "modname";JavaScript :
import package.function МАТЛАБ :
import package.class.function, Скала :
import package.class.{ function => alternativeName, otherFunction }Скала :
use Module ('symbol');Перл :
use function Namespace\function_name;, PHP :
use Namespace\function_name as function_alias_name; PHP-код :
use module::submodule::symbol;, Ржавчина :
use module::submodule::{symbol1, symbol2};, Ржавчина :
use module::submodule::symbol as altname; Ржавчина :

Постоянный импорт

use const Namespace\CONST_NAME; PHP

Вышеуказанные операторы также можно классифицировать по тому, являются ли они синтаксическим удобством (позволяющим ссылаться на вещи по более короткому имени, но на них все равно можно ссылаться по некоторому полностью квалифицированному имени без импорта) или они действительно необходимы для доступа к коду (без чего невозможно получить доступ к коду, даже с полностью квалифицированными именами).

Синтаксическое удобство

import package.* Ява
import package.class Ява
open module OCaml

Требуется для доступа к коду

import altname "package/name" Идти
import altname from "modname";JavaScript
import moduleПитон

Блоки

Блок — это обозначение группы из двух или более операторов, выражений или других единиц кода, которые связаны таким образом, что составляют единое целое.

Фигурные скобки (они же фигурные скобки) {...}

Языки программирования с фигурными скобками : C , C++ , Objective-C , Go , Java , JavaScript / ECMAScript , V (Vlang) , C# , D , Perl , PHP ( циклы forи loopпередача блока в качестве аргумента), R , Rust , Scala , S-Lang , Swift , PowerShell , Haskell (в do-нотации), AutoHotkey , Zig

Скобки (...)

Пакетный файл , F# (облегченный синтаксис), ^[11] OCaml , Prolog , Standard ML

Квадратные скобки [...]

Rebol , Red , Self , Smalltalk (блоки — объекты первого класса, также известные как замыкания)

begin...end

Ada , ALGOL , F# (подробный синтаксис), ^[11] Pascal , Ruby ( циклы forи , OCaml , SCL , Simula , Erlang ).do/whiledo/until

do...end

ПЛ/И , РЕКС

do...done

Bash ( for& whileциклы), F# (подробный синтаксис) ^[11] Visual Basic , Fortran , TUTOR (с обязательным отступом тела блока), Visual Prolog

do...end

Lua , Ruby (передача блоков в качестве аргументов, forцикл), Seed7 (заключает тела циклов между doи end)

Х ... end(например if... end):

Ruby ( if, while, until, def, class, moduleоператоры), OCaml ( for& whileциклы), MATLAB ( if& switchусловные операторы, for& whileциклы, tryпредложения package, , classdef, properties, methods, events, & functionблоки), Lua ( then/ else& function)

( begin...)

Схема

(прогноз ...)

Лисп

( do...)

Кложур

Отступ

Языки правил «вне игры» : Boo , Cobra , CoffeeScript , F# , Haskell (в do-нотации, когда фигурные скобки опущены), LiveScript , occam , Python , Nemerle (необязательно; пользователь может использовать синтаксис, чувствительный к пробелам, вместо синтаксиса с фигурными скобками, если пожелает), Nim , Scala (необязательно, как в Nemerle)
Языки свободной формы : большинство потомков ALGOL (включая C , Pascal и Perl ); языки Lisp

Другие

Ада , Visual Basic , Seed7 : if...end if
АПЛ : :If... :EndIfили :If...:End
Bash , sh и ksh : if... fi, do... done, case... esac;
АЛГОЛ 68 : begin... end, (... ), if... fi, do...od
Lua , Паскаль , Модуль-2 , Seed7 : repeat...until
COBOL : IF... END-IF, PERFORM... END-PERFORM, и т. д. для утверждений; ... .для предложений.
Visual Basic .Net : If... End If, For... Next, Do...Loop
Малый базовый : If... EndIf, For... EndFor, While...EndWhile

стиль (строчный/блочный)
правила синтаксического анализа (игнорируются/интерполируются/сохраняются в памяти)
рекурсивность (вложенная/невложенная)
использует ( docstrings /одноразовые комментарии/другое)

Встроенные комментарии

Встроенные комментарии обычно используют символ новой строки для обозначения конца комментария и произвольный разделитель или последовательность токенов для обозначения начала комментария.

Примеры:

Блокировать комментарии

Блочные комментарии — это, как правило, те, которые используют разделитель для обозначения начала комментария и другой разделитель для обозначения конца комментария. В этом контексте пробелы и символы новой строки не считаются разделителями. В примерах символ ~ представляет комментарий; а окружающие его символы интерпретируются интерпретаторами/компиляторами как разделители.

Примеры:

Уникальные варианты

Фортран

Отступы строк в Fortran 66/77 имеют значение. Фактическое утверждение находится в столбцах с 7 по 72 строки. Любой непробельный символ в столбце 6 указывает, что эта строка является продолжением предыдущей строки. Символ ' C' в столбце 1 указывает, что вся эта строка является комментарием. Столбцы с 1 по 5 могут содержать число, которое служит меткой. Столбцы с 73 по 80 игнорируются и могут использоваться для комментариев; во времена перфокарт эти столбцы часто содержали порядковый номер, чтобы колоду карт можно было отсортировать в правильном порядке, если кто-то случайно уронил карты. Fortran 90 устранил необходимость в правиле отступа и добавил встроенные комментарии, используя !символ в качестве разделителя комментариев.

КОБОЛ

В коде фиксированного формата отступ строки имеет значение. Столбцы 1–6 и столбцы с 73 и далее игнорируются. Если или *находится /в столбце 7, то эта строка является комментарием. До COBOL 2002, если Dили dнаходился в столбце 7, это определяло бы «строку отладки», которая игнорировалась бы, если бы компилятору не было указано скомпилировать ее.

Кобра

Cobra поддерживает блочные комментарии с " /#... #/", что похоже на " /*... */", часто встречающийся в языках на основе C, но с двумя отличиями. #Символ повторно используется из однострочной формы комментария " #...", а блочные комментарии могут быть вложенными, что удобно для комментирования больших блоков кода.

Завиток

Curl поддерживает блочные комментарии с определяемыми пользователем тегами, как в |foo# ... #foo|.

Луа

Как и в случае с необработанными строками, между квадратными скобками может находиться любое количество знаков равенства, при условии, что открывающий и закрывающий теги имеют одинаковое количество знаков равенства; это позволяет вкладываться, если вложенные блочные комментарии/необработанные строки используют другое количество знаков равенства, чем их окружающий комментарий: --[[comment --[=[ nested comment ]=] ]]Lua отбрасывает первую новую строку (если она есть), которая следует непосредственно за открывающим тегом.

Перл

Блочные комментарии в Perl считаются частью документации и называются Plain Old Documentation (POD). Технически, в Perl нет соглашения о включении блочных комментариев в исходный код, но POD обычно используется в качестве обходного пути.

PHP

PHP поддерживает стандартные комментарии в стиле C/C++, но также поддерживает и стиль Perl.

Питон

Использование тройных кавычек для комментирования строк исходного кода на самом деле не формирует комментарий. ^[21] Заключенный в них текст становится строковым литералом, который Python обычно игнорирует (за исключением случаев, когда это первый оператор в теле модуля, класса или функции; см. docstring ).

Эликсир

Вышеуказанный трюк, используемый в Python, также работает в Elixir, но компилятор выдаст предупреждение, если обнаружит это. Чтобы подавить предупреждение, нужно добавить сигил ~S(который предотвращает интерполяцию строк) к строке в тройных кавычках, что приведет к окончательной конструкции ~S""" ... """. Кроме того, Elixir поддерживает ограниченную форму блочных комментариев как официальную функцию языка, но, как и в Perl, эта конструкция полностью предназначена для написания документации. В отличие от Perl, ее нельзя использовать в качестве обходного пути, поскольку она ограничена определенными частями кода и выдает ошибки или даже подавляет функции, если используется в другом месте. ^[22]

Раку

Raku используется #`(...)для обозначения блочных комментариев. ^[23] Raku фактически позволяет использовать любые «правые» и «левые» парные скобки после #`(т. е #`(...). #`[...], #`{...}, , #`<...>, и даже более сложные #`{{...}}являются допустимыми блочными комментариями). Скобки также могут быть вложены внутрь комментариев (т. е. #`{ a { b } c }идут к последней закрывающей скобке).

Рубин

Блочный комментарий в Ruby открывается на =beginстроке и закрывается на =endстроке.

Сленг

Область строк, заключенная между разделителями #<tag>и , #</tag>игнорируется интерпретатором. Имя тега может быть любой последовательностью буквенно-цифровых символов, которая может использоваться для указания того, как следует расшифровывать заключенный в нем блок. Например, #<latex>может указывать на начало блока документации в формате LaTeX.

Схема и Рэкет

Следующий полный синтаксический компонент (s-выражение) можно закомментировать с помощью #;.

АБАП

ABAP поддерживает два разных вида комментариев. Если первый символ строки, включая отступ, является звездочкой ( *), то вся строка считается комментарием, в то время как одинарная двойная кавычка ( ") начинает встроенный комментарий, который действует до конца строки. Комментарии ABAP невозможны между операторами EXEC SQL, и потому что в собственном SQL есть другие способы использования этих символов. В большинстве диалектов SQL вместо этого можно использовать ENDEXECдвойное тире ( ).--

Эзотерические языки

Во многих эзотерических языках программирования действует правило, согласно которому любой текст, не выполненный указателем инструкций (например, Befunge ) или не имеющий иного значения (например, Brainfuck ), считается «комментарием».

Сравнение комментариев

Существует множество стилей синтаксиса для объявления комментариев в исходном коде. BlockCommentКурсив здесь используется для обозначения стиля блочных комментариев. InlineCommentКурсив здесь используется для обозначения стиля встроенных комментариев.

Смотрите также

Синтаксис Си
Синтаксис C++
Языки программирования с фигурными скобками , обширное семейство синтаксисов языков программирования.
Синтаксис Java
Синтаксис JavaScript
Синтаксис и семантика PHP
Синтаксис и семантика Python

Ссылки

^ ab Для нескольких операторов в одной строке
^
Три различных типа предложений, каждый из которых по-разному разделяет фразы и единицы:
- 1. последовательное предложение с использованием токена go-on (т.е. точки с запятой): begin a; b; c end – блоки выполняются по порядку.
  2. collateral-clause с использованием and-also-token (а именно ","): begin a, b, c end – порядок выполнения должен быть оптимизирован компилятором.
  3. параллельное предложение с использованием and-also-токена (а именно ","): par begin a, b, c end – модули должны выполняться в параллельных потоках.
^ точка с запятой – результат удаляющегося оператора скрыт, запятая – результат отображен
^ ab Из Определения языка R , раздел 3.2 Управляющие структуры: «Точка с запятой всегда указывает на конец оператора, в то время как новая строка может указывать на конец оператора. Если текущий оператор синтаксически не завершен, новые строки просто игнорируются оценщиком».
^ Справочное руководство Bash, 3.1.2.1 Символ экранирования
^ Документация Python, 2. Лексический анализ: 2.1.5. Явное соединение строк
^ "Mathworks.com". Архивировано из оригинала 7 февраля 2010 года.
^ "Скобки/квадратные скобки - Windows CMD - SS64.com". ss64.com .
^ «Скрипты — Определение и использование | AutoHotkey».
^ Чтобы M-файл (исходный файл MATLAB) был доступен по имени, его родительский каталог должен находиться в пути поиска (или в текущем каталоге).
^ abc "Verbose Syntax - F# | Microsoft Learn". Microsoft Learn . 5 ноября 2021 г. Получено 17 ноября 2022 г.
^ "Руководство по Nim". nim-lang.org .
^ ab "Mathworks.com". Архивировано из оригинала 21 ноября 2013 года . Получено 25 июня 2013 года .
^ "Algol68_revised_report-AB.pdf в PDF стр. 61–62, исходный документ стр. 121–122" (PDF) . Получено 27 мая 2014 г. .
^ "HTML-версия пересмотренного отчета Algol68 AB". Архивировано из оригинала 17 марта 2013 г. Получено 27 мая 2014 г.
^ ab "DLang.org, Lexical" . Получено 27 мая 2014 г. .
^ "Справочник ключевых слов AutoItScript.com, #comments-start" . Получено 27 мая 2014 г. .
^ "slang-2.2.4/src/slprepr.c – строка 43 по 113" . Получено 28 мая 2014 г. .
^ «Пунктуация · Язык Джулии».
^ "Руководство по Nim". nim-lang.org .
^ «Совет по Python: вы можете использовать многострочные строки в качестве многострочных комментариев», 11 сентября 2011 г., Гвидо ван Россум
^ "Написание документации — Elixir v1.12.3" . Получено 28 июля 2023 г.
^ "Perl 6 Documentation (Syntax)". docs.perl6.org. Комментарии . Получено 5 апреля 2017 г. .
^ "Использование препроцессора FPP". Архивировано из оригинала 18 ноября 2022 г. Получено 18 ноября 2022 г.
^ "Комментарии Perl 6 POD". 25 мая 2023 г.
^ "Perl 6 POD (сокращенные блоки)". 25 мая 2023 г.

Примечания

^ Visual Basic .NET не поддерживает традиционные многострочные комментарии, но их можно эмулировать с помощью директив компилятора.
^ ab Хотя C# поддерживает традиционные блочные комментарии /* ... */, для их имитации можно использовать директивы компилятора, как в VB.NET.
^ ab Символ продолжения строки _может использоваться для расширения однострочного комментария на следующую строку без необходимости снова набирать 'or REM. Это можно сделать до 24 раз подряд.
^ Fortran не поддерживает традиционные блочные комментарии, но некоторые компиляторы поддерживают директивы препроцессора в стиле C / C++ , позволяя программисту эмулировать многострочные комментарии. ^[24]