[00:00:50] <geniepro> лана, пойду спать, всем бб
[00:00:52] <geniepro> с++
[00:00:54] <geniepro> бб
[00:00:54] <тихий бот> geniepro, с++ -- это злобное зло! абсолютное зло!! нету злее зла, чем с++!!!
[00:00:56] <тихий бот> geniepro, чао, бамбина, сори...
[00:02:56] <valexey> geniepro: http://www.amber.zuperhobbi.ru/c2.html
[00:03:02] <valexey> вот этот чувак
[00:03:09] <valexey> Король Хаоса, правление его уходило в глубь поколений и длилось много дольше царствования Оберона в Амбере. Свейвил, которого называли «древним возмездием Оберона»
[00:03:49] <geniepro> во, тоже вариант ))
[00:04:13] <valexey> но это конечно не совсем то что было в мифах :-)
[02:11:34] <valexey> черт. ужасно хочется erlang со статической типизацией.
[02:11:42] <valexey> вот просто очень-очень.
[02:13:07] <kemiisto> Scala =)))
[02:13:31] <valexey> а в скале уже можно делать горячую замену кода.
[02:13:32] <valexey> ?
[02:13:32] <тихий бот> valexey, тварь ты дрожжащая или тот, кому надо?
[02:14:04] <valexey> если б эта горячая замена кода была бы скажем в Go или D, то плюнул бы на все и делал бы там :-)
[02:14:13] <valexey> ну или хотя бы в хаскиле.
[02:14:18] <kemiisto> http://fucking-great-advice.ru/
[02:15:07] <valexey> а кстати, да. надо будет сделать.
[02:16:43] <valexey> хотя-я.. может и получится закатить солнце вручную.
[02:16:55] <valexey> но врятли
[02:38:53] <valexey> ня. вот как в любом из прославленых языков сделать так, чтобы в данном классе модулей (или объектов, пофиг) можно было работать (выделять/освобождать/срать) с памятью только через вот даденый вот аллокатор?
[02:39:34] <valexey> чтобы даже из системных либ переменные создавались бы только через даденый аллокатор!
[02:40:50] <valexey> при этом при всем я не хочу плодить системные потоки.
[13:00:56] <valexey> самое смешное что я представляю как это сделать на обероне в случае рефатовского компилятора, но не представляю как это сделать скажем в хаскеле или там D
[13:06:01] <geniepro> и как? и что? )))
[13:07:00] <valexey> geniepro: ась?
[13:07:19] <valexey> хочу сделать раздельные кучи для разных сущностей в программе.
[13:09:21] <valexey> это позволит четко контроллировать кто сколько и почем отожрал
[13:09:25] <valexey> и убивать слишком жадных
[13:09:36] <valexey> без последствий для остальных
[13:10:03] <valexey> насколько я понимаю, хаскиль не позволяет это сделать.
[13:10:33] <geniepro> в хаскеле в принципе можно это сделать, но придётся переделывать рантайм, и возможно компилятор ))
[13:11:09] <geniepro> но вообще он для такого не был предназначен...
[13:11:12] <valexey> ну, то есть нельзя.
[13:11:26] <valexey> ибо ghc не переписать
[13:11:51] <geniepro> а на обероне как? модуль Memory переделать? так это фактически тоже рантайм
[13:12:20] <valexey> там этого модуля — строчек 200. фигли там переделывать?
[13:12:30] <geniepro> в хаскелле есть профилировщик, но он даёт инфу для анализа после выполнения программы
[13:12:46] <valexey> профилировщик совсем из другой оперы
[13:13:28] <geniepro> а в чём проблема грохнуть ненужный поток, и освободить принудительно память сборщиком?
[13:16:20] <geniepro> а, не понятно, какой поток отожрал память и кого надо грохнуть?
[13:17:55] <valexey> дас
[13:18:20] <valexey> кроме того, это ж не обязательно будет поток :-) это просто некая сущность
[13:18:30] <valexey> она не обязана параллельно с кем-то там выполняться
[13:29:39] <kemiisto> .
[13:29:39] <тихий бот> kemiisto, kemiisto!
[13:29:53] <kemiisto> valexey: http://www.it.uu.se/research/group/hipe/dialyzer/
[13:31:23] <kemiisto> не подходит?
[13:33:28] <valexey> kemiisto: я с этим работал, это не совсем то
[13:34:09] <kemiisto> valexey: та ладно! найди в себе сили признать, что ты просто не тот, кому надо! =)
[13:34:47] <kemiisto> http://youtu.be/EBUcG7xZB-g
[13:35:00] <kemiisto> :-)
[13:37:39] <valexey> а для всяких сей видимо лучше всего сразу malloc переписывать.
[13:39:07] <белый шум> бобр крут
[13:39:59] <valexey> ога
[13:39:59] <тихий бот> valexey, так и живём...
[13:40:12] <kemiisto> http://forum.oberoncore.ru/viewtopic.php?f=2&t=3407
[13:40:18] <kemiisto> а это возможно?
[13:40:41] <valexey> столкнуться с проблемами? да! с бб нет ничего невозможного!
[13:40:51] <белый шум> лол
[13:40:58] <valexey> алсо кто тебе запретит дернуть за WinAPI напрямую?
[13:41:07] <valexey> только последующий коррапт памяти :-)
[13:41:16] <белый шум> юзать Kernel.Try
[13:41:36] <kemiisto> коррапт памяти - не проблема =)
[13:42:13] <kemiisto> а как, кстати говоря, те, кому надо обходятся без многопоточности?
[13:42:40] <белый шум> однопоточностью, видимо
[13:42:43] <valexey> а она им не нужна :-)
[13:43:03] <valexey> алсо очень часто многопоточность отлично заменяется на многопроцессность
[13:43:14] <valexey> вон в Qnx 4.x небыло никакой многопоточности
[13:43:20] <valexey> вообще потоки это не unix way
[13:43:22] <kemiisto> http://forum.oberoncore.ru/viewtopic.php?f=97&t=3209&sid=2e03e5d53f26a3f37a4b82e6182e2b1a
[13:43:31] <kemiisto> надо добавить в FAQ =)
[13:43:34] <valexey> оно регистрации хочет
[13:43:54] <kemiisto> а, кстати, вопрос про перегрузку операторов так и неотвечен
[13:44:16] <geniepro> де этот вопрос?
[13:44:35] <kemiisto> geniepro: постом выше
[13:45:08] <kemiisto> а вот ещё такой вопрос
[13:45:16] <kemiisto> тем, кому надо
[13:45:45] <kemiisto> взять любую книжку по ООП и ООДиП
[13:46:13] <kemiisto> там всё строится (в статически типизированных языках) на множественном наследовании интерфейсов
[13:46:20] <kemiisto> а в ББ ни интерфейсов
[13:46:28] <kemiisto> ни их множественного наследования
[13:46:38] <kemiisto> и как там?
[13:46:46] <geniepro> по словам Ильи -- ручной труд -- это благо... о_О
[13:46:59] <kemiisto> geniepro: ?
[13:47:57] <geniepro> http://oberon.talk4fun.net/index.php?topic=49.msg1555#msg1555
[13:49:13] <kemiisto> я не понимаю, о чём он
[13:49:43] <белый шум> неосилил знач
[13:50:14] <kemiisto> белый шум: да, я в курсе, он сам писал, что С++ он неасилил
[13:50:19] <kemiisto> :-D
[13:50:34] <белый шум> толсто
[13:50:45] <kemiisto> белый шум: а что я не осилил?
[13:50:53] <kemiisto> ты ответь на вопрос про интерфейсы
[13:50:54] <белый шум> ты же не понимаешь о чём он
[13:51:29] <белый шум> шо за интерфейсы?
[13:51:32] <kemiisto> белый шум: ну, объясни мне, о чём он
[13:52:01] <kemiisto> белый шум: interface в Java
[13:52:03] <kemiisto> C#
[13:52:03] <белый шум> о шаблонах, судя по всему
[13:52:06] <kemiisto> Delphi
[13:52:14] <белый шум> ну и чо?
[13:52:30] <kemiisto> я же написал
[13:52:34] <белый шум> ABSTRACT RECORD и вперёд
[13:52:43] <kemiisto> фигушки
[13:52:51] <kemiisto> мнодественное наследование нужно
[13:52:57] <белый шум> кому нужно?
[13:53:10] <kemiisto> ну так я и спрашиваю
[13:53:14] <kemiisto> как без него?
[13:53:22] <kemiisto> посмотри паттерны GoF
[13:53:24] <kemiisto> например
[13:53:29] <белый шум> я хз, ни разу не пользовался
[13:53:47] <valexey> ААА!!! Паттерны!!!
[13:55:42] <белый шум> ну так чо там с множеств. наследованием? кому нужно?
[13:56:22] <valexey> вообще то множество интерфейсов ключевая штука.
[13:56:41] <valexey> есть сущность А, она для кого то видится как нечто умеющее Б, а другие видят её как умеющее С
[13:56:47] <kemiisto> ну, вообще, да
[13:56:51] <kemiisto> взять тотже design by contract
[13:56:57] <geniepro> множественное наследование и множественные интерфейсы -- разные вещи
[13:57:02] <kemiisto> который, утверждается, что есть в абиронах
[13:57:05] <kemiisto> нету его
[13:57:20] <kemiisto> там нужно множественное наследование интерфейсов
[13:57:25] <kemiisto> как минимум
[13:57:39] <valexey> geniepro: технически множественный интерфейс это частный случай множественного наследования, так что ша :-)
[13:58:04] <белый шум> в говновики написано, что тырфейсы противопоставляются множеств. наследованию
[13:58:18] <geniepro> это почти то же самое, что сказать, что технически оберон -- это частный случай машины Тьюринга
[13:58:29] <kemiisto> патамушта там не наследуется реализация
[13:58:36] <kemiisto> а только интерфейс
[13:58:43] <kemiisto> вот и противопоставление
[13:58:47] <белый шум> бля. скока умных слов
[13:59:00] <valexey> ок. чем отличается, технически, множественное наследование тырфейсов от множественного наследования классов?
[14:00:08] <valexey> ответ — только смещением this'а. а так — те же самые таблицы виртуальных функций и обращение к функции по номеру.
[14:00:32] <kemiisto> да, наверное
[14:00:36] <kemiisto> и?
[14:01:14] <valexey> та и ничего, глупо их противопоставлять.
[14:01:26] <белый шум> херня короче, непонятно кому и для чего оно надо...
[14:01:52] <kemiisto> я сейчас тоже могу сказать "ниасилил"
[14:01:54] <valexey> ну, про метаинформацию ББшную можно то же самое сказать — непонятно кому и для чего оно надо.
[14:01:56] <kemiisto> но ну буду
[14:02:03] <valexey> очевидная ненужная хотелка
[14:02:09] <valexey> как и сборщик мусора, кстати.
[14:02:19] <белый шум> kemiisto: да ты и не объяснил шо это за хуйня
[14:02:29] <белый шум> valexey: да
[14:02:34] <белый шум> ничо не нужно
[14:02:45] <kemiisto> ББ не нужен!
[14:02:56] <белый шум> есть же сишечка
[14:03:03] <белый шум> c
[14:03:06] <белый шум> C
[14:03:14] <kemiisto> а что сишечка
[14:03:18] <kemiisto> есть В
[14:03:24] <kemiisto> D
[14:03:28] <kemiisto> блеать!
[14:03:38] <белый шум> there can be only one!
[14:03:55] <kemiisto> мне очень нравится когда абирон сравнивают с це++
[14:04:01] <kemiisto> сравнивайте с Ди!
[14:04:09] <белый шум> !
[14:04:11] <тихий бот> белый шум, http://пиши-код-блять.рф/
[14:04:12] <kemiisto> 99% аргументации уйдёт лесом
[14:04:24] <valexey> kemiisto: не, ты вначале правильно написал — есть B
[14:04:31] <valexey> зачем нам после него какой-то С?
[14:04:39] <kemiisto> хуйли с ++ то сравнивать
[14:04:47] <kemiisto> слишком уж просто
[14:05:04] <valexey> кстати, да.  D он как оберон — тоже не совместим с современными операционными системами.
[14:05:10] <kemiisto> это как избивать младших товарищей
[14:05:16] <kemiisto> во дворе
[14:05:24] <kemiisto> а ты пойди D побей!
[14:05:42] <белый шум> и где тот ваш D
[14:05:44] <белый шум> ?
[14:05:44] <тихий бот> белый шум, тварь ты дрожжащая или тот, кому надо?
[14:05:55] <kemiisto> белый шум: там же, где и абирон
[14:05:58] <белый шум> да
[14:05:59] <kemiisto> вообще нет
[14:06:08] <белый шум> а на D есть ось?
[14:06:12] <kemiisto> у него компилятор есть под многие платформы
[14:06:17] <kemiisto> и библиотек больше
[14:06:24] <белый шум> ось есть?
[14:06:36] <kemiisto> нет, наверное
[14:06:54] <белый шум> а чо?
[14:07:12] <kemiisto> не написали пока
[14:07:13] <valexey> кстати, а где у абирона ось?
[14:07:16] <valexey> :-)
[14:07:25] <kemiisto> да вот у меня Mac
[14:07:34] <kemiisto> какая у меня ОС?
[14:07:36] <valexey> то есть не из древних легенд, а натуральная такая современная ось
[14:07:37] <kemiisto> абирон?
[14:07:44] <белый шум> valexey: A2 же
[14:07:56] <kemiisto> стоп!
[14:08:03] <kemiisto> Active Oberon обсирали
[14:08:04] <valexey> А2 имеет какое-то отношение к абирону? :-)
[14:08:07] <kemiisto> что сложен
[14:08:10] <белый шум> канешна
[14:08:11] <kemiisto> и уже не абирон
[14:08:20] <kemiisto> так же как и зоннон
[14:08:26] <белый шум> так же как D к С :D
[14:08:43] <kemiisto> в каком-то смысле
[14:08:49] <kemiisto> современнее
[14:08:52] <белый шум> тогда о чём ваще речь
[14:08:53] <kemiisto> применимее
[14:08:56] <valexey> ну, D как бэ проще чем C++ и мощнее. A2 проще чем Оберон и КП?
[14:09:02] <белый шум> в каком то смысле
[14:09:17] <valexey> в каком именно?
[14:09:18] <белый шум> А2 это ось
[14:09:22] <valexey> синтаксис меньше?
[14:09:31] <valexey> AO :-)
[14:09:36] <белый шум> там концепт другой
[14:09:43] <valexey> стабильней?
[14:09:50] <valexey> ну вот, там даже КОНЦЕПТ другой.
[14:09:51] <белый шум> сразу в многопоточность и всё такое
[14:09:59] <kemiisto> ну и хер с ним, даже так
[14:10:01] <valexey> и какой это нафиг оберон после этого? :-)
[14:10:13] <kemiisto> мне бы компилятор AO под Mac OS X
[14:10:16] <белый шум> а где в обероне сказано про однопоточность и всё такое?
[14:10:18] <kemiisto> будьте добры ссылочку
[14:10:34] <белый шум> kemiisto: макос? а что это?
[14:10:36] <kemiisto> белый шум: реализация только одна жива
[14:10:40] <kemiisto> там и сказано
[14:10:55] <kemiisto> белый шум: ОС устанволенная на 10% ПК в мире
[14:11:05] <белый шум> ох, щи
[14:11:07] <valexey> и на 50ти в штатах :-)
[14:11:24] <kemiisto> valexey: штаты скоро перестанут существовать
[14:11:26] <белый шум> та ваще непонятно, о чём спор
[14:11:28] <белый шум> мем
[14:11:28] <тихий бот> белый шум, АБИРОН ПЛАХОЙ МАЙНСТРИМ ХАРОШЫЙ
[14:11:32] <kemiisto> не знал чолэ?
[14:11:32] <белый шум> вот и всё
[14:11:48] <kemiisto> абирон он не плохой
[14:11:52] <kemiisto> и не хороший
[14:11:55] <kemiisto> он никакой
[14:11:57] <valexey> речь о том, что сравнивать Оберон, нет, даже КП, надо с D.
[14:12:00] <kemiisto> он не существует
[14:12:14] <kemiisto> КП вот да
[14:12:20] <valexey> Если уж сильно чешется посравнивать
[14:12:25] <kemiisto> есть хоть какая-то реализация
[14:12:35] <kemiisto> с D не стоит сравнивать
[14:12:47] <kemiisto> КП проиграет
[14:12:49] <kemiisto> =)
[14:12:51] <valexey> :-)
[14:12:52] <белый шум> ну так не ной и напиши что-нибудь
[14:12:54] <белый шум> !
[14:12:54] <тихий бот> белый шум, http://пиши-код-блять.рф/
[14:13:06] <белый шум> чтобы за-существовал
[14:13:08] <kemiisto> белый шум: ты меня с кем-то путаешь
[14:13:12] <valexey> вообще половина коровского форума это нытье о том, как они ниасилили С и тем более С++
[14:13:29] <kemiisto> я же основной пользователь абиронов по мнению Info21
[14:13:32] <kemiisto> а не создатель
[14:14:08] <valexey> потому как 99 из сотни недостатков этих языков, которые там обсуждают, на практике просто выстреливают.
[14:14:14] <белый шум> как можно юзать то, что не существует?
[14:14:26] <kemiisto> блеать!
[14:14:32] <kemiisto> а я про что?
[14:14:37] <kemiisto> я и говорю
[14:14:44] <kemiisto> как можно юзать абирон?
[14:14:46] <белый шум> ложки нет, нео
[14:14:52] <kemiisto> если его не существует
[14:14:55] <белый шум> kemiisto: который абирон?
[14:15:02] <белый шум> вон, у веселовского спроси
[14:15:03] <valexey> а кстати, да. kemiisto ведь как раз целевая аудитория оберонов. судя по словам того же Ильи.
[14:15:30] <белый шум> valexey: как можно ковырять компилер к несуществующему языку?
[14:15:45] <valexey> то есть не программист в чистом виде, а специалист из специфической научной области.
[14:16:06] <valexey> которому иногда приходится попрограммить
[14:20:20] <белый шум> щас вон есть куча всего вкусного. я не вижу смысла даже в том, чтобы приходить в обероно-типа-"комьюнити" и тратить своё время на обсуждения мифической хрени.
[14:22:01] <белый шум> питон хаскель эрланг с++ с# D java
[14:22:06] <белый шум> круто
[14:22:26] <kemiisto> питон фтопку
[14:22:32] <kemiisto> типизация не та
[14:22:43] <kemiisto> на ФП у меня нет времени
[14:22:52] <kemiisto> С++ мы не обсуждаем
[14:22:57] <белый шум> а чо?
[14:23:06] <kemiisto> сложный
[14:23:08] <kemiisto> кривой
[14:23:11] <белый шум> objC ещё забыл, да!
[14:23:14] <kemiisto> вот последние три
[14:23:23] <kemiisto> D лучший, пожалуй
[14:23:25] <kemiisto> из них
[14:23:40] <белый шум> но он тоже не существует
[14:24:08] <kemiisto> существует
[14:28:24] <белый шум> Для чего предназначен язык D
Использование анализаторов кода;
Компиляция с максимальным количеством включенных уровней предупреждений (warning levels);
Упрощение и укрощение ООП C++;
Автоматическое управление памятью;
Встроенное тестирование и верификация;
Написание крупных приложений;
Встроенное автоматическое написание программ;
Абстрактная работа с указателями;
Программирование математики. Язык D поддерживает работу с комплексными числами и операторами определения NaN’ов (not a number) и бесконечностей (infinity). Они были добавлены в стандарт C99, но не были добавлены в C++;
В коробке с инструкцией и диском с компилятором D от Digital Mars открывашка для пива.
[14:29:45] <белый шум> kemiisto: много программ ты написал на D? :D
[14:30:01] <geniepro> при множественном наследовании наследуются поля и реализации методов, при реализации интерфейсов реализации методов приходится делать с нуля
[14:30:32] <kemiisto> белый шум: столько же, сколько на абироне
[14:30:48] <белый шум> 0?
[14:31:07] <kemiisto> ога =)
[14:31:51] <белый шум> эх, да... душа просится ввысь, а тело ползает по болотам С++ :D
[14:32:22] <valexey> geniepro: это не так. то есть это не обязательно.
[14:33:28] <kemiisto> белый шум: я учусь
[14:33:39] <kemiisto> и хочу правильно инвестировать своё время
[14:34:40] <geniepro> множественное наследование == bad, интерфейсы == good
[14:35:21] <kemiisto> создатель Eiffel смотрит на тебя как на говно
[14:35:31] <kemiisto> хотя там очень много хитростей
[14:35:36] <kemiisto> в наследовании
[14:36:38] <geniepro> во множественном наследовании множество печали
[14:37:14] <geniepro> > эх, да... душа просится ввысь, а тело ползает по болотам С++ :D
про хаскелл недавно спорное утвержденые гуляло:
"Хаскель — это как ламборджини в деревне. Немного подрочил — и пошел работать на тракторе."
[14:38:19] <geniepro> > создатель Eiffel смотрит на тебя как на говно
если бы в эйфелле были интерфейсы, множественное наследование не понадобилось бы
[14:39:42] <kemiisto> если бы в джаве было множественное наследование, интерфейсы не понадобились бы
[14:40:28] <geniepro> множественное наследование == bad, интерфейсы == good
[14:43:25] <kemiisto> множественное наследование С++ = bad
[14:43:38] <kemiisto> а эйфеллевское ты, думаю, не видел
[14:50:18] <geniepro> чем оно отличается?
[14:50:48] <kemiisto> встань, да посмотри (с)
[14:52:07] <geniepro> > Наследование, в том числе множественное наследование, переименование, переопределения, конструкция select (англ. выбор), наследование без полиморфизма, и другие механизмы, призванные сделать наследование безопасным.

"и другие механизмы, призванные сделать наследование безопасным."

множественное наследование == bad

[15:09:04] <valexey> geniepro: а в твоем языке будет наследование? :-) если чо, то наследование к type class'ам отношения не имеет
[15:09:59] <geniepro> классы типов -- интерфейсы. но одиночное наследование тоже надо -- в стиле расширяемых записей
[15:10:33] <geniepro> в стиле O'Haskell, короче
[15:12:09] <valexey> классы типов это нихрена не интерфейсы
[15:12:18] <valexey> это совсем другая штука
[15:12:41] <geniepro> классы типов -- аналог интерфейсов
[15:13:01] <valexey> классы типов это те самые концепты
[15:13:29] <valexey> классы типов не могут быть аналогом интерфейсов. они позволяют совершенно разный полиморфизм
[15:13:32] <geniepro> в ччие классов типов от интерфейсов?
[15:13:40] <geniepro> чём*
[15:14:23] <valexey> а сделай ка мне список содержащий элементы подподающие под тип классов A? да так, чтобы они все были разного типа
[15:14:33] <valexey> а вот с интерфейсом я это сделаю легко
[15:14:41] <valexey> типы классов это концепты
[15:19:22] <valexey> вообще поубивал бы кривых агитаторов которые в тьюториалах для начинающих приравнивают классы типов к интерфейсам.
[15:19:33] <geniepro> data Foo = forall a. Show a => Foo a

