Чи був пробіл в ідентифікаторах колись ідіоматичним? [зачинено]

Стиль C # пропонує використовувати CamelCase в ідентифікаторах для розмежування слів. Традиція Lisp пропонує замість цього тире-тире.

Чи існувала коли-небудь мова програмування, де використання пробілів в ідентифікаторах було не тільки дозволено, але і загальновживану ідіому при використанні багатослівних ідентифікаторів?

У деяких реалізаціях схеми можуть бути ідентифікатори з пробілами , але це не є широко поширеною практикою. Ось приклад:

Petite Chez Scheme Version 8.4
Copyright (c) 1985-2011 Cadence Research Systems

> (define |hey there| 100)
> (define |x y z| 200)
> (list |hey there| |x y z|)
(100 200)

Компілятори FORTRAN проігнорували пробіли так:

   result = value * factor  
   r e s u l t = val ue * fac tor
   result=value*factor`

Ідентичні були щодо компілятора.

Деякі діалекти SQL дозволяють вбудовувати пробіли у назвах стовпців, але перед їх використанням потрібно оточити зворотні лапки або інший роздільник.

Visual Basic (і VBScript) також дозволяють пробіл в ідентифікаторах, якщо ви оточуєте ідентифікатор квадратними дужками.

Dim [Hello World]
[Hello World] = 123

Однак робити це досить рідко.

Чи враховується SQL?

create table "Registered Members" (
    "Full Name" varchar(100),
    "Mailing Address" varchar(100),
    etc...
);

Ну, Whitespace - це все ... пробіл:

Більшість сучасних мов програмування не враховують синтаксис символів білого простору (пробіли, вкладки та нові рядки), ігноруючи їх, ніби їх там не було. Ми вважаємо це грубою несправедливістю для цих ідеально доброзичливих членів набору персонажів. Чи слід їх ігнорувати, лише тому, що вони непомітні? Пробіл - це мова, яка прагне виправити рівновагу. Будь-які символи без пробілів ігноруються; синтаксисом вважаються лише пробіли, вкладки та нові рядки.

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

В Algol 68 ви могли мати простір в ідентифікаторах (не пам'ятаю, були вони значущими чи ні). Але ключові слова були позначені погладжуванням . Використання імен з простором у них було ідіоматичним (принаймні навколо мене).

VHDL дозволяє врятувався ідентифікатори із значними прогалинами в них: \foo bar\. Це дозволяє також використовувати ключові слова в якості ідентифікатора \and\, будь-якої \n<42>\чутливості символів і регістру в ідентифікаторах ( \Foo\і \foo\вони різні, хоча Fooі fooеквівалентні, і відрізняються від будь-яких \Foo\і\foo\!). Verilog також має ідентифіковані ідентифікатори з більшою частиною цих характеристик (звичайні ідентифікатори чутливі до регістру, а уникнення їх без необхідності не робить іншого ідентифікатора), але не дає пробілів у них. Необхідність уникнутих ідентифікаторів у VHDL та Verilog випливає з того, що вони часто виробляються автоматично з інших джерел (наприклад, схематичних), де ідентифікатори зазвичай не мають таких же обмежень, як у мові програмування; AFAIK, вони не ідіоматично використовуються в інших обставинах.

Я не знаю, чи вважаєте ви Вікітекст MediaWiki мовою, але імена з пробілами, безумовно, ідіоматичні:

==Example==
This example lacks text.
{{Expand section}}

Де "Розгорнути розділ" - це назва шаблону (http://en.wikipedia.org/wiki/Template:Expand_section)

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

Inform 7 - це система для розробки інтерактивної художньої літератури з використанням синтаксису, що нагадує природну мову, в якому багатослівні ідентифікатори є звичайними:

Mr Jones wears a top hat. The crate contains a croquet mallet. 

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

Аналогічно, для ідентифікаторів з підкресленнями в Agda можна використовувати mixfix, найпростішим прикладом якого, мабуть, є if_then_else_оператор:

if_then_else_ : {A : Set} -> Bool -> A -> A -> A
if true  then x else y = x
if false then x else y = y

Scala дозволяє використовувати довільні ідентифікатори за допомогою зворотних посилань. Звичайне вживання для цього - викликати, Thread.`yield`оскільки yieldце сказоване слово у Scala. Це може бути (ab), щоб мати пробіли в іменах, хоча це було б далеко не ідіоматичним кодом Scala:

val `the answer` = 42
println(`the answer`)

Чорт, можна навіть мати вкладки в ідентифікаторах:

scala> val `the\tanswer` = 42
the     answer: Int = 42

Я припускаю , що це може імовірно бути идиоматическим для грамотного програмування народу. Може бути.

F # дозволяє виділяти пробіли в іменах ідентифікаторів, але вони повинні бути оточені подвійними задними спинками. Дивіться відповідь на це запитання: https://stackoverflow.com/questions/6639688/using-keywords-as-identifiers-in-f .

Ви можете вважати, що це так у Cucumber / Gherkin , де імена функцій ефективно є реченнями з аргументами, вбудованими всередину них.

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

FWIW, Tcl дає пробіли (і майже всі інші символи) в ідентифікаторах, хоча користуватися цією функцією не так часто. Основна причина, яку він не використовується дуже часто, полягає лише в тому, що ви повинні використовувати належне котирування. Наприклад, нижче встановлюється змінна назва "моє ім'я" на "bob", після чого друкується

set "my name" "bob"
puts "hello, ${my name}"

OTOH, це дуже корисно при динамічному побудові змінних, оскільки при створенні таких змінних не потрібно турбуватися про незаконні символи

Я мало знаю. Я працюю над однією і легкою мовою програмування . Інформує , але це не зовсім загальна мова програмування.

Якщо ви вважаєте мову автоматизованого тестування DSL мовою, рамки роботів дозволяють пробіли у назвах ключових слів, і це дуже ідіоматично. У наступному прикладі "Скажіть привіт" - це ключове слово, "Приклад тестового випадку" - це тестовий випадок, а "$ {ім'я}" - змінна:

*** Keywords ***
| Say hello | [Arguments] | ${first name}
| | log | Hello, ${first name}

*** Test Cases ***
| Example test case
| | Say hello | world

Мова 4D забезпечує пробіл у назвах методів та змінних. Зазвичай це нахмурене всередині спільноти, але всі вбудовані методи та змінні використовують їх, коли це застосовується ( SET MENU ITEM PARAMETERнаприклад,)

У Smalltalk є такі ключові слова, як такі, a:b:c:які включають пробіл при виклику. Наприклад: a: 100 b: 200 c: 300. Це стандартна ідіома в мові.

Powershell дозволяє пробіли у змінних імен:

PS C:\> ${the var} = 100

PS C:\> ${the var}
100

Я бачив згадку про подібне для VB, але в JS це використовується дуже багато. Будь-яке властивість об'єкта в JavaScript може бути доступним і встановленим у рядковій формі з квадратними дужками або просто як рядки в об'єктних літералах. Імена властивостей, які не відповідають правилам іменування змінних JS, недоступні через. позначення, але вони зручні. Наприклад, ви можете захотіти зіставити URL-адреси для поведінки або посилатися на групу людей по імені, коли ви впевнені, що всі вони унікальні. Це часто дуже зручно і легко читати:

var peoplesFavoriteThings = {
    "Bob Jones":"kittens",
    "Jane Doe":"chainsaws"
}

for(var name in peoplesFavoriteThings){
    console.log(name + ' likes ' + peoplesFavoriteThings[name] + '.\n');
}

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

Power Query використовує багато автоматично генерованого коду. Я здогадуюсь, що більше половини згенерованих ідентифікаторів використовують пробіл:

let
    Source = Sql.Database(".", "Test"),
    dbo_pvt = Source{[Schema="dbo",Item="pvt"]}[Data],
    #"Filtered Rows" = Table.SelectRows(dbo_pvt, each [VendorID] <= 4),
    #"Removed Columns" = Table.RemoveColumns(#"Filtered Rows",{"Emp1", "Emp2"}),
    #"Grouped Rows" = Table.Group(#"Removed Columns", {"Emp3", "Emp4"}, {{"Count", each List.Sum([Emp5]), type number}})
in
    #"Grouped Rows"

Як бачимо, як і в багатьох мовах, є додатковий синтаксис, щоб розмежувати, що таке ідентифікатор.

Але в місцях, де це однозначно, зайвий синтаксис не потрібен:

let
    spaceRecord = [with space = 42, recursive record = @spaceRecord],
    drilldown = spaceRecord[recursive record][recursive record][recursive record][with space]
in
    drilldown   // 42

Якщо ви вважаєте це справжньою мовою, сценарій мови JMP ( http://www.jmp.com/support/downloads/pdf/jmp_scripting_guide.pdf ). Це дозволяє ідентифікаторам мати пробіл (щоб зробити їх більш "читабельними") і більш-менш заохочує таке.

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

Авторське програмне забезпечення, мова сценаріїв якого базувався на не об’єктно-орієнтованому Pascal, дозволяла пробіли в назвах змінних, хоча з часом люди виявили проблеми з їх використанням та віддалилися від нього http://books.google.com/books?id= bHC88YignAkC & pg = PA428 & lpg = PA428 .

Редагувати: Ця відповідь виявилася неправильною, дивіться коментарі.

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

int my = 0; bool my count = помилково; int count = 0; якщо (мій граф) ...

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

COBOL дозволив імена розділів та імена розділів розділяти пробілом, але це не ідентифікатори та змінні, як у вашому запитанні.