программистское

[avva]

Читал стандарт ANSI C++.

Много думал.

... всё-таки извращенцы ;)

Comments

[trurle.livejournal.com]

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

[avva.livejournal.com]

Он на самом деле неплохо написан. Я люблю читать толково написанные стандарты, они дают в пять раз больше информации, и в пять раз быстрее, чем учебники или пособия, состоящии из разжёванной каши. Типичный пример - XML; решительно не понимаю смысл существования книг по XML — чего там изучать или объяснять? прочитал стандарт и всё.

ANSI C++ далеко не так хорошо написан, да и сам C++... того... подкачал, но всё равно любопытно было почитать.

[aldimir.livejournal.com]

Интересно, а в чем подкачал-то??? ;)

[avva.livejournal.com]

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

[aldimir.livejournal.com]

По мне так неудобней всего PL/SQL... хотя канешшно на вкус и цвет.. 8))

[nine_k]

Некоторые тонкие моменты в том же XPath неплохо бы изложить с большим количеством примеров хотя бы, чем в стандарте от w3c.
Но на тысячестраничный том, конечно, не тянет.

фундаменталистики

[nine_k]

...начиная со Страуструпа $-))

[penguinny.livejournal.com]

А то ж! :)

[avva.livejournal.com]

Попробуйте такие вопросы задавать в соответствующих коммьюнити, а не у меня в дневнике.

[auto194419.livejournal.com]

ADA forever!

[ex-ilyavinar899.livejournal.com]

О да. Подробности взрыва "Арианы 5" Вам известны?

[auto194419.livejournal.com]

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

[anhinga-anhinga.livejournal.com]

Расскажите, если можно.

На меня когда-то довольно сильное впечатление произвел доклад человека, возглавлявшего доказательство корректности системы управления огнем для системы Aegis. Я тогда решил, что Ада - самое то для жизненно важных систем.

По контрасту, вот какие слухи ходят про Ariane 5: "[...] another custom adopted within the Ariane program, believing that software is correct until proven otherwise". Если ето правда, то и поделом им. А что там на самом деле было?

[a48.livejournal.com]

http://en.wikipedia.org/wiki/Ada_programming_language#The_Ariane_5_failure

ответы на вопросы "зачем" и "почему"

[arbat.livejournal.com]

Re: ответы на вопросы "зачем" и "почему"

[cmm.livejournal.com]

а вот и миссионеры подтянулись. :)

overload resolution

[(Anonymous)]

Даже описание алгоритма overload resolution (13.3.2 - "Viable functions", 13.3.3 - "Best viable function") не нравится? Я думаю вы больше на синтаксис сетуете, чем на семантику...

[ex-ilyavinar899.livejournal.com]

А ANSI Common Lisp тебе нравится?

[smilga.livejournal.com]

Тоже, кстати, используется в основном в качестве нормативного документа, когда язык уже более или менее знаешь, но забыл где-нибудь порядок аргументов и т.п. Учиться лучше по Грэму, или по Зейбелю, или по Норвигу.

Конечно, Лисп как язык устроен в целом на порядок разумней крестов, так что и стандарт у него, соответственно, более вразумительный. Но это не к авторам стандарта претензии.

[ex-ilyavinar899.livejournal.com]

Думаю, что уважаемому хозяину дневника не нужно учиться ни сиплюсплюсу, ни Лиспу.

Но Лисп, подобно сиплюсплюсу - наслоение разных уровней, созданных в разные десятилетия с различными целями. PROG, CLOS, макросы - все это плохо скоординированные друг с другом механизмы, созданные различными людьми с многолетней разницей, подобно template-ам, множественному наследованию и bit fields в сиплюсплюсе.

[smilga.livejournal.com]

Думаю, что уважаемому хозяину дневника не нужно учиться ни сиплюсплюсу, ни Лиспу.

Нимало в этом не сомневаюсь. Здесь речь о другом, о функции стандарта как документа. Именно, это контракт между разработчиками инфраструктур языка и программистами на языке. Разработчики обязуются предоставлять программистам такие-то языковые средства, гарантированно ведущие себя таким-то образом. Взамен программисты обязуются писать в рамках ограничений, налагаемых стандартом. Так что это документ отчасти юридический, и неизбежно несёт черты соответствующего стиля (ISO-шные стандарты в этом отношении ещё более мрачны).

<…> PROG, CLOS, макросы - все это плохо скоординированные друг с другом механизмы, созданные различными людьми с многолетней разницей, подобно template-ам, множественному наследованию и bit fields в сиплюсплюсе.

А как именно ты бы хотел улучшить координацию между, скажем, CLOS-ом и макросами? Макросы штука довольно-таки тупая: им даёшь один код на входе, производишь заданные преобразования над синтаксическим деревом, получаешь другой код на выходе. Код может быть любой, в том числе CLOS-овый, его синтаксическая структура ничем от обычной не отличается: атомы + списки, этим в основном всё и исчерпывается. (Аналогичный вопрос про кресты я не задаю, так как в них не достаточно разбираюсь.)

[cmm.livejournal.com]

> А как именно ты бы хотел улучшить координацию между, скажем, CLOS-ом и макросами?

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

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

(мне очень не хватает Эрика Наггума, доктор).

quod licet

[smilga.livejournal.com]

Наггума да, не хватает.
Но это не повод ему уподобляться.

Re: quod licet

[cmm.livejournal.com]

я не специально, увы.
постфактум обратил внимание.

[ltwood.livejournal.com]

А толку от такого понимания? Мне в свое время нравился виртовский Oberon, потом D, потом кернигановский Limbo (в особенности объектная модель), но ни один из них не дотягивает до того состояния, когда не стыдно и не страшно предложить заказчику делать проект на нем. В связи с этим я уже давно думаю о компиляторе с чего-нибудь типа Limbo, который бы генерировал читабельный код на C, который можно было бы сдавать как писанный руками ;))

Извините - офф-топ

[ex-v-i929.livejournal.com]

Открытое письмо
Если Вы готовы подписаться под этим письмом, можете сделать это в комментах: Фамилия Имя Отчество, профессия (место работы), город. Альтернативный вариант отправить инфу на мой адрес: itkin_v@top-kniga.ru Если посчитаете нужным, поместите, пожалуйста, ссылку в своих журналах.

ОТКРЫТОЕ ПИСЬМО В ВЕРХОВНЫЙ СУД РОССИЙСКОЙ ФЕДЕРАЦИИ

БУДЕТ ПОСЛАНО НА САЙТЫ WWW.GRANI.RU, WWW.LENTA.RU, WWW.POLIT.RU
В РЕДАКЦИЮ КОММЕРСАНТА, НОВОЙ ГАЗЕТЫ и др. СМИ (всероссийские и региональные), которые, в частности, можете предложить и ВЫ.

НЕТ ПОЛИТИЧЕСКИМ РЕПРЕССИЯМ!: http://www.livejournal.com/users/v_i/129559.html?mode=reply

[nbuwe.livejournal.com]

У меня пара друзей работала над сановским C++ компилятором. Цензурно пересказать их мнение о стандарте (именно как о стандарте) практически невозможно. Конкретных примеров я сейчас не упомню, к сожалению.