[10:09:05] <geniepro> valexey> https://lenta.ru/news/2016/10/23/kuznetsdim/
https://www.facebook.com/photo.php?fbid=200480580389191&set=a.197378614032721.1073741828.100012817502654&type=3
Вот, что говорят военные моряки:
"У чёрного дыма ("ШАПКИ"), исходящего из трубы военного корабля, есть куда более простое объяснение, которое вовсе не имеет отношения к плохому техническому состоянию энергетической установки корабля.
На военно-морском флоте "шапку" корабль дает только тогда, когда хочет этого сам. Это такая флотская традиция.
Достигается это умышленной подачей в камеру сгорания через форсунки топлива под меньшим, чем требуется, давлением, чтобы оно не всё сгорало, и чтоб труба дала "шапку" чёрного дыма.
"Шапка" чёрного дыма, исходящая из трубы военного корабля, как бы говорит всем: "Я пришел, здравствуйте", "Я ухожу, до свидания", или "Я ИДУ!"
В первых двух случаях "шапки" даются из трубы короткие: выползло облако и поплыло над гаванью, портом, базой и городом.
В случае "Я ИДУ!" даётся уже не просто "шапка", а длинный шлейф чёрного дыма, исходящий из трубы всё время прохода корабля по "приветствуемой" им территории.
Смысловой подтекст всех этих "шапок" и шлейфов - разный: от дружественного, подающего сигнал надежды - для своих; до предупреждающего или угрожающего - для чужих.
Вот и думайте, зачем российский флагман шел через Ла-Манш под "шапкой". Может - приветствовал англичан, а может совсем наоборот."
[12:22:26] <valexey> Кстати: https://github.com/Microsoft/language-server-protocol
[12:22:31] <valexey> Перспективно
[12:49:56] <geniepro> валексей, тебе пришла пора определяться, из твоего штаба в эхе москвы требуют прямо!!! http://echo.msk.ru/blog/a_goldfarb/1860792-echo/
[12:50:40] <geniepro> "Один мой приятель, Нью-Йоркский старожил, познакомившись с обладательницей двух гражданств в баре ресторана «Русский Самовар» на 52й улице и выслушав слова восхищения жизнью в новом свете, ошарашил собеседницу вопросом: а если начнется война, вы за кого будете, за американцев или русских? Этот простой вопрос сейчас вытеснят стандартные предметы споров, типа: за присоединение ли вы Крыма, или какого типа и против кого должны быть санкции, или кто вам ближе, Каспаров или Навальный. Определиться, в первую очередь для самого себя, необходимо по вопросу: желаете ли вы поражения и нанесения ущерба России в ее конфликте с Америкой, или наоборот? И готовы ли вы этому способствовать? Уйти от этого вопроса, объявив свой нейтралитет, пацифизм, или отсутствие интереса к политике, будет трудно, ибо если вы, к примеру, платите здесь налоги, то часть ваших денег пойдет на нанесение ущерба вашей другой родине.
В условиях войны не работает также и уловка типа: я за Россию, но я против режима. В координатах войны режим и есть Россия, ибо параметры «поражения» и «ущерба» не могут относится только лишь к режиму, не относясь ко всей стране.
Итак, момент истины наступил. Пора определяться: вы за кого, за Россию или за Америку?"
[12:59:55] <valexey> хреновенькая эха у москвы :-)
[13:03:34] <valexey> Бгг: https://lenta.ru/news/2016/10/24/collective_access/
[13:04:56] <valexey> https://www.facebook.com/qetzal/posts/10209903768846775
[13:05:02] <valexey> А в раше такого нет!
[13:05:36] <geniepro> даже до сих пор в той же японии популярны интернет-клюбы с онлайн играми
[13:10:56] <geniepro> http://m.cnews.ru/news/top/2016-10-19_microsoft_zayavila_o_revolyutsionnom_proryve_kompyuter
[13:25:48] <valexey> — И кто мы с тобой теперь, — спросила она, склонив голову и обхватив руками свои колени, — Друзья или любовники?
Он стоял у окна и молчал...
— Кем бы ты хотел быть? — спросила она снова.
Он посмотрел в окно, на звёздное небо, и мечтательно ответил:
— Космонавтом
[13:44:01] <valexey> geniepro: смотри какая моща у окамла!
[13:44:02] <valexey> https://people.redhat.com/~rjones/bitstring/html/Bitstring.html
[13:44:07] <valexey> А Хаскиль такое может?
[13:45:32] <geniepro> valexey: есть такое: http://hackage.haskell.org/package/bitstring
но насколько оно эрлангоподобное -- хз
[13:46:52] <geniepro> походу это не то ))
[13:46:58] <valexey> там же ни паттерн матчинга, нифига
[13:47:29] <geniepro> НИНУЖЕН твой битстринг ))
[13:47:30] <valexey> короче, за одно наличие camlp4 и ppx камлу можно простить многое :-)
[13:47:41] <valexey> ибо позволяет делать такие вот битстринги
[13:47:51] <valexey> что радикально повышает читабельность и надежность кота
[13:48:43] <geniepro> ну, в хаскеле тоже есть раширения template haskell и прочая лабуда, позволяющая расширять язык
[13:50:58] <geniepro> https://hackage.haskell.org/package/BitSyntax-0.3.2.1/docs/Data-BitSyntax.html
"It's something like Erlang's bit-syntax (or, actually, more like Python's struct module)."
[13:53:49] <geniepro> посмотрел я твою ссылку окамлевую -- что-то не особо там упростился код
[13:57:09] <valexey> | { 4 : 4; hdrlen : 4; tos : 8; length : 16;
identification : 16; flags : 3; fragoffset : 13;
ttl : 8; protocol : 8; checksum : 16;
source : 32;
dest : 32;
options : (hdrlen-5)*32 : bitstring;
payload : -1 : bitstring } ->
[13:57:13] <valexey> куда уж проще то?
[13:58:09] <geniepro> жуть )))
[13:58:26] <geniepro> где камменты -- что за поле что означает? ))
[13:58:50] <geniepro> 4 : 4; -- ваще круто ))
[13:59:14] <valexey> каммент выше же :-)
[13:59:19] <geniepro> это четвёрка в 4-х битах или просто пропускаюися 4 бита?
[13:59:40] <valexey> Это четверка в 4 битах
[13:59:43] <valexey> то есть значение
[13:59:53] <valexey> это ж кусок паттерн матчинга
[14:00:33] <valexey> вот два других кейса:
[14:00:36] <valexey>
| { version : 4 } ->
eprintf "unknown IP version %d\n" version;
exit 1
| { _ } as pkt ->
eprintf "data is smaller than one nibble:\n";
Bitstring.hexdump_bitstring stderr pkt;
exit 1
[14:00:56] <valexey> Короче, как в ерланге.
[14:01:10] <valexey> Причем есть и матчинг есть и конструирование.
[14:01:57] <valexey> Хотел одну утилиту на гошечке писать, теперь видимо буду таки на камле :-)
[14:03:37] <geniepro> но ведь у окамла всего 1 вендор!!!
[14:06:02] <valexey> а утилита и не должна жить в веках
[14:07:12] <valexey> хуяк-хуяк и не в продакшн!
[14:07:13] <valexey> :-)
[14:07:59] <geniepro> http://s.pikabu.ru/images/big_size_comm/2012-03_5/13325375799772.jpg
[14:09:24] <valexey> ну это картинка про продакшн как раз. продакшн на js :-)
[14:09:58] <geniepro> а Влад реально свой еберон юзает в продакшне или ещё нет? или уже нет? ))
[14:13:48] <valexey> кстати, в камле таки camlp4 и ppx реально часто юзаются.
[14:14:05] <geniepro> valexey: кто сказал? о_О
[14:14:06] <valexey> кто-то сказал бы что это слабость языка и хреновая архитектура, как и у лиспа...
[14:14:13] <valexey> но мне кажется что это круто :-)
[14:14:28] <valexey> дык у пачки либ в зависимостях camlp4 :-)
[14:14:38] <valexey> у той же Lwt например
[14:14:39] <geniepro> valexey: Зефиров постоянно твердит, что макросы -- следствие слабой системы типов ))
[14:15:06] <valexey> да я помню, помню :-)
[14:15:23] <valexey> но не в типах дело, а в DSL же
[14:15:36] <valexey> точнее струмент для клепания eDSL штука полезная
[14:15:41] <valexey> http://ocsigen.org/lwt/manual/
[14:15:44] <valexey> тоже няшечка
[14:15:50] <valexey> но из другой оперы конечно
[14:15:50] <geniepro> ну так хорошая система тиоплв позволяет делать хорошие eDSL со статической типизацией
[14:16:17] <valexey> хорошей системы типов не достаточно чтобы привнести eDSL с хорошим синтаксисом.
[14:16:34] <valexey> но типизация будет, да
[14:17:18] <geniepro> eDSL должен иметь такой же синтаксис, как и язык, в который оный встраивается
[14:18:04] <valexey> неа. иначе он не DSL ни разу :-)
[14:18:11] <geniepro> The Ppx syntax extension is documented here. This syntax extension is more recent and is recommended.
http://ocsigen.org/lwt/2.5.2/api/Ppx_lwt
[14:18:38] <geniepro> "Error
Ocaml_lexer.Error(_, _)
Ocisgen running in debug mode"
[14:19:04] <valexey> нормуль :-)
[14:19:12] <valexey> сломалось - значит люди работают!
[14:19:35] <valexey> http://ocsigen.org/lwt/dev/api/Ppx_lwt
[14:19:47] <valexey> http://ocsigen.org/lwt/2.5.1/api/Ppx_lwt
[14:19:55] <valexey> короче, если потыкать, то работает :-)
[14:21:29] <valexey> ppx проще, документированней, но слабее чем camlp4.