instance Show Foo where
   show (Foo a) = show a

x = [ Foo 1, Foo 'b', Foo 2.0, Foo True, Foo ("asdf", False, 5), Foo [1, 2, 3] ]

main = do
   print x


Main> :main
[1,'b',2.0,True,("asdf",False,5),[1,2,3]]

[15:19:54] <valexey> geniepro: то есть екзистенциальные типы ты тоже будешь вкорячивать в свой язык?
[15:20:05] <valexey> вообще, я просил на хаскеле, а не на ghc :-)
[15:20:26] <geniepro> посмотрим. я вапще хочу зависимые типы, но более понятные и юзабельные, чем в AST
[15:20:39] <geniepro> hugs понимает
[15:21:55] <valexey> haskell 2010 не понимает.
[15:22:08] <geniepro> тем хуже для него )
[15:22:35] <valexey> то что делается зависимыми типами много проще делается через спецформу/анализ AST
[15:22:45] <valexey> проще, явнее и понятней
[15:23:02] <valexey> для реальных боевых примеров конечно же, а не для факториалов
[15:23:35] <geniepro> как через анализ AST доказать во время компиляции, что функция сортировки возвращает всегда отсортированный массив? или что выхода за пределы массива быть не может?
[15:25:33] <valexey> введением собственного DSL :-) элементарно же.
[15:25:47] <valexey> и по даденому коду ты сгенерируешь кошерный AST либо выдашь ошибку
[15:26:15] <geniepro> пример кода?
[15:26:57] <valexey> не, ты давай вначале пример кода :-)
[15:27:32] <valexey> хотя нет, такой код уже наверняка есть и он находится простым гуглением
[15:27:50] <valexey> сделай ка лучше проверку на этапе компиляции корректности составленного конечного автомата
[15:28:04] <kemiisto> фичевание
[15:28:05] <kemiisto> фи!
[15:28:07] <kemiisto> =(
[15:29:32] <geniepro> каковы признаки "корректности составленного конечного автомата"?
[15:34:00] <geniepro> я не понимаю, как методом

"введением собственного DSL :-) элементарно же.
и по даденому коду ты сгенерируешь кошерный AST либо выдашь ошибку"

доказать, что

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

этот DSL будет реализовывать зависимые типы?
[15:34:36] <valexey> geniepro: например ошибкой является когда для данного состояния на одно и то же события повешено несколько переходов.
[15:38:16] <geniepro> а если связь "состояние+событие == переход" меняется во время работы?
[15:41:07] <valexey> не меняется. оно иммутабельно.
[15:41:27] <valexey> обычно конечные автоматы статичны. они не изменяются в процессе работы
[15:41:37] <valexey> то есть в 90 процентах случаев
[15:41:41] <valexey> применений
[15:48:37] <kemiisto> geniepro: твой язык ещё не вышел, а уже … :-D
[15:49:34] <geniepro> kemiisto: та он самый супер-пупер в мире будет )))
[15:49:56] <geniepro> если будет ))
[15:58:38] <valexey> вот так то вот, прежде чем писать язык с зависимыми типами, нужно вначале осилить язык с зависимыми типами :-)
[15:59:49] <geniepro> ну так что бы осилить зависимые типы, нужно реализовать транслятор для языка с ними. вот в чём фишка-то ))
[16:00:56] <valexey> нужно хотя бы пописать на языке с зависимыми типами.
[16:01:03] <valexey> каждый день их используя
[16:12:18] <geniepro> пока я не вижу практичного языка с зависимыми типами, кроме ATS, а он ужасен...
[16:12:48] <subj_rs> шо це зависимые типы?
[16:13:48] <valexey> типы зависящие от значения переменной
[16:14:07] <geniepro> вот немного про них: http://nponeccop.livejournal.com/114309.html
[16:16:36] <geniepro> зависимые типы: типы -- это данные
[16:16:53] <subj_rs> чего только не придумают
[16:17:58] <geniepro> да это старая концепция. доказатели теорем реализуют её: Agda2, Coq
[16:19:14] <valexey> только вот пользоваться этим не возможно :-)
[16:20:06] <geniepro> не, просто -- мы не те, кому надо )
[16:20:29] <valexey> у них есть реализация например того же квиксорта?
[16:20:36] <valexey> то есть на зависимых типах с доказательством
[16:20:44] <geniepro> наверное есть ))
[16:21:59] <geniepro> в википедии упоминается 14 языков с зависимыми типмаи )
[16:22:59] <valexey> и ни один не нужен :-)
[16:24:25] <geniepro> http://www.iis.sinica.edu.tw/~scm/2007/agda-exercise-length-indexed-mergesort/
[16:25:10] <valexey> это mergesort
[16:26:36] <valexey> Coq: http://mattam.org/repos/coq/misc/sort/quicksort.html
[16:26:44] <valexey> но проще умереть чем в этом разобраться
[16:29:07] <geniepro> этот квиксорт на Петухе (Coq) -- сортировка списков. если нужна разрушающая сорировка массива, то надо смотреть в другом месте
[16:31:56] <geniepro> если бы ATS не имел такой грязный синтаксис и громоздкую семантику -- это было бы то, что надо
[16:36:55] <geniepro> > и ни один не нужен :-)
на одном из них (Coq) был сделан верифицированный компилятор подмножества си
так что кону нужно -- нужен ))
[16:38:01] <valexey> но в основном нинужен :-)
[16:40:13] <geniepro> почему-то на атс тоже пример qsort для списка ((
[16:46:50] <valexey> гыгы
[16:46:56] <valexey> потому как для массива хрен докажешь
[16:47:08] <valexey> массив не рекурсивный тип в отличае от списка
[16:47:48] <geniepro> массив -- мутабельный
[16:52:52] <kemiisto> subj_rs: не слушай их
[16:53:02] <kemiisto> они сами не понимают, о чём говорят
[16:53:04] <kemiisto> =)
[16:53:13] <kemiisto> в этом вся соль AG
[16:53:17] <kemiisto> ФП
[16:53:28] <kemiisto> даже пунто не знает ФП
[16:53:38] <kemiisto> вывод - ФП не существует!!!
[16:59:55] <kemiisto> Белые Тигры, Омские Ястребы, Стальные Лисы, Минские зубры, Амурские тигры, Красная Армия
[16:59:57] <kemiisto> =)
[17:00:03] <kemiisto> МХЛ доставляет
[17:01:23] <geniepro> ФП
[17:01:24] <тихий бот> geniepro, Декоративное программирование рулит!
[17:17:00] <geniepro> с++
[17:17:02] <тихий бот> geniepro, с++ -- это злобное зло! абсолютное зло!! нету злее зла, чем с++!!!
[17:17:03] <geniepro> бб
[17:17:05] <тихий бот> geniepro, чао, бамбина, сори...
[17:32:42] <kemiisto> valexey: так это
[17:32:49] <kemiisto> в ББ есть горячая замена кода!!!
[17:32:51] <kemiisto> =)
[17:32:56] <valexey> где?
[17:33:06] <valexey> загрузка и выгрузка модулей есть, а горячей смены кода нет
[17:33:13] <kemiisto> ну-ну
[17:33:17] <kemiisto> ну горячись
[17:33:18] <kemiisto> =)
[17:33:24] <kemiisto> у тех, кому надо
[17:33:28] <kemiisto> есть
[17:35:14] <kemiisto> http://habrahabr.ru/blogs/atnikvariat/117711/
[17:35:17] <kemiisto> ололо!!!
[17:35:24] <kemiisto> совок был способен!!!111
[17:37:00] <kemiisto> коре-форум ( чуть не горе =) ) лёг
[17:37:25] <kemiisto> чистят тему про многопоточность
[17:37:33] <kemiisto> :-D
[17:37:59] <kemiisto> мне, кста, D намного больше Ada по душе пришолся
[17:38:09] <kemiisto> он как-то проще
[17:38:13] <kemiisto> и меньше
[17:38:15] <kemiisto> вроде
[17:39:48] <kemiisto> ТЕКСТ КАК ИНТЕРФЕЙС, БЛЕАТЬ!!!
[17:39:49] <valexey> он без легаси говна
[17:39:58] <valexey> но вот встроенный мусорщик все портит
[17:40:11] <valexey> алсо я не понимаю как там переписывать аллокатор памяти
[17:40:20] <kemiisto> тем, кому надо не портит
[17:40:22] <kemiisto> =)
[17:40:31] <valexey> kemiisto: а как в этом чудном xcode сказать ему чтобы он бинарь собирал не там где он хочет, а где я хочу?
[17:40:36] <kemiisto> и те, кому надо аллокаторы не переписывают
[17:40:44] <kemiisto> valexey: без понятия
[17:40:48] <kemiisto> используй Силу!
[17:40:52] <valexey> а то он сейчас пихает бинарь куда-то в потроха своей иерархии каталогов
[17:41:02] <kemiisto> Думай Иначе!
[17:42:29] <kemiisto> а GC то чем тебе не угодил?
[17:43:10] <valexey> тем что он в D очень примитивный
[17:43:19] <valexey> это вам не ява и не .net
[17:43:26] <valexey> алсо я хочу изолированые кучи
[17:46:13] <kemiisto> а подробнее?
[17:46:15] <kemiisto> =)
[17:46:24] <kemiisto> что там не так с GC?
[17:47:19] <valexey> примерно то же, что и в абироне :-)
[17:47:29] <valexey> кривой консервативный сборщик без поколений
[17:47:39] <valexey> алсо в моих задачах он не нужен вообще, только мешает
[17:54:29] <valexey> мне не нужны волшебные гномики, вижущие в черном ящике и спасающие меня несчастного от злых утечек памяти
[17:59:11] <valexey> kemiisto: а что же, чем вас, химиков, не устраивает ББ для решения ваших химических-вычислительных задач?
[17:59:35] <valexey> ну и вообще как база для формирования рабочей среды
[18:02:15] <kemiisto> про него никто ничего не слышал
[18:02:23] <kemiisto> Windows-only
[18:02:30] <kemiisto> однопоточно
[18:02:59] <valexey> а зачем тебе многопоточность?
[18:03:07] <valexey> а если бы оно было не windows only? :-)
[18:03:53] <kemiisto> многопоточность
[18:03:55] <kemiisto> мммм
[18:04:10] <kemiisto> ну по идее нужна возможность считать параллельно
[18:04:15] <kemiisto> а уж как там оно будет
[18:04:19] <kemiisto> но попроще
[18:04:28] <kemiisto> проще чем всякие MPI
[18:04:38] <kemiisto> если бы, да кабы
[18:04:44] <valexey> параллельно чему? :-)
[18:05:02] <kemiisto> в смысле
[18:05:05] <valexey> вообще что хорошего, досточтимый химик, видит в ББ? что там полезного?
[18:05:18] <valexey> если закрыть глаза на недостатки :-)
[18:05:37] <kemiisto> я имею ввиду возможность использования множества вчислительных узлов (ядер, процессоров, машин)
[18:05:53] <kemiisto> простой язык
[18:06:07] <kemiisto> я вон С++ уже третий год ковыряю
[18:06:12] <kemiisto> толку мало пока
[18:06:32] <valexey> гм. а чем скажем java современная не кошерна?
[18:06:43] <kemiisto> java ничем не проще чем С++
[18:06:51] <kemiisto> там тоже заморочек пиздец
[18:07:11] <kemiisto> и java унылое говно
[18:07:14] <valexey> э? вроде бы много проще
[18:07:19] <valexey> если в j2ee не лезть
[18:07:20] <kemiisto> стандартная библиотека ужасна
[18:07:27] <kemiisto> та Java-программист?
[18:07:31] <kemiisto> вот тебе и проще
[18:08:03] <kemiisto> открыть файл для чтения уже пиздец
[18:08:06] <kemiisto> нахер
[18:08:21] <kemiisto> наворотили энтерпрайзщики
[18:08:35] <valexey> я не жаба программист, но на жабе эпизодически пишу.
[18:08:40] <valexey> вроде бы там все вполне просто.
[18:08:42] <kemiisto> ну вот
[18:08:50] <kemiisto> ничего там не просто
[18:09:00] <valexey> по крайней мере проблем не возникало.
[18:09:06] <valexey> но сишечка проще конечно :-)
[18:09:14] <valexey> сишечка тупа и непосредственна
[18:09:33] <kemiisto> С никак не катит
[18:09:34] <valexey> вот в С++ ввод-вывод это эпик звиздец
[18:09:52] <valexey> да ладно, С99 вроде бы специально для числодробления придумывали :-)
[18:10:01] <kemiisto> попытка
[18:10:05] <kemiisto> провалившаяся
[18:10:07] <kemiisto> С++
[18:10:09] <тихий бот> kemiisto, с++ -- это злобное зло! абсолютное зло!! нету злее зла, чем с++!!!
[18:10:09] <kemiisto> Fortran
[18:10:22] <kemiisto> С тут уже нинужен
[18:10:23] <subj_rs> питон, во
[18:10:39] <kemiisto> тут наоборот пытаются уйти ещё дальше
[18:10:51] <valexey> э? куда?
[18:10:58] <kemiisto> вот на пистон все и переходят, кстати
[18:11:05] <kemiisto> valexey: я ж давал уже ссылки
[18:11:08] <kemiisto> Fortress
[18:11:10] <kemiisto> например
[18:11:16] <kemiisto> X10
[18:11:30] <kemiisto> Chapel
[18:11:41] <valexey> ой, про этот фортресс я много плохого слышал от астрономов
[18:11:58] <kemiisto> ФП патамушто
[18:12:02] <kemiisto> гамно адское
[18:12:07] <kemiisto> но оно дохлое
[18:12:10] <kemiisto> =)
[18:12:22] <kemiisto> X10 это Жаба
[18:12:32] <kemiisto> что-то выпилили, что-то добавили
[18:12:41] <kemiisto> вот Chapel, да
[18:12:44] <kemiisto> но там пиздец
[18:12:50] <kemiisto> не по Вирту, блеать
[18:12:55] <kemiisto> там столько всего
[18:12:57] <kemiisto> =(
[18:13:08] <valexey> остается D? :-)
[18:13:40] <kemiisto> Fortran
[18:13:46] <kemiisto> для кранчинга
[18:13:48] <kemiisto> а так
[18:13:51] <kemiisto> хз
[18:13:58] <kemiisto> абирон бы нормальный
[18:14:07] <valexey> а что значит нормальный?
[18:14:09] <kemiisto> в смысле реализацию
[18:14:23] <kemiisto> ну тот же ББ меня бы устроил
[18:14:33] <kemiisto> если б был хотя бы на Большой Тройке ОС
[18:14:41] <valexey> и вообще, тебе как спецу не программеру, гламурная среда из составных документов в ББ вообще побоку, или как?
[18:15:06] <kemiisto> я её не шюпал
[18:15:16] <kemiisto> но семантическая раскраска как в Ворде
[18:15:20] <kemiisto> мне - самое оно
[18:15:35] <kemiisto> а синтаксические новогодние ёлки утомляют
[18:15:45] <kemiisto> VCS нахуй не нужен
[18:15:57] <valexey> VCS это хто такой?
[18:16:00] <kemiisto> так что
[18:16:06] <kemiisto> система контроля версий
[18:16:32] <valexey> гм. ну мне нужен.
[18:16:43] <kemiisto> зачем?
[18:17:14] <valexey> а как иначе совместно работать?
[18:17:46] <kemiisto> ну так поэтому я и говорю
[18:17:52] <kemiisto> не нужна мне VCS
[18:18:09] <kemiisto> те задачи, для которых мне бы мог пригодится ББ сугубо личные
[18:18:24] <kemiisto> интимные =)
[18:19:21] <valexey> оу…
[18:19:34] <kemiisto> буду отходить, надо готовить
[18:19:36] <kemiisto> =)
[18:19:43] <valexey> кого?
[18:19:45] <valexey> к чему?
[18:37:15] <valexey> ы-ы. я audacity использую как штуку для рисования графиков :-)
[18:37:42] <valexey> точнее для визуализации того что я там подсчитал.
[18:47:19] <subj_rs> http://habrahabr.ru/blogs/cpp/117596
[18:48:27] <valexey> писать C/C++ это все равно что писать Паскаль/Ада
[18:48:33] <valexey> Или там Оберон/Ада :-)
[18:48:45] <valexey> Хотя конечно ближе таки Паскаль/Ада
[18:49:07] <subj_rs> в аде integer(a) и integer мульон пробелов (a) - одно и тоже
[18:51:57] <subj_rs> valexey: ну низнай, ада - не расширение паскаля такто
[18:52:15] <valexey> а С++ это тоже не расширение С
[18:52:22] <valexey> а вот ObjC — это таки да, расширение С
[18:52:30] <valexey> так что верно писать C/ObjC
[18:52:31] <subj_rs> но С++ поддерживает С
[18:52:39] <valexey> что значит поддерживает?
[18:52:54] <subj_rs> значит, что компилятор С++ схавает сишный код )
[18:52:58] <valexey> у них нет полной совместимости ни в одну из сторон. С++ не является надмножеством Си
[18:53:05] <valexey> нет, не схавает
[18:53:20] <valexey> схавает только в некоторых частных случаях
[18:53:42] <valexey> алсо мне не понятно что такое в статье этой интересного? автор Кэп?
[18:53:43] <subj_rs> valexey: писать С/С++ больше похоже на писать Ада83/Ада95
[18:53:47] <valexey> Это как бэ всем известно.
[18:53:56] <subj_rs> мне не известно )
[18:54:06] <valexey> ты видимо на Си не пишешь :-)
[18:54:10] <subj_rs> не пишу )
[18:54:16] <subj_rs> но иногда приходится читать
[18:54:20] <subj_rs> и плеватцо
[18:55:37] <valexey> знаешь, в Аде тоже полно неоднозначностей. одно и то же выражение в зависимости от контекста может означать десяток разных вещей :-)
[18:55:48] <valexey> так чта ша.
[18:55:56] <subj_rs> примеры )
[18:56:21] <valexey> a(10); — это вызов функции, или берем что-то из массива?
[18:57:03] <subj_rs> вызов функции
[18:57:11] <valexey> с чего бы? :-)
[18:57:19] <subj_rs> вот b:= a(10);  - берем чтото из массива
[18:57:36] <subj_rs> или вызываем функцию - здесь уже действительно непонятно )
[18:58:19] <subj_rs> но обычно функции не обзывают a, b  )
[18:59:04] <valexey> As an example, the seemingly innocent notation "A(I)" has 17 possible
 structurally distinct interpretations.  One example interpretation is
 this: A is a function that is implicitly called, with no parameters,
 returns a pointer, the pointer is implicitly dereferenced giving an
 array, the array is subscripted (the parentheses--the only
 syntactically explicit operation in the example), the subscript being
 the result of implicitly calling function I.

