[11:12:59] <valexеy> vlad2: ммать! До нас драконограф добрался!
[11:13:04] <valexеy> итить его налево...
[11:13:31] <valexеy> зря я на rsdn ссылку на форум привел... ведь знал же что он там тусуется!
[14:12:12] <vlad2> Гы :)
[14:12:30] <vlad2> А как посещения, не сильно подскочили? :)
[14:13:15] <vlad2> Да, это он. И уже 3 сообщения :)
[15:09:33] <valexey> vlad2: не, посещения не подскочили.
[15:10:00] <valexey> вообще, я посмотрел что такое есть хабраэффект в цифрах - там в общем то фигня. всего то порядка 15000 посещений в сутки.
[15:14:32] <valexey> другое дело что эту фигню текущий движог все одно не выдержит (там же в пике будет штук 50-100 соединений одновременных)
[15:28:31] <vlad2> А где посмотрел?
[15:31:15] <valexey> vlad2: на хабре вестимо :-) поиск по хабраэффекту
[15:31:38] <valexey> там народ периодически делится впечатлениями от того как ссылка на их сайт попала на главную хабра :-)
[16:10:48] <valexey> ААА!!! Драконограф опять что-то пишет!!!!
[17:06:20] <vlad2> Да ладно, пока все хорошо :)
[17:06:53] <valexey> иногда хорошего может быть слишком много :-)
[17:30:21] <valexey> C астрофорума про марсоход «Curiosity»:
xxx: Российский детектор на борту марсохода может заработать в четверг
yyy: Недолго осталось марсоходику
[17:36:00] <valexey> xxx:: не знаю, толи чувство юмора у него такое, толи методы обучения
yyy: Что ты имеешь ввиду?
xxx: ну после завершения курса напомнил, что вот мол, обещали же сертификаты выдать. а он посмотрел на меня как на говно беспомощное и сказал: успешно прошедшим курс обучения по фотошопу считается тот участник, кто сам сделал себе сертификат!
yyy: Лол, а ты что?
xxx: ну чо я? сижу вот "ставлю печать" и думаю... нужно было на фотошоп идти в первую очередь, сэкономил бы кучу времени ))
[18:54:29] <TRUE> <valexеy>: а смысл?
[18:54:44] <TRUE> ну а чё одному писать? Пусть будет их много...
[19:16:21] <egp> valexey: дарова
[19:16:29] <egp> я тут новую область нащупал
[19:16:38] <egp> причём это малоосвоенная область науки
[19:17:09] <egp> на стыке чистой математики, формально-теоретической компутер сайнс, и прикладного программирования
[19:18:50] <egp> valexey: вот тут http://ailab.ru/forum/page-2/86.html#20617 начиная с постинга "Вот что отправил сегодня брату-геологу:"
[19:19:24] <egp> Это всё в принципе включает в себя верификацию языков программирования и верификацию трансляторов
[19:20:44] <egp> и оберон близок к самому наипростейшему языку
[19:21:00] <egp> из оберона я бы выкинул все циклы кроме LOOP ... END LOOP
[19:21:32] <egp> и заменил бы модули на другую структуру, просто на FORMALISM <такой-то...>
[19:22:29] <egp> в принципе модуль это очень частный случай философского понятия SCOPE
[19:27:59] <egp> перезагружусь, мама просит письмо отсканить в винде.
[20:08:20] <egp> чо бы закодить эдакое
[21:43:06] <valexеy> egp: закодь уже транслятор с оберона в js :-)
[22:23:22] <vlad2> Поддерживаю ;)
[22:23:48] <valexеy_> vlad2: что, тебя опять js достал? :-)
[22:24:01] <vlad2> !@#!@#@#!@#!@#!@#!@#!@#!
[22:24:21] <vlad2> И это при том, что я не все время им занимаюсь.
[22:24:26] <valexеy_> :-)
[22:24:40] <valexеy_> вот! нельзя делать перерывы! из за перерывов ты не успеваешь его полюбить!
[22:25:23] <valexеy_> а так бы втянулся и все. переписал бы и серверную часть на js!
[22:33:10] <valexеy> vlad2: кстати, я еще раз курнул грамматику оберона. оно забавное. оно не LL(1) ни разу. более того, она не контекстно свободная вообще говоря :-)
[22:33:36] <vlad2> Так а Вирт вроде и не обещал?
[22:33:40] <valexеy> то есть чисто синтаксическим анализом её однозначно не разобрать. вместо дерева получится лес
[22:34:12] <valexеy> соответственно LALR парсером её тоже не разобрать. нужно разбирать GLR парсером, который, вообще говоря, используется для разбора естественных языков :-D
[22:34:38] <valexеy> а затем анализировать полученный лес, выбирая из него единственное кошерное дерево
[22:35:08] <valexеy> vlad2: Вирт обещал язык хорошо пригодный для написания компиляторов. А этот язык хреново пригодный, ибо грамматика ущербная.
[22:35:49] <vlad2> Да нормально все. Там же книжка была. Там все просто 6)
[22:35:58] <valexеy> Грамматика такова, что либо после синтаксического анализа анализировать лес деревьев, либо придется смешивать логику парсера с семантическим анализатором.
[22:36:31] <valexеy_> Что, как понимаешь, рушит модульность компилятора :-)
[22:37:35] <valexеy_> А ведь было достаточно чтобы оно нормально разбиралось, сделать не Module.member, а Module::member. То есть обращение к сущности в модуле сделать не через точку, а через какой-нибудь другой значог.
[22:38:13] <valexеy_> Собственно даже человек будет путаться что означает b := a.c;
[22:38:35] <valexеy_> то ли a это структура с полем 'c', то ли это модуль с глобальной переменной c;
[23:20:28] <vlad2> :: - нельзя, этот значек и C++ ;)
[23:20:49] <valexеy> ну, блин. а вот в ruby не погнушались!
[23:21:19] <valexеy> ну, можно какой-нибудь там % :-)
[23:21:36] <vlad2> F руби вообьще динамический язык, на нем можно сразу крест ставить :)
[23:22:19] <valexеy_> да ну тебя.. кстати, там вроде бы опционально статика есть.
[23:22:53] <vlad2> Кстати a::c - тоже можно быть указанием на член структуры ;)
[23:23:38] <valexеy_> это ты опять про указатель на поле, да?
[23:29:43] <vlad2> Угу ;)
[23:30:13] <vlad2> Так что даже не знаю. Может просто точка и проще. Как раз для человека.
[23:30:23] <valexеy> не, нифига.
[23:30:31] <valexеy> лучше иметь разные символы для разных вещей.
[23:31:54] <valexеy_> тем более что :: для поля - это не для поля, а для его хм.. духа. то есть это не конкретное поле (которое где-то в памяти прямо сейчас размещено) а абстрактное поле. так что все норм. все что связано с классом как типом - идет через ::, то что связано с объектом класса, то идет через . либо -> (если указатель)
[23:34:26] <vlad2> Кстати, точка против стрелки - тоже еще та тема ;)
[23:34:36] <valexеy_> а чо? мне как раз нравится
[23:35:04] <vlad2> Единственное полезное ее применение это то, что точка не может быть использована для нулевого указателя.
[23:35:29] <vlad2> чем я и пользуюсь штроко
[23:35:33] <vlad2> широко
[23:36:07] <valexеy_> а еще если ты видишь s.f;, то ты понимаешь что если ты сделаешь ниже s++, то это будет не инкремент указателя
[23:37:08] <valexеy_> а теперь представь себе что у нас нет стрелки. ты видишь foo = s.f; а следом s++;
[23:37:10] <valexеy_> и что это ваще?
[23:38:43] <vlad2> Запретить ++ для указателей ;) Сделать inc_ptr ;)
[23:38:55] <valexеy_> во-во. начина-ается.
[23:39:14] <vlad2> Зато никаких -> ;)
[23:39:21] <valexеy_> короче, специализированные символы для разных операций/типов данных позволяют легче в голове восстановить контекст.
[23:39:35] <valexеy_> и компилятору тоже жизнь облегчают.
[23:39:58] <valexеy_> так что у меня сильное желание воткнуть в оберон вместо точки для модулей, два двоеточия :-)
[23:40:08] <valexеy_> или ваще стрелку!
[23:40:50] <valexеy_> ибо лексер стрелку сможет сожрать, а вот парсер недетерминированную грамматику оберона жрет плохо.