Детство программиста

[spamsink]

Когда я был маленький, мне очень нравилось, что бывают скобки (круглые), [квадратные] и {фигурные}. Откуда-то мне стало известно, что вложенные скобки, если их, скажем, три уровня, принято писать так: внутренние - круглые, затем - квадратные, и самые внешние - фигурные, чтобы сразу было видно, какая открывающая скобка соответствует какой закрывающей. Я был очень доволен, когда понял, как написать выражение, для которого "необходимы" все три вида скобок (ну и, естественно, как писать выражения, для которых необходим любой наперед заданный уровень вложенности).




Algol 68 Genie Mark 16 (released April 2009), copyright 2001-2009 J. Marcel van der Veer.
...
--brackets: consider [ .. ] and { .. } as equivalent to ( .. ).

When option brackets is specified, (...), [...] and {...} are equivalent to the
parser and any pair can be used where Algol 68 requires open-symbols and close-symbols.
This allows for clearer coding when parenthesis are nested.

А ЛИСПовцам - кошкин хвост!

Comments

[http://users.livejournal.com/_tsvetkov_/]

а я хотел водить каток. в детстве.

[spamsink]

Когда мне было 6 лет, я мечтал поработать на машине - неважно, какой - у которой было бы очень много кнопок. Гораздо больше, чем на бабушкиной пишмашинке, и чем больше, тем лучше. Ну и домечтался: у БЭСМ-6 был пульт с 8 рядами по 48 кнопок в каждой.

[arno1251.livejournal.com]

Ад для ЛИСПовцев: клава без скобок.

[spamsink]

В кириллице можно в качестве скобок задействовать Е и Э, а в латинице?

[kcmamu.livejournal.com]

L и J

[spamsink]

Действительно; я имел в виду предложить С и D, но L и J лучше. И графически получается забавная параллель с кириллицей: "закрывающая скобка" круглее.

[kcmamu.livejournal.com]

А обязательно заглавные? А то p-q да b-d -- вот аж два типа скобок.

[spamsink]

Необязательно, но желательно, чтобы скобки были не ниже цифр.

int func p int x b d, int a q
L
return p x b a d + 1 q * 2;
J

[arno1251.livejournal.com]

Нет такой же симметричной пары :(

[mochalkina.livejournal.com]

а каким тэгом Вы делаете фрагмент текста с таким вот подчеркиванием и примечанием? (да, я тупой)

[spamsink]

<abbr title="примечание">текст</abbr>

[cema.livejournal.com]

Ну лиспы бывают разные (см. clojure). Но переопределить квадратную как круглую нельзя.

[spamsink]

Во-от. Кстати,

 
 MODE  INTFN = PROC( INT )INT;
 MODE  RECFF = PROC( RECFF, INT ) INT;
 MODE  FFORM = PROC( INTFN, INT ) INT;

 PROC y = ( FFORM f, INT n ) INT:
  ( RECFF h = ( RECFF g, INT n ) INT:
     ( INTFN b = ( INT n ) INT:
	  g( g, n );
       f( b, n )
     );
    h( h, n )
 );

Вот что надо было вместо яваскрипта в браузерах реализовывать!

[http://users.livejournal.com/_navi_/]

В схеме вроде квадратные и круглые эквивалентны были. Точно помню, что квадратные вместо круглых местами использовал, но подробностей не помню.

[potan.livejournal.com]

mzscheme позволяет использовать любые скобки.
В CL можно ридер подменить, что бы он скобки правильно обрабатывал.

[spamsink]

"Ридер подменить" - это предусмотренная опция или хак?

[cema.livejournal.com]

Хороший вопрос.

[potan.livejournal.com]

На сколько я помню эта возможность входит в стандарт языка. Но глубоко не копал - Common Lisp необъятен :-).

[parovoz.livejournal.com]

Читаем "Common Lisp. The Language", там всё написано. Лисповский ридер конфигурируется через *readtable*, в которой можно переопределить функцию любого символа, в том числе и скобок. Кстати, правильным образом сконфигурировав *readtable*, можно дёшево и сердито превратить Лисп в XML и даже в XSL :)

[ak_47]

Я предлагаю сразу переходить на l337 speak. Связь поколений сохраняется опять же.

[parovoz.livejournal.com]

Можно ещё добавить <...> и /...\, а счастливые обладатели испаноязычных клавиатур могут наслаждаться "скобками" ¿...? и ¡...!

[spamsink]

Как отличать <...> и / в их первоначальном значении от скобок?

[parovoz.livejournal.com]

Тогда так: <<...>> и //...\\.

[spamsink]

Вы будете смеяться, но << и >> уже заняты (это операции сдвига). Да и // тоже (это признак комментария).

[parovoz.livejournal.com]

Мы о каком языке говорим? Если уж пошла речь о переопределении разделителей, то операторы сдвига и тем более признаки комментариев всегда можно тоже переопределить. Точно так же я могу сказать, что [...] и {...} тоже заняты (массивы и блоки).

[spamsink]

Понятно, что придумать новых разделителей можно сколько угодно. Интересно, можно ли добавить новый вид скобок (или взаимозаменяемо использовать имеющиеся), прибегая лишь к уже существующим разделителям.
Так, например, в C++ () и [] в принципе не взаимозаменяемы (operator() и operator[]), а <...> (или <<...>>) в качестве скобок не годятся:
a < b + c > - d двусмысленно.

(: уже не понятно, о чём спор :)

[parovoz.livejournal.com]

Если брать какой-то конкретный, уже сложившийся язык, тот же C++, то все предложенные LJ и bq тоже не пойдут, потому что они идентификаторы (да ещё и неопределённые). Ну хорошо, не нравятся Вам <<..>> - возьмите <<<...>>> :) Хотя в Питоне и это сочетание символов зарезервировано...

Re: (: уже не понятно, о чём спор :)

[spamsink]

Я думал, что мы не спорим, а просто плюшками на тему скобок балуемся. Хорошо, поверну вопрос наоборот: сколько есть неэзотерических языков программирования, помимо Алгола-68, ЛИСПа и Форта, которые способны обойтись не более чем одним видом скобок?

Re: (: уже не понятно, о чём спор :)

[parovoz.livejournal.com]

Да конечно, плюшками! :)

В Форте скобок как таковых, насколько я понимаю, вообще нет. Бэйсик вроде бы одним видом скобок обходится. Если считать SGML/XML языком, то в нём только один вид скобок <...>.

Re: (: уже не понятно, о чём спор :)

[spamsink]

Упомянув Форт, я исправил "ровно одним" на "не более чем одним".
Как я мог забыть Бейсик! И Фортран!