[18:59:13] <valexey> 17!
[18:59:16] <valexey> http://www.cs.wichita.edu/~rodney/languages/Modula-Ada-comparison.txt
[19:00:14] <valexey> короче, полный превед :-)
[19:01:10] <subj_rs> valexey: ничего страшного ), программист обычно читает только спеки пакетов и по ним пишет свой код
[19:01:35] <valexey> есть чего страшного. в рассылке уже это обсасывалось неоднократно :-)
[19:02:39] <subj_rs> это какже окружающий мир надо не любит чтоб такие извращение впихнуть в безобидное A(I) ? ))
[19:03:33] <subj_rs> я никогда не назову массив, содержащий ссылки на функции как простое a )
[19:03:42] <valexey> а как надо не любить окружающий мир, чтобы заводить в сях переменную как Type(var) ?
[19:03:55] <valexey> так просто никто никогда не пишет.
[19:05:36] <subj_rs> valexey: и эта, если ты точно не знаешь что есть a и попытаешся вызвать a(i) в неправильном контексте - компилятор по идее должен будет сообщить тебе об этом
[19:06:20] <valexey> что значит я пытаюсь что-то вызвать в неправильном контексте? код уже написан а я его читаю пытаясь понять что же там происходит
[19:06:41] <subj_rs> посмотри в заголовок на предмет что есть такое а )
[19:07:05] <valexey> ога, в один из сотни юзов
[19:07:22] <subj_rs> а как читать код не зная какая переменная за что отвечает?
[19:07:54] <valexey> короче, состоятельность доводов одинакова что в плане Си что в плане ады :-)
[19:09:47] <subj_rs> домой наверное пора ехать
[19:09:57] <valexey> пока-пока!
[19:47:12] <vlad2> valexey: Там на форуме ничего нельзя покрутить на предмет доступности его всем?
[19:48:06] <valexey> а он вроде всем доступен
[19:48:11] <valexey> то есть я ничего не трогал
[19:48:22] <valexey> попробуй через проксю какую-нибудь
[19:48:23] <vlad2> Дык. У меня уже с неделю ни в каком виде.
[19:48:43] <vlad2> Да, была идея через проксю. Но это ж запарно...
[19:49:06] <vlad2> Хостинг вообще где?
[19:49:45] <valexey> территориально?
[19:49:57] <vlad2> Ну да. Может они территориально стали резать...
[19:51:40] <valexey> теоретически это штаты
[19:52:13] <valexey> оно крутится тут: http://byethost.com/index.php/free-hosting
[19:52:36] <valexey> еще точнее: http://byethost7.com/
[19:52:38] <valexey> вот тут
[19:54:32] <kemiisto> valexey: так-так
[19:54:35] <kemiisto> значится
[19:54:41] <vlad2> Да, через просю пошло.
[19:54:50] <kemiisto> форум доступен только тем, кому надо
[19:54:55] <valexey> Ж-)
[19:54:55] <kemiisto> ай-ай-ай
[19:55:06] <vlad2> Ну если штаты - то это как-то совсем странно...
[19:55:19] <kemiisto> vlad2: тут дело не в штатах
[19:55:21] <kemiisto> =)
[19:55:32] <kemiisto> ту просто должен твёрдо решить
[19:55:37] <kemiisto> надо оно тебе или нет
[19:56:04] <vlad2> Мля. Я еще и пароль забыл.
[19:57:19] <valexey> ога, а оно тебе на почту ничего не вышлет
[19:57:24] <valexey> могу сбросить пароль
[19:58:39] <vlad2> Фуцк. Давай.
[19:58:52] <vlad2> Еще лучше сразу новый пропиши :)
[19:59:11] <vlad2> А. Подожди.
[19:59:20] <vlad2> Я с другого компа схожу.
[19:59:26] <vlad2> Там должен был запомнится.
[20:03:54] <vlad2> Понаписали то... :)
[20:04:16] <valexey> ога
[20:04:17] <тихий бот> valexey, так и живём...
[20:04:18] <valexey> спамиры
[20:30:23] <geniepro> непонятно, почему в сях дозволительно делать так: int (x) = 10;
[20:31:00] <valexey> почему нет?
[20:31:11] <valexey> объявили переменную и инициализировали её десяткой
[20:31:30] <geniepro> как можно в объявлении переменной окружать её скобками???
[20:31:43] <valexey> вот так вот. синтаксис дозволяет
[20:31:49] <geniepro> мало того, что это непонятно, так ещё и на баги провоцирует
[20:34:22] <valexey> когда ты с такими багами в последний раз встречался?
[20:34:30] <valexey> на моей практике этого не было ни разу.
[20:34:35] <geniepro> в статье Андерсона "Синтаксис типов в Си" примеры покруче
[20:36:32] <geniepro> описание ::= спецификация_типа описатель
спецификация_типа ::= char | int | ...
описатель ::= идентификатор | (описатель) | ...

всё верно, синтаксис позволяет...
[20:36:47] <geniepro> маразм
[20:39:24] <geniepro> char (*(x2 ())[]) ()   означает   x2: proc () ref array of ref proc () char
[20:40:21] <geniepro> то есть процедура, возвращающая указатель на массив указателей процедур, возвращающих символ
[20:40:51] <geniepro> насколько паскалеподобная нотация проще и нагляднее, хоть и более громоздкая
[20:41:15] <kemiisto> ОООО!!!
[20:41:19] <kemiisto> АНТИКЛЕВЕТЫ!!!
[20:41:30] <kemiisto> СРОЧНО ТРЕБУЕТСЯ ЖИРНАЯ КЛЕВЕТА!!!
[20:41:32] <geniepro> мем
[20:41:34] <тихий бот> geniepro, АБИРОН ПЛАХОЙ МАЙНСТРИМ ХАРОШЫЙ
[20:41:36] <kemiisto> для аннигиляции
[20:41:47] <kemiisto> 0
[20:41:55] <kemiisto> + hv
[20:41:57] <kemiisto> =)
[20:42:03] <geniepro> ,
[20:42:07] <geniepro> .
[20:42:08] <тихий бот> geniepro, kemiisto!
[20:43:04] <valexey> иногда краткость синтаксиса важнее ясности для нубов
[20:43:20] <geniepro> > когда ты с такими багами в последний раз встречался?
несколько раз приходилось брать книгу с этой статьёй Андерсона и разбирать посимвольно типы переменных/функций...
[20:43:25] <kemiisto> это когда же
[20:43:37] <kemiisto> geniepro: он назвал тебя нубом =)
[20:43:52] <geniepro> э, пойдём выйдем поговорим )))
[20:43:59] <valexey> вот чтобы Type(var) = value; // такого небыло ни разу
[20:58:01] <geniepro> московские саповцы оригинально работают -- прислали к анм нескольких пиплов, наши им объясняли, что нам надо, те вроде поняли, записали, потом оказывается у них уволили того, кто записывал наши требования, и они составили нам какое-то типовое их решение, хотят нам пропихнуть...
[21:00:53] <valexey> Ж-)
[21:00:56] <valexey> им так проще
[21:04:27] <geniepro> http://fritzmorgen.livejournal.com/389409.html
"Суть наблюдения такова (Германия, Финляндия, Россия — везде немного по-разному, но процесс похожий):

а) ювенальная юстиция мало затрагивает исповедующих ислам.
б) в Германии интересы ислама продвигаются на достаточно высоком уровне, причём местные никак не могут этому помешать, так как выборы достаточно фиктивны.
в) очень много денег из арабских стран инвестируется в Германию. Как следствие, сильно упрощен въезд исповедующих ислам — немцы не могут реально обороняться против мусульман, так как им тут же шьют нацизм. Только русско-говорящие пока ещё могут.
г) в Финляндии мусульман пока мало, но в Швеции и Норвегии их уже хватает.
д) христианская церковь, в отличие от мусульман, никак не защищает семейные ценности как таковые.

Таким образом, происходит вот что: если ювенальные сотрудники прижмут сильнее, будет выгодно принять ислам, чтобы избежать многих неприятностей. Так как если полицаи придут в исламскую семью забирать ребенка, разразится скандал."
[21:05:53] <geniepro> будут отбирать у вас детей -- переходите в ислам ))
[21:07:42] <geniepro> http://metaclass.livejournal.com/611562.html?thread=9309162#t9309162
"чтобы легче искать съмную квартиру, написал парсеры досок объявлений. и задумался. проститутки с их мозгами каждые пол года без труда находят съмную квартиру. а я пишу для этого скрипты на руби под линукс. без каноничности и технофетишизма никак нельзя обойтись? или я просто не проникся позитивностью идеи писать на хаскеле на помойке?"

))
[21:16:15] <geniepro> у Lubunta интерфейсик ничо так, простенький, вроде шустрый. напоминает вин-хр, в отличие от этих монстров KDE4 и прочих нечистей
[21:21:25] <valexey> geniepro: а что у тебя там с маком?
[21:26:24] <geniepro> с маком глухо )) не звонит тот чувак, который хотел продать мне макбук. ну и лана )))
[21:27:44] <geniepro> я щас хакинтош на вмваре плейер ставлю, посмотрим, установится ли ))
[22:29:12] <valexey> пробовать оси на виртуалках -- знатное извращение
[22:29:40] <valexey> это примерно как представление о девушках составять по общению с резиновыми бабами
[22:41:56] <geniepro> в haXe под перечислениями замаскировали АлгТД, а паттернматчинг делают сиподобным свитчем )))
[22:48:30] <valexey> от синтаксиса ECMAScript'a меня коробит и колбасит.
[22:48:38] <valexey> Не могу я на этих языках писать...
[22:48:43] <valexey> Почему-то.