codingteam@conference.jabber.ru

codingteam

18.10.2015< ^ >

Тема: C, С++, D, Java, C#, Haskell, Ruby, Scheme, Common Lisp, Erlang, OCaml, JavaScript, TypeScript, Clojure, Scala, Nemerle, F#, Groovy, R, Rust.
Dead Food: Flash, PHP, Pascal/Delphi/Borland, Basic, 1С, Py++
HQ: http://codingteam.org.ru
0xDead Food: http://leechcraft.org
Live Food: http://loglist.net/
Fast Food: http://hastebin.com/
Instagram Food: http://tinyurl.com/ctcjr-logs
Report Developer Abuse: http://loglist.net/quote/new
Morning Tsoding: https://www.livecoding.tv/rexim

[00:10:28] sss|zombie зашёл в конференцию
[00:19:24] O01eg вышел из конференции
[00:26:05] portnov вышел из конференции
[00:46:21] ckorzhik зашёл в конференцию
[00:55:53] Minoru вышел из конференции
[01:06:42] reggies зашёл в конференцию
[01:12:39] ɹǝɟılʍǝu вышел из конференции
[01:41:35] любитель криппи языков вышел из конференции
[02:07:30] Spo1ler вышел из конференции
[02:51:08] reggies вышел из конференции
[04:08:18] ForNeVeR вышел из конференции: Disconnected: Replaced by new connection
[04:08:18] ForNeVeR зашёл в конференцию
[04:09:12] eaeee вышел из конференции
[04:09:33] horta hell вышел из конференции: Disconnected: Replaced by new connection
[04:09:34] horta hell зашёл в конференцию
[04:12:37] ForNeVeR вышел из конференции: Disconnected: Replaced by new connection
[04:12:38] ForNeVeR зашёл в конференцию
[05:03:51] <horta hell> Floating Profit/Loss агонизирует, сжимая зубы в предсмертных судорогах. Все теряют по 1PTC.
[06:42:47] ckorzhik вышел из конференции
[07:28:52] sss|zombie вышел из конференции: Вышел из Vacuum-IM
[08:18:20] <gsomix> Утро.
[08:18:25] <gsomix> $pet resurrect
[08:18:27] <horta hell> gsomix: Вы воскресили питомца этой конфы! Это ли не чудо?! За это вы получаете 3PTC.
[08:18:30] <gsomix> $pet transfer ForNeVeR 3
[08:18:31] <horta hell> gsomix: Транзакция успешна.
[09:27:14] rexim зашёл в конференцию
[09:29:26] <rexim> Утряка-вака
[09:29:27] eaeee зашёл в конференцию
[09:30:54] <rexim> gsomix: > http://www.youtube.com/watch?v=VI4ssGtfdxw
Крутотень! :)
[09:31:37] rafaelrs зашёл в конференцию
[09:43:37] gsomix вышел из конференции
[09:51:27] <rexim> Прум-пурум-пурум-пурум-пурум-пум-пум!
[09:54:02] <ForNeVeR> Код был написан.
[09:54:25] <rexim> ForNeVeR: зе мишен хез бин акомплишд!
[09:56:58] gsomix зашёл в конференцию
[10:06:02] rexim вышел из конференции
[10:18:23] portnov зашёл в конференцию
[10:33:00] rexim зашёл в конференцию
[10:33:15] * rexim consumes buckwheat furiously
[10:33:34] <gsomix> \o/
[10:33:46] <rexim> gsomix: гсомиксяка-вака!
[10:38:02] <gsomix> rexim, а у меня сырчнички.
[10:38:59] rafaelrs вышел из конференции
[10:39:13] rafaelrs зашёл в конференцию
[10:43:19] <gsomix> И еще я чайник разбил.
[10:43:29] <gsomix> Надо бы новый купить.
[10:44:59] <ForNeVeR> А я вчера купил!
[10:45:01] <ForNeVeR> И теперь у меня чаёк!
[10:47:30] <gsomix> Придется какао делать.
[10:59:40] rexim вышел из конференции
[11:00:36] O01eg зашёл в конференцию
[11:19:27] ckorzhik зашёл в конференцию
[11:23:19] m4n71k0r зашёл в конференцию
[11:25:03] <m4n71k0r> утро
[11:40:47] <m4n71k0r> а кто не согласен, тот стирает монады минорыча
[11:42:55] Spo1ler зашёл в конференцию
[11:42:57] rafaelrs вышел из конференции
[11:43:05] rafaelrs зашёл в конференцию
[11:44:30] <ForNeVeR> _о
[11:44:54] rafaelrs вышел из конференции
[11:45:11] rafaelrs зашёл в конференцию
[11:46:15] Renesat зашёл в конференцию
[12:18:26] dzhon зашёл в конференцию
[12:22:34] ɹǝɟılʍǝu зашёл в конференцию
[12:23:39] <ɹǝɟılʍǝu> Орту ад
[12:23:59] <ɹǝɟılʍǝu> ForNeVeR, у тебя глаз отклеился
[12:24:12] <ForNeVeR> О, точно. Спасибо.
[12:24:28] <ForNeVeR> ɹǝɟılʍǝu: https://dl.dropboxusercontent.com/u/36383162/14450800423942.jpg
[12:26:28] <ɹǝɟılʍǝu> xD
[12:44:55] <ɹǝɟılʍǝu> send/rexim/Метконосцы теперь с метками. А у Мимимиксера своя меточка за жопе появилась?)/
[12:44:57] <horta hell> ɹǝɟılʍǝu: Сообщение помещено в очередь.
[12:45:52] <ɹǝɟılʍǝu> ForNeVeR, https://cs7060.vk.me/c7001/v7001913/14dc5/ffDWVfSujT8.jpg https://cs7060.vk.me/c7001/v7001498/14a92/GvZpLfo9wZw.jpg
[12:46:12] <ForNeVeR> :3
[12:46:22] <ForNeVeR> Какой котище!
[12:52:53] dzhon вышел из конференции
[13:09:52] <ɹǝɟılʍǝu> ForNeVeR, а у тебя есть печать Чистоты?
[13:09:56] eaeee вышел из конференции
[13:11:40] rexim зашёл в конференцию
[13:12:32] * rexim отсидел себе квадратную жопу на табуретке вместо метки
[13:12:49] <ɹǝɟılʍǝu> rexim, а теперь качай
[13:12:54] <ɹǝɟılʍǝu> Чтобы была как у Патрика.
[13:13:01] <rexim> Хорошо
[13:42:49] Renesat вышел из конференции: offline
[13:43:18] <rexim> Интересный факт: один из новосибирских офисов Яндекса находится рядом с криогенной стацией Института Ядерной Физики
[13:46:54] <gsomix> rexim, отправляют сотрудников на поддержку новых проектов. В будущее.
[13:47:36] <gsomix> http://trendclub.ru/upload/media/images/Randall/new/3.jpg
[13:48:22] <rexim> gsomix: интересная теория. :)
[13:48:52] <rexim> gsomix: я дома картинку гляну. Я сейчас в кафешке, в которой анально огорожен доступ ко многим сайтам =(
[13:48:58] <rexim> Включая твою ссылку...
[13:49:08] <gsomix> Там Фрай.
[13:49:13] <rexim> Хех
[13:50:48] <j123123> можно через жаббер проксировать
[13:50:52] <j123123> $pet stats
[13:50:54] <horta hell> j123123:
Кличка: Floating Profit/Loss
Здоровье: 52
Сытость: 17
Возраст: 5 часов
[13:50:56] <j123123> $pet feed
[13:50:58] <horta hell> j123123: Floating Profit/Loss аккуратно придерживает передними лапками добычу, кушая. Вы зарабатываете 1PTC.
[13:51:14] <j123123> $pet transfer horta\ hell 1
[13:51:15] <horta hell> j123123: Транзакция успешна.
[14:03:05] rexim вышел из конференции
[14:03:05] rexim зашёл в конференцию
[14:23:57] MaXGGXaM вышел из конференции
[14:27:49] <rexim> ForNeVeR: https://github.com/codingteam/loglist/pull/138
[14:28:13] <ForNeVeR> rexim: да-да, я вижу. Жду, пока travis всё скомпиляет.
[14:28:24] <rexim> =3
[14:29:00] <ForNeVeR> ...а теперь ждём Jenkins'а :)
[14:32:13] <rexim> ForNeVeR: =3
[14:34:30] <ɹǝɟılʍǝu> Вот кстати.
[14:34:42] <ɹǝɟılʍǝu> Гаджим как-то загружает превьюшки даже залоченных сайтов...
[14:35:04] <rexim> Через свой прокси какой-то? %)
[14:35:14] <ɹǝɟılʍǝu> Думаю, что да.
[14:37:57] MaXGGXaM зашёл в конференцию
[14:38:09] <ɹǝɟılʍǝu> ForNeVeR, http://cs5.pikabu.ru/post_img/2015/10/18/6/1445157339_670396721.jpg
[14:38:17] <ForNeVeR> rexim: логлист ребутнулся.
[14:39:24] <rexim> ForNeVeR: ok, thanks!
[14:39:36] <ForNeVeR> Хм.
[14:39:55] <ForNeVeR> А я всё равно смог заадминить цитатку. Это не ок. Что-то сломалось?
[14:40:33] <ForNeVeR> Нет, ничего не сломалось.
[14:40:43] <ForNeVeR> Ты ж другое отключил.
[14:41:16] <rexim> Щито?!
[14:41:22] <rexim> Ты про что вообще?
[14:41:28] <rexim> Ты имеешь ввиду ты смог заапрувить?
[14:41:34] <rexim> Да, я не это отключал. :)
[14:41:46] <rexim> То, что я отключил надо постманом проверять.
[14:43:13] O01eg вышел из конференции
[14:44:30] ckorzhik вышел из конференции
[14:46:09] <ForNeVeR> Неохота :)
[14:46:20] <rexim> ForNeVeR: у уже проверил
[14:46:21] <rexim> Все ок
[14:46:26] <ForNeVeR> Ну и ок.
[14:47:28] <rexim> Я просто подумал, раз уж нас исследуют на наличие возможности накруток, то могут начать и брутить эту дырочку.
[14:47:50] <ɹǝɟılʍǝu> У меня есть мысли на счет накруток.
[14:47:57] <ɹǝɟılʍǝu> Но мне нужна статистика.
[14:48:23] <rexim> ɹǝɟılʍǝu: можешь зафайлить тикет и мы попробуем ее предоставить.
[14:48:29] <rexim> Если это возможно
[14:48:34] <ɹǝɟılʍǝu> rexim, хорошо
[14:48:38] <ɹǝɟılʍǝu> Сейчас сделаю
[14:49:31] <ForNeVeR> rexim: а кто нас исследует? Чувак, который написал нам в фидбэк?
[14:49:59] <ForNeVeR> Я всё равно планирую обнулить все рейты после того, как мы добавим защиту, например.
[14:50:09] <rexim> ForNeVeR: ну, наверное, да.
[14:50:18] <rexim> Я конкретных имен не знаю :)
[14:50:35] <ForNeVeR> rexim: ага, "исследует" - просто ткнул плюсик несколько раз :)
[14:50:50] <rexim> Ну а чо? Вполне себе исследование. %)
[14:50:59] <ForNeVeR> Но аутентификацию ты правильно закрыл.
[14:51:19] <uggur> нет аутентификации -- нет проблем? :)
[14:51:44] <ForNeVeR> Совершенно верное утверждение.
[14:52:01] <ForNeVeR> Чем меньше функций - тем меньше поверхность атаки.
[14:52:09] rexim вышел из конференции
[14:52:10] reggies зашёл в конференцию
[14:52:17] rexim зашёл в конференцию
[14:53:18] <uggur> ну да. нельзя атаковать то, чего нет (%
[14:54:32] Minoru зашёл в конференцию
[15:01:00] <uggur> ForNeVeR: следуя такой логике, наиболее защищнным является сервис, которого нет (:
[15:01:25] <ForNeVeR> uggur: всё верно.
[15:04:23] MaXGGXaM вышел из конференции: Replaced by new connection
[15:04:26] MaXGGXaM зашёл в конференцию
[15:11:52] <ddd> $pet heal
[15:11:54] <horta hell> ddd: Floating Profit/Loss будучи в здравом уме и твёрдой памяти отказался от медицинской помощи.
[15:11:58] <ddd> Добрый день
[15:13:51] <Minoru> $pet feed
[15:13:51] <horta hell> Minoru: Floating Profit/Loss не желает есть.
[15:13:53] <Minoru> добрый!
[15:14:10] <j123123> $pet stats
[15:14:10] <horta hell> j123123:
Кличка: Floating Profit/Loss
Здоровье: 36
Сытость: 80
Возраст: 6 часов
[15:14:14] <j123123> $pet rating
[15:14:14] <horta hell> j123123:
h-rta hell: 12PTC
F-rNeVeR: 6PTC
M-noru: 5PTC
eaeee: 1PTC
[15:14:41] eaeee зашёл в конференцию
[15:23:34] portnov вышел из конференции: Replaced by new connection
[15:24:05] portnov зашёл в конференцию
[15:25:40] <rexim> send/a1batross/Хренасе! Не знал, что Frictional Games херачат опен сорц! Круто! :)/
[15:25:41] <horta hell> rexim: Сообщение помещено в очередь.
[15:25:46] <rexim> https://github.com/FrictionalGames/
[15:26:20] <rexim> Это чуваки, которые разработали пенумбру и амнезию.
[15:26:48] portnov вышел из конференции
[15:27:27] portnov зашёл в конференцию
[15:30:44] ckorzhik зашёл в конференцию
[15:39:32] <ɹǝɟılʍǝu> ForNeVeR, http://www.pg-versus-ms.com/
[15:44:38] MaXGGXaM вышел из конференции
[15:44:44] <ForNeVeR> ɹǝɟılʍǝu: все поинты валидны, кроме
1.7. Unicode support (там же сразу и оговорено; да и вообще, посмотрите на Oracle - вот уж у кого плохо сделано!)
1.8. Data types that work properly (сравнение значений типа JSON и выборка distinct из таблиц с JSON does NOT work properly in PostgreSQL)
1.9. Scriptability - MSSQL отлично скриптуется из командной строки; я не понимаю, почему автору чем-то не нравится дефолтовый шелл для этого, однако sqlcmd доступен и из обычного cmd без повершелл-прослойки
[15:44:49] MaXGGXaM зашёл в конференцию
[15:45:22] <ForNeVeR> Остальное всё правильно написано, почти что без перегибов.
[15:45:33] <ForNeVeR> Достаточно здравый текст
[15:47:59] <ɹǝɟılʍǝu> ForNeVeR, потому и кинул, чтобы узнать, у меня-ж не было опыта с MS SQL
[15:48:46] <ForNeVeR> ɹǝɟılʍǝu: ну и языковая поддержка не упомянута.
[15:49:09] <ForNeVeR> Если тебе нужен .NET - то MSSQL намного удобнее.
[15:49:25] <ForNeVeR> А если не нужен - то ты заебёшься с ним примерно в пять секунд.
[15:49:48] <ForNeVeR> Собственно, можно было только эти два утверждения оставить в статье, и она бы немногим потеряла своей полезности :)
[15:53:39] rexim вышел из конференции
[16:20:01] <ForNeVeR> Оказывается, помимо CMake, в Kitware делают ещё вот такой софт: http://www.paraview.org/
[16:20:06] <ForNeVeR> Хорошие ребята.
[16:34:00] <ForNeVeR> gsomix: я тут завёл openEMS, работает без вопросов под Octave. Прекрасная программа.
[16:34:17] <ForNeVeR> Правда, в choco пакет Octave кривой :(
[16:34:26] <ForNeVeR> Лучше вручную устанавливать.
[16:34:37] MaXGGXaM вышел из конференции: Replaced by new connection
[16:34:38] MaXGGXaM зашёл в конференцию
[16:34:40] <ForNeVeR> (ну и версия 4.0 там всё ещё на модерации)
[16:36:54] <ɹǝɟılʍǝu> Можно ли значение считать выражением?
[16:37:47] * Minoru считает, что да
[16:38:36] <ɹǝɟılʍǝu> Minoru, минорыч
[16:38:38] <ɹǝɟılʍǝu> Привет
[16:38:41] <ɹǝɟılʍǝu> Minoru, а почему?
[16:40:14] <Minoru> привет. Потому что я могу представить себе язык, где значение является выражением, и где это логично?
[16:40:15] * ForNeVeR в целях дискуссии считает, что нельзя.
[16:41:35] <ɹǝɟılʍǝu> ForNeVeR, а почему?
[16:41:55] <ForNeVeR> ɹǝɟılʍǝu: потому, что это не имеет смысла.
[16:42:05] <ɹǝɟılʍǝu> Хм.
[16:42:16] <ForNeVeR> Ну, мы сейчас про стейтмент, а не про экспрешен, да?
[16:42:25] <ɹǝɟılʍǝu> Мы чутка абстрактней
[16:42:29] <Minoru> да-а?
[16:42:32] <ForNeVeR> В смысле, например,
void foo() { 2; }
[16:43:13] <ɹǝɟılʍǝu> Ну, вот если взять лямбда-исчисление, то 2 можно вывести через succ (succ 0)
[16:43:17] <ForNeVeR> Если "значение" 2 можно считать "выражением", то этот код валиден. Если нельзя - то невалиден.
[16:43:19] <ɹǝɟılʍǝu> Да даже без лямбд
[16:43:25] <Minoru> ForNeVeR: если считать значение выражением, то тут ты просто не использовал значение выражения. Но statement-ом он от этого не стало, тащем-ма
[16:43:28] <Minoru> *тащем-та
[16:43:45] <ForNeVeR> Ну пускай 2 это succ (succ 0), я с этим готов согласиться :)
[16:43:58] <ɹǝɟılʍǝu> Хм... Тогда значение у нас тут 0.
[16:44:29] <ForNeVeR> Minoru: не пойму, куда ты клонишь.
[16:45:05] <Minoru> ɹǝɟılʍǝu: нет. Ноль — это выражение в полностью вычисленной форме. Т.е. значение.
[16:45:14] * gsomix предлагает начать с определений.
[16:45:15] <ɹǝɟılʍǝu> Minoru, верно
[16:45:16] <Minoru> ForNeVeR: к тому, что стейтменты не нужны, наверное
[16:45:21] <ForNeVeR> gsomix: ты такой скучный!
[16:45:25] <gsomix> :(
[16:45:27] <ɹǝɟılʍǝu> :D
[16:45:30] * gsomix ушел в math@
[16:45:37] <Minoru> gsomix: но тогда нам не удастся посраться… :(
[16:45:51] <ForNeVeR> gsomix: там тоже довольно редко народ начинает с определений :(
[16:46:12] <gsomix> :(
[16:46:19] <gsomix> Minoru, :(
[16:46:22] <gsomix> ForNeVeR, :(
[16:46:25] <gsomix> ɹǝɟılʍǝu, :(
[16:46:28] <ɹǝɟılʍǝu> gsomix, ну собсна
[16:46:40] <ɹǝɟılʍǝu> Определение чего? Значения и выражения?
[16:46:44] <Minoru> gsomix: cheer up! Как твои дела?
[16:46:58] <gsomix> ɹǝɟılʍǝu, да.
[16:47:03] <gsomix> Minoru, не знаю.
[16:47:09] <ɹǝɟılʍǝu> Значение — это когда для получившгося выражения нет правил вывода.
[16:47:34] <ɹǝɟılʍǝu> // ну вот, я ответил на свой же вопрос
[16:47:43] <gsomix> Бял. :)
[16:51:52] <ForNeVeR> Нет, не ответил.
[16:51:55] <ForNeVeR> И вообще.
[16:52:02] <ForNeVeR> :(
[16:52:37] <Minoru> ого, серьёзный аргумент!
[16:52:39] <Minoru> :)
[16:53:50] <ForNeVeR> ɹǝɟılʍǝu: ну а если серьёзно - то как хочешь - так и считай. Всё зависит от твоей семантики.
[16:55:49] <gsomix> ForNeVeR, попробую openEMS через матлаб.
[16:56:06] <ɹǝɟılʍǝu> ForNeVeR, справедливо
[16:56:14] * ɹǝɟılʍǝu ищет еще что на дискасс
[16:56:52] <ForNeVeR> gsomix: я уж давно не держу матлаба на домашней машине :)
[16:57:26] <gsomix> Ну, у меня на работе его любят.
[16:57:35] <gsomix> Ко всему остальному относятся с подозрением.
[16:58:54] <ForNeVeR> Мне кажется, что тут большой разницы нету.
[16:59:01] <ForNeVeR> Интересно будет сравнить, кстати!
[16:59:10] <ForNeVeR> Ну и в коде у них покопаться.
[16:59:56] <gsomix> ɹǝɟılʍǝu, как ты используешь vim в винде,
[17:00:24] <ForNeVeR> 1. Установить
2. Запустить
[17:00:27] <ɹǝɟılʍǝu> gsomix, копытами
[17:00:35] <gsomix> s/е,/?/
[17:00:37] <horta hell> gsomix: ɹ-ɟılʍǝu, как ты используешь vim в винд?
[17:00:39] <ForNeVeR> С этим даже я справляюсь, ну :)
[17:01:17] <gsomix> ɹǝɟılʍǝu, я имею в виду, ты gvim используешь, или vim в командной строке/PowerShell запускаешь?
[17:01:25] <ɹǝɟılʍǝu> gsomix, gvim
[17:01:34] <ɹǝɟılʍǝu> Но иногда и vim в консоли
[17:01:55] <gsomix> ForNeVeR, ути-пути. :3
[17:01:58] <ForNeVeR> gsomix: cmd и powershell с этой точки зрения вообще ничем не отличаются, ну.
[17:02:03] <ForNeVeR> Там conhost
[17:02:08] <ForNeVeR> Если ты про него, конечно.
[17:02:15] <gsomix> ForNeVeR, я же не шарю, ну. .__.
[17:02:24] <ForNeVeR> Вот я тебе и рассказываю, друже!
[17:02:27] <gsomix> Спасибо!
[17:02:37] <ForNeVeR> ДРИЖЕ
[17:02:42] <ForNeVeR> ИНЖАЛИД ДРИЖЕ
[17:03:04] <gsomix> ┬┴┬┴┤(･_├┬┴┬┴
[17:03:16] <ForNeVeR> ДРИЖЕ ИНЖАЛИД. ИНЦЕРТ ЖАЛИД ДРИЖЕ
[17:03:24] <gsomix> ┬┴┬┴┤ (･├┬┴┬┴
[17:03:30] <gsomix> ┬┴┬┴┤ ├┬┴┬┴
[17:03:35] <gsomix> Чёрт!
[17:04:01] <ForNeVeR> АССЕПТ
[17:04:33] <gsomix> Пойду чайник куплю.
[17:04:43] <ForNeVeR> А ты ещё не купил?
[17:04:47] <gsomix> Нет.
[17:04:52] <ForNeVeR> А, нет, это же я купил :)
[17:05:34] <Minoru> gsomix: как ты до этого жил вообще?
[17:05:44] <gsomix> ɹǝɟılʍǝu, а можешь показать, как он у тебя выглядит?
[17:05:45] <gsomix> Вим.
[17:05:48] <gsomix> Ну, ты понял. :)
[17:05:53] <gsomix> Minoru, я разбил же.
[17:06:03] <Minoru> в квартиру сначала проводят Интернет, потом покупают чайник. Потом можно позаботиться о замках и месте для сна.
[17:06:09] <Minoru> а, вот оно как
[17:06:28] <ɹǝɟılʍǝu> gsomix, с дома покажу, я щас с ноута из ебеней, тут старый вим недопиленный)
[17:06:33] <gsomix> Minoru, я, кстати, все еще в общежитии тусуюсь.
[17:06:36] <gsomix> ɹǝɟılʍǝu, спасибо!
[17:06:48] <Minoru> gsomix: ты разве не переезжал на квартиру? =\
[17:06:54] <gsomix> Нет.
[17:06:54] <Minoru> у меня всё путается, что ли?
[17:06:59] <Minoru> прости ._.
[17:06:59] <gsomix> Я просто женился.
[17:07:20] <gsomix> И получил VIP комнату на этаже с иностранцами!
[17:07:27] <gsomix> Тут ходят китайцы и поют русскую попсу.
[17:07:45] <ɹǝɟılʍǝu> gsomix, ну хоть не замуж вышел
[17:08:41] <ForNeVeR> ɹǝɟılʍǝu: тогда б к европейцам подселили.
[17:08:41] <gsomix> ɹǝɟılʍǝu, =*
[17:08:43] O01eg зашёл в конференцию
[17:08:45] <ForNeVeR> </politota>
[17:09:44] <ɹǝɟılʍǝu> ForNeVeR, бгг
[17:15:39] portnov вышел из конференции
[17:15:58] portnov зашёл в конференцию
[17:18:46] ckorzhik вышел из конференции
[17:22:33] <ForNeVeR> Народ в ruHaskell никак не может отойти от того, что length определён для кортежей, причём каким-то смешным способом.
[17:22:53] <ForNeVeR> https://twitter.com/headinthebox/status/655722027685400576 - вот Мейер возмущается, собственно.
[17:24:01] <ForNeVeR> Если коротко: по каким-то там странным (лично для меня) причинам для всех кортежей длиной 2 определена функция length, возвращающая 1. Для остальных кортежей - не определена.
[17:24:14] <ForNeVeR> И это позволяет получить лулзы :)
[17:24:28] <ɹǝɟılʍǝu> омг
[17:24:38] <Minoru> ну давайте я вам расскажу, чо
[17:24:43] <Minoru> выкатили, значит, GHC 7.10
[17:24:44] <ForNeVeR> Давай.
[17:24:50] <ForNeVeR> Это только в 7.10?
[17:24:53] <gsomix> ForNeVeR, а что за дядька?
[17:24:58] <Minoru> туда, в частности, приняли Foldable-Traversable Proposal
[17:24:59] <ForNeVeR> Я слышал, да, что там что-то переделали в наследовании.
[17:25:05] <Minoru> ForNeVeR: да, начиная с 7.01
[17:25:08] <Minoru> ой, 7.10
[17:25:41] <Minoru> в наследовании переделали давно, это ты про Applicative Monad Proposal (емнип, так назывался) думаешь. Ну, что Applicative m => Monad m
[17:25:52] <ForNeVeR> gsomix: Мейер же. Он классный чувак, но немного любит подтроллить всех подряд.
[17:26:09] <ForNeVeR> Я недавно вбрасывал его выступление про теорию категорий, которое мне понравилось.
[17:26:17] * gsomix читает статью на вики.
[17:26:32] <gsomix> > His work at Microsoft included C#, Visual Basic, LINQ, Volta, and the Reactive programming framework (Reactive Extensions) for .NET.
[17:26:39] portnov вышел из конференции: Replaced by new connection
[17:26:41] <ForNeVeR> gsomix: http://www.youtube.com/watch?v=JMP6gI5mLHc
[17:27:01] portnov зашёл в конференцию
[17:27:03] <ForNeVeR> А ещё рубашки классные у него.
[17:27:08] <Minoru> суть FTP в том, что в Prelude length и ряд других функций (mapM, ещё какие-то) определён *только* для списков, из-за чего при импорте Data.{Foldable,Traversable}, а также Control.Monad и прочих получался конфликт имён
[17:27:21] <ForNeVeR> FTP, да-да, про него все твердят.
[17:27:29] <Minoru> потому что в этих модулях сигнатуры для length и прочих более общие, определены через Foldable и Traversable
[17:27:42] portnov вышел из конференции
[17:27:43] <Minoru> (вот чо за тайпклассы, меня не спрашивайте — я ещё не вкурил разницу)
[17:28:03] <Minoru> поэтому в Prelude теперь более общие версии этих функций, те, что раньше были в модулях
[17:28:08] <ForNeVeR> Из названий можно попытаться что-то понять, но я не рискну :)
[17:28:08] <Minoru> но это приводит к лулзам
[17:28:36] <Minoru> так, для тупла из двух элементов есть инстанс Foldable, поэтому length (undefined, undefined) спокойненько компилится и работает
[17:28:37] <ForNeVeR> Лулз в том, что (,) относится к какой-то из этих категорий, верно?
[17:29:11] <ForNeVeR> Ага, ок, следующий вопрос - а зачем этот инстанс нужен? И почему именно для этого тупла?
[17:29:31] <Minoru> этого не знаю
[17:29:33] MaXGGXaM вышел из конференции
[17:29:36] <ForNeVeR> У этого понятия определение такое или как?
[17:29:40] MaXGGXaM зашёл в конференцию
[17:30:07] <Minoru> говорю же, с тайпклассами этими я не разобрался, поэтому на такие вопросы ответов не знаю :)
[17:30:19] portnov зашёл в конференцию
[17:31:03] <ForNeVeR> portnov: может, ты разобрался?
[17:31:22] <portnov> аы?
[17:31:23] <Minoru> ForNeVeR: ты это, начни слушать http://bananasandlenses.net/, они там толково обсуждают
[17:31:44] <Minoru> portnov: дядя Портнов, расскажи нам про тайпклассы Foldable и Traversable!
[17:31:59] <Minoru> нас интересует, в принципе, всего один вопрос — штоэта?
[17:32:16] <ForNeVeR> portnov: мы тут пытаемся разобраться, почему length (100,500) возвращает 1.
[17:32:23] <Minoru> (на самом деле интересно ещё, зачем instance Foldable (a,b))
[17:32:40] <ForNeVeR> Ага, вопрос свёлся к озвученному Minoru.
[17:35:30] <portnov> instance Foldable ((,) a) where
foldMap f (_, y) = f y
foldr f z (_, y) = f y z
[17:35:32] <portnov> вот же.
[17:36:04] <portnov> зачем так, правда, не оч ясно
[17:36:52] <gsomix> ForNeVeR, а курсы у Мейера хорошие?
[17:37:10] <ForNeVeR> gsomix: хрен знает, сам пока не слушал.
[17:37:19] <gsomix> А то тут один начался на exd.
[17:37:24] <gsomix> s/xd/dx/
[17:37:26] <horta hell> gsomix: А то тут один начался на edx.
[17:37:50] <ForNeVeR> Я чото сегодня решил на Stepic послушать про хаскель.
[17:37:53] <j123123> xor edx, edx
[17:38:02] <j123123> осонгблир
[17:38:24] <gsomix> ForNeVeR, https://www.edx.org/course/introduction-functional-programming-delftx-fp101x-0#!
[17:38:53] <gsomix> Haskell + Hack.
[17:39:48] <gsomix> > Hack is a programming language for the HipHop Virtual Machine (HHVM), created by Facebook as a dialect of PHP.
[17:39:53] <gsomix> Забавный курс, наверное.
[17:40:04] <ForNeVeR> Бльо
[17:40:09] <ForNeVeR> Обль
[17:40:16] <ForNeVeR> Боль!
[17:40:40] <gsomix> > немного любит подтроллить всех подряд.
[17:40:41] <ɹǝɟılʍǝu> Бильбо Боль
[17:40:51] <ForNeVeR> Больбо
[17:45:27] <gsomix> Чайник-то не купил до сих пор!
[17:45:29] * gsomix убежал.
[17:45:48] <horta hell> Floating Profit/Loss завалился на бок и окинул замутнённым болью взором конфу.
[17:46:29] <Minoru> $pet heal
[17:46:29] <horta hell> Minoru: Floating Profit/Loss был совсем плох и, скорее всего, умер бы, если бы вы его вовремя не полечили. Вы зарабатываете 1PTC.
[17:46:37] <Minoru> $pet feed
[17:46:37] <horta hell> Minoru: Floating Profit/Loss не желает есть.
[17:46:39] <Minoru> $pet stats
[17:46:40] <horta hell> Minoru:
Кличка: Floating Profit/Loss
Здоровье: 100
Сытость: 46
Возраст: 9 часов
[17:46:43] <Minoru> $pet rating
[17:46:44] <horta hell> Minoru:
h-rta hell: 12PTC
Minoru: 6PTC
F-rNeVeR: 6PTC
e-eee: 1PTC
[17:47:28] MaXGGXaM вышел из конференции
[17:48:02] MaXGGXaM зашёл в конференцию
[17:50:33] <gsomix> > Remember young grasshoppers, Scala is a better Java (half full) rather than a worse Haskell (half empty).
[17:51:21] <Minoru> ололо
[17:53:19] <ForNeVeR> gsomix: чайник-то, чайник-то купил?
[17:53:32] <ForNeVeR> У китайцев спроси, кстати.
[17:53:51] <Minoru> ForNeVeR: он же в общаге. Пять минут более чем достаточно для покупки чайника в соседней комнате
[17:53:59] <ForNeVeR> "покупки".
[17:54:03] <ForNeVeR> У китайцев.
[17:54:16] <ForNeVeR> В обмен он оставил им жизнь. Милосерд.
[17:56:53] <ForNeVeR> А вот вам ещё интересная фигня, кстати: https://peaker.github.io/lamdu/
[17:56:55] <ForNeVeR> j123123: ^
[17:57:24] <ɹǝɟılʍǝu> Дискеты — это как Иисус
[17:57:34] <ForNeVeR> Да, всё верно.
[17:58:02] <ForNeVeR> Им пришлось умереть, чтобы стать иконой спасения.
[17:58:07] <ɹǝɟılʍǝu> Да.
[17:58:15] <ɹǝɟılʍǝu> Будет ли в будущем культ Дискеты?
[17:58:23] <ForNeVeR> Он уже тут, брат.
[17:58:32] <ɹǝɟılʍǝu> Да... ты прав...
[17:58:34] <m4n71k0r> Why not Haskell

Haskell was designed for textual editing. The programming language for Lamdu is optimized for rich structural editing.
[17:58:34] <ForNeVeR> Иван Васильевич бы одобрил.
[17:58:41] <m4n71k0r> нихуя не понял
[17:58:46] <ForNeVeR> m4n71k0r: я тоже, лул.
[17:58:55] <Minoru> ну как же
[17:59:00] <Minoru> есть эти вот сектанты
[17:59:06] <ForNeVeR> m4n71k0r: а ты картинки посмотри. Там какая-то жесть :(
[17:59:09] <ɹǝɟılʍǝu> Я думаю, чтобы рисовать код, а не писать.
[17:59:17] <Minoru> которые считают, что текст — это фиговое представление программы
[17:59:21] <ɹǝɟılʍǝu> Visal programming
[17:59:36] <ForNeVeR> m4n71k0r: похоже, кто-то всерьёз воспринимает этот вот гугловый Scratch.
[17:59:38] <ɹǝɟılʍǝu> Minoru, от части они правы
[17:59:39] <Minoru> и предлагают редактировать AST, всячески его визуализируя
[17:59:40] <m4n71k0r> ForNeVeR: хаскель для малышей?
[17:59:43] <ForNeVeR> Я недоволен.
[17:59:52] <ɹǝɟılʍǝu> Кстати
[17:59:54] <ɹǝɟılʍǝu> Кстааати
[18:00:01] <ɹǝɟılʍǝu> Это же збс для детей
[18:00:12] <ɹǝɟılʍǝu> Хаскель в пропедефтическом курсе информатики
[18:00:29] <ɹǝɟılʍǝu> пропедевтическом*
[18:00:39] <ForNeVeR> Я таких слов-то не знаю.
[18:00:42] <m4n71k0r> ɹǝɟılʍǝu: я так и сказал
[18:00:48] <ɹǝɟılʍǝu> m4n71k0r, да
[18:00:54] <ForNeVeR> m4n71k0r: а, ок.
[18:00:56] * ɹǝɟılʍǝu просто проф. деформированн.
[18:01:31] <ɹǝɟılʍǝu> Между прочим, вполне годится.
[18:01:43] <ɹǝɟılʍǝu> Основам алгоритмизации и программирования так и учат.
[18:01:49] <ɹǝɟılʍǝu> Ибо наглядно и клева :]
[18:02:03] <ɹǝɟılʍǝu> Для роботов учебных такое есть.
[18:11:06] MaXGGXaM вышел из конференции
[18:11:13] superka зашёл в конференцию
[18:11:53] MaXGGXaM зашёл в конференцию
[18:12:33] <superka> люди, а посоветуйте хорошее чтиво про джава?
[18:12:45] <m4n71k0r> ахахахаххахахахахахахахаххаха
[18:12:58] <m4n71k0r> а ты уже теоркат выучил?
[18:12:58] <ɹǝɟılʍǝu> superka, мануал
[18:13:06] <ForNeVeR> Я ничего не читал про жаву :(
[18:13:12] <ɹǝɟılʍǝu> А так да, теоркат для всего.
[18:13:17] <ɹǝɟılʍǝu> Это универсум всего.
[18:13:25] <ForNeVeR> ɹǝɟılʍǝu: эт в котором length (a,b) == 2.
[18:13:27] <ɹǝɟılʍǝu> Универсум сей одобрен Империей.
[18:13:38] <ForNeVeR> s/2/1
[18:13:39] <horta hell> ForNeVeR: Аргументы некорректны.
[18:13:40] <ɹǝɟılʍǝu> ForNeVeR, теоркат эт не хаскель
[18:13:48] <ɹǝɟılʍǝu> Он аще не про то
[18:13:56] <ForNeVeR> ɹǝɟılʍǝu: я так понимаю, у них какие-то теоретические идеи под этим лежали.
[18:14:03] <ɹǝɟılʍǝu> ForNeVeR, ну да
[18:14:16] <superka> теоркат это что?
[18:14:24] <ForNeVeR> superka: теория категорий, ну.
[18:14:31] <ForNeVeR> Очень модная тема нынче, хе-хе.
[18:14:42] <ɹǝɟılʍǝu> Теоркат просто абстракция, на которой шлепают что угодно. Вон, даже теория типов на ней построена (и еще чуточку на теории множеств).
[18:14:43] <m4n71k0r> ой
[18:15:09] <gsomix> superka, Core Java, Effective Java, Clean Code.
[18:15:10] <superka> а что вы читаете по теоркату?
[18:15:44] <superka> gsomix: спасибо
[18:15:48] <m4n71k0r> gsomix: а теперь списочек хипсторского с жабой 8)))
[18:16:12] <gsomix> m4n71k0r, меня хипстроскому не учили. .__.
[18:16:45] <ɹǝɟılʍǝu> 8)))
[18:16:46] rexim зашёл в конференцию
[18:16:53] <m4n71k0r> а почему никто не хочет писать на х-ле?
[18:17:11] <m4n71k0r> сразу какую-то невменяемую джаву, которую ещё и дебажить придётся
[18:17:39] <gsomix> m4n71k0r, я же рассказывал, что у нас в айти-клубе университета новичкам сразу джаву читают?
[18:17:46] <gsomix> Программирование для начинающих.
[18:17:50] <ɹǝɟılʍǝu> m4n71k0r, по тому же, почему некоторые не хотят писать на плюсах: «компилируется долга @ хочу написать пару строк и запустить чо как оно не падает?»
[18:17:54] <gsomix> Две лекции про ООП.
[18:17:54] <m4n71k0r> или вот ёбнулась прога, дамп весит 16 гигов, а для профайлинга надо 32 минимум
[18:18:18] <gsomix> Две лекции, а писать еще не написал ничего!
[18:18:32] <m4n71k0r> а зачем писать?
[18:18:42] <m4n71k0r> чтобы дебажить потом?
[18:19:08] <gsomix> Ну, мне кажется, что начинающие как раз писать больше всего хотят.
[18:19:29] <gsomix> А не слушать про ООП в джаве.
[18:20:04] <gsomix> Давай спросим у специалиста.
[18:20:24] <gsomix> ɹǝɟılʍǝu, чему нужно учить начинающих программистов? Ну, тех, что прям с нуля.
[18:20:27] <m4n71k0r> я вот пытаюсь как-то донести до коллег, что ООП - фикция, но на меня смотрят как на психа
[18:20:42] <ɹǝɟılʍǝu> gsomix, смотря какой возраст и какая база
[18:20:47] <ForNeVeR> m4n71k0r: а что не фикция?
[18:20:55] <gsomix> ɹǝɟılʍǝu, первокурсники, база школьная.
[18:21:03] <gsomix> Школы разные.
[18:21:06] <gsomix> Никакой базы, короче!
[18:21:12] <ɹǝɟılʍǝu> gsomix, прочитать лекцию, чо как и сразу в бой.
[18:21:17] <m4n71k0r> ForNeVeR: паяльник, например
[18:21:29] <ForNeVeR> m4n71k0r: и почему он не фикция?
[18:21:39] <m4n71k0r> ФП более чёткое, нежели ООП
[18:21:41] <ɹǝɟılʍǝu> И главное, больше показывать как оно работает внутри.
[18:21:49] <ForNeVeR> Ой, ну конечно.
[18:22:06] <ForNeVeR> Асмокоды чоткие. Остальное всё нечоткое.
[18:22:06] <m4n71k0r> а паяльник в жопе уже ясно как работает
[18:22:14] <ɹǝɟılʍǝu> Вот кстати. Почему ООП всегда выраждается в структуры?
[18:22:19] * gsomix ушел заваривать чай.
[18:22:21] <ForNeVeR> В жопе как раз неясно. И что он там делает вообще?
[18:22:30] <m4n71k0r> нагревается быстро
[18:22:47] <ForNeVeR> ɹǝɟılʍǝu: в эрланге вырождается в структуры? Или в смолтоке? Может, в JS? Про какое ООП ты говоришь? ;)
[18:23:05] <m4n71k0r> в эрланге есть ООП?
[18:23:13] <m4n71k0r> ой
[18:23:16] <ɹǝɟılʍǝu> ForNeVeR, там я не пробовал
[18:23:18] <ForNeVeR> В эрланге нету больше ничего, кроме ООП.
[18:23:32] <ForNeVeR> Процесс суть объект, обменивающийся сообщениями.
[18:23:44] <ɹǝɟılʍǝu> Вот в пиздоне ооп суть структурка
[18:23:55] <ForNeVeR> Я лично вижу это наиболее прямой и, гм, понятной мне абстракцией в эрланге.
[18:24:28] <ɹǝɟılʍǝu> И ооп неполное в пиздоне... Инкапсуляции нет.
[18:24:36] <ForNeVeR> Да, сам язык функциональный, а программы почему-то получаются объектными. Удивительно, правда? :)
[18:24:42] <ForNeVeR> ɹǝɟılʍǝu: мы уже проходили этот разговор.
[18:24:46] <ɹǝɟılʍǝu> Да.
[18:24:55] <ɹǝɟılʍǝu> Но никто не запрещает еще раз ляпнуть.
[18:25:01] <ForNeVeR> Не так давно я всем желающим показывал фокусы с исчезновением карандашей и инкапсуляцией в питоне.
[18:25:20] <ForNeVeR> Через вложенные функции, разумеется.
[18:25:27] <m4n71k0r> хм
[18:26:20] <m4n71k0r> а мы можем выкинуть языки с динамической типизацией, когда обсуждаем состоятельность ООП?
[18:26:22] <ForNeVeR> Ну и там нужно было какой-то волшебный кейворд, который есть только в тройке. Без него переменная на стеке.
[18:26:33] <ForNeVeR> m4n71k0r: ути-пути. Нет, не можем.
[18:26:38] <m4n71k0r> эххх
[18:26:47] <m4n71k0r> тогда не интересно
[18:26:51] <ForNeVeR> m4n71k0r: статическое ООП слишком унылое.
[18:26:59] <m4n71k0r> воот
[18:27:08] <ForNeVeR> Ну, его сложно приводить в пример и разбивать им в пух и прах функциональщиков.
[18:27:24] <m4n71k0r> а так... хуйнул про смолток и рад
[18:27:30] <ForNeVeR> (которые на самом деле наши лучшие союзники, ага)
[18:27:35] <ɹǝɟılʍǝu> Короч, все говно, го юзать модульно-ориентированное.
[18:27:44] <ForNeVeR> Эрланг и смолток, ага :)
[18:27:46] <gsomix> ForNeVeR, я правильно понимаю, что модель акторов -- это ООП?
[18:27:55] <ForNeVeR> gsomix: ну, в данном разговоре - да.
[18:28:14] <ForNeVeR> gsomix: как известно, автор термина "ООП" имел в виду именно smalltalk.
[18:28:25] <m4n71k0r> ))))
[18:28:37] <ForNeVeR> И некоторые параллели между ним и современными вариантами ООП всё-таки проследить можно.
[18:28:42] <ɹǝɟılʍǝu> Маленький разговорчик
[18:28:47] <ForNeVeR> Потому можно считать, что это одно и то же, мухахаха.
[18:29:21] <ForNeVeR> Впрочем, мне было бы интересно взглянуть на альтернативные реализации того самого, "первородного" ООП в строго-типизированном мире.
[18:29:35] <ForNeVeR> Akka не предлагать. Вы понимаете, почему.
[18:29:49] <ɹǝɟılʍǝu> Akka akka mazafakka
[18:29:58] <ForNeVeR> Разве только как контрпример "хорошо типизировать не получится".
[18:30:27] <ɹǝɟılʍǝu> Кстати, почему?
[18:30:45] <ForNeVeR> Почему не получается?
[18:30:56] <m4n71k0r> не можете типизировать акку? http://actor-framework.org/
[18:30:56] <ɹǝɟılʍǝu> Корректно типизировать ООП.
[18:31:08] <ForNeVeR> У стандартных акторов в скале же кой-чего получилось.
[18:31:10] <m4n71k0r> ПИШИТЕ, БЛЯДЬ, НА ПЛЮСАХ!
[18:31:10] <ɹǝɟılʍǝu> well-typed oop 9_9
[18:31:38] <ɹǝɟılʍǝu> Кстати, это тема магистерской может быть.
[18:31:42] <ɹǝɟılʍǝu> Надо погуглить, сука
[18:31:50] <ɹǝɟılʍǝu> Minoru, слышишь???
[18:31:54] <ɹǝɟılʍǝu> Это же офигенно
[18:32:09] <ForNeVeR> 2.3 Supported Operating Systems
- Linux
- Mac OS X
- _Note for MS Windows:_
[18:32:12] <ForNeVeR> Ясно всё.
[18:32:31] <Minoru> ɹǝɟılʍǝu: ты хочешь три основных свойства ООП выразить типами?
[18:32:36] <gsomix> ForNeVeR, а что в Akka не так?
[18:32:40] <ɹǝɟılʍǝu> Minoru, почему бы и нет?
[18:32:48] <ForNeVeR> gsomix: .mapTo
[18:32:51] <m4n71k0r> а нахрена акторы на десктопе?
[18:33:00] <ForNeVeR> gsomix: receive: Object => Object
[18:33:07] <ForNeVeR> gsomix: всё остальное так.
[18:33:10] <ɹǝɟılʍǝu> Minoru, а если не выйдет, то хоть доказать что ооп — говно и не типизируемо // думаю, что это уж крайне
[18:33:38] <ForNeVeR> m4n71k0r: абсолютно затем же, зачем в любом другом месте.
[18:33:58] <ForNeVeR> ɹǝɟılʍǝu: в том-то и проблема
[18:34:01] <ForNeVeR> Типизируемо.
[18:34:08] <Minoru> ɹǝɟılʍǝu: ты подумай над этим, ибо там какая-то херня. Или я тебя не понял
[18:34:11] <ForNeVeR> Тяжело, муторно, но типизируемо.
[18:34:22] <ɹǝɟılʍǝu> ForNeVeR, не знаешь работ по теме?
[18:34:24] <m4n71k0r> ForNeVeR: на самом деле, собираюсь заюзать эту либу на винде. Расскажу как и что
[18:34:25] <Minoru> ну, скажем, наследование — это просто оборачивание базового класса в новую обёртку
[18:34:28] <ForNeVeR> Неа, не знаю.
[18:34:44] <Minoru> но полиморфизм и инкапсуляция…
[18:34:56] <ForNeVeR> m4n71k0r: ну, они просто криво как-то пишут в доках. Я так понял, винда полностью поддерживается. Просто MSVC соснула. Ну да и хрен с ней.
[18:34:58] <j123123> >(16:59:17) Minoru: которые считают, что текст — это фиговое представление программы
[18:35:04] * ɹǝɟılʍǝu нашел сразу вде
[18:35:05] <j123123> надо трехмерное делать
[18:35:11] <j123123> как в майнкрафте
[18:35:15] superka вышел из конференции
[18:35:18] <ForNeVeR> j123123: ты случайно в почте не работаешь?
[18:35:19] <j123123> с этими рычажками
[18:35:27] <m4n71k0r> ForNeVeR: да, можно юзать мингву, но я собираюсь всё-таки заюзать clang
[18:35:43] <ForNeVeR> m4n71k0r: опять же, мне кажется, что не должно быть проблем с ним.
[18:35:44] <j123123> ForNeVeR: нет, а откуда такие предположения?
[18:35:51] <ForNeVeR> j123123: слоупочный сильно.
[18:36:10] <j123123> Просто я решил почитать, что вы тут понаписывали
[18:36:13] rafaelrs вышел из конференции
[18:36:18] <ForNeVeR> Ладно, ладно.
[18:36:19] <m4n71k0r> ForNeVeR: да, вариадики в штудии уже норм
[18:36:28] <m4n71k0r> j123123: не стоит
[18:36:59] <ForNeVeR> m4n71k0r: const actor& buddy
[18:37:03] <ForNeVeR> Всё понятно с ними, серьёзно.
[18:37:12] <ɹǝɟılʍǝu> ForNeVeR, почему?
[18:37:14] <ForNeVeR> Никакой типизацией оно там, похоже, особо не блещет.
[18:37:29] <ForNeVeR> Тип актора не определяет типов принимаемых сообщений.
[18:37:40] <ForNeVeR> Может, с прагматической точки зрения это и хорошо...
[18:37:44] <ɹǝɟılʍǝu> ООП и теория типов http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.119.1559&rep=rep1&type=pdf
[18:37:47] <ForNeVeR> Но с точки зрения типизации это ужасно.
[18:37:55] <gsomix> Cloud Haskell?
[18:38:02] <ForNeVeR> gsomix: this.
[18:38:29] <ForNeVeR> Как он там, кстати, поживает-то?
[18:38:33] <ForNeVeR> У него всё в порядке?
[18:40:21] <m4n71k0r> typedef typed_actor<replies_to<plus_request>::with<int>,
replies_to<minus_request>::with<int>,
replies_to<shutdown_request>::with<void>>
calculator_type;
[18:40:28] <m4n71k0r> ну ёпт
[18:41:05] <m4n71k0r> выглядит как пиздец, но оно типизировано
[18:42:52] <j123123> это из-за замечательного синтаксиса плюсов
[18:43:00] <j123123> с этими уголвыми скобочками
[18:43:15] <m4n71k0r> http://www.actor-framework.org/manual/#sec70
[18:43:28] <m4n71k0r> на самом деле не важно, какого вида скобочки
[18:43:54] <m4n71k0r> угловые, фигурные, китайские, круглые...
[18:44:43] <ForNeVeR> m4n71k0r: а, ок.
[18:44:57] <ForNeVeR> Тогда норм, годится.
[18:45:11] <ForNeVeR> Но, заметь, опять это какое-то дурацкое расширение. Обычный актор не типизирован :(
[18:45:23] <m4n71k0r> вот и хочу попробовать...через месяц ждите отчёта и слёз, крови
[18:45:52] <gsomix> m4n71k0r, а что писать будешь?
[18:46:00] <m4n71k0r> там ещё какие-то атомы есть
[18:46:19] <ForNeVeR> > there is no typed actor implementation providing a blocking API.
Ну... ладно, без этого ещё как-то можно жить, наверное.
[18:47:14] <m4n71k0r> gsomix: игрушку вот... видимо, ни на что более я не способен....
[18:47:25] <ForNeVeR> m4n71k0r: кубик или машинку?
[18:47:44] <m4n71k0r> крестики-нолики
[18:48:04] <ForNeVeR> 2048 запили. На фантоме.
[18:48:17] <m4n71k0r> пятнашки можно
[18:48:22] <m4n71k0r> фантом...гггг
[18:48:26] <ForNeVeR> Станешь умным как миксер, сможешь делать всякие по-настоящему крутые вещи.
[18:48:33] <ForNeVeR> Например, пакмана для емакса.
[18:48:33] <m4n71k0r> почему не на нимроде?
[18:48:38] <ForNeVeR> А не ту фигню, которую ты делаешь сейчас.
[18:49:05] <m4n71k0r> таким как миксер мне никогда не стать
[18:49:16] <ForNeVeR> Кстати, в емаксе нету FFI.
[18:49:19] <ForNeVeR> Знаете, почему?
[18:49:22] <m4n71k0r> у меня стрималка ещё не выросла
[18:49:37] <ForNeVeR> "А шоб вы заебались свои проприетарные поделки туда цеплять!" (с) RMS
[18:49:40] reggies вышел из конференции: This participant is kicked from the room because he sent an error message to another participant: service-unavailable
[18:49:58] <m4n71k0r> только хотел сказать, что так РМС пожелал
[18:52:29] <ɹǝɟılʍǝu> Все хуйня
[18:52:47] <ɹǝɟılʍǝu> А вот хорошо приготовленная печетка — збс
[18:56:40] <j123123> через пайпы-сокеты можно ffi делать
[18:56:46] <j123123> и пайпы-сокеты там точно есть
[18:56:51] <j123123> в емаксе
[18:57:14] <j123123> чтобы с тем же gdb работать например
[18:58:16] <j123123> M-x gdb
[18:58:37] <j123123> или там какой-то неправильный ffi?
[19:00:44] <ɹǝɟılʍǝu> Еще по ООП http://dl.acm.org/citation.cfm?id=74924&dl=ACM&coll=DL&CFID=722512308&CFTOKEN=95940231
[19:01:13] <j123123> пропиетарные поделки я категорически не одобряю, но я все же считаю что не стоит отказываться от нормального ffi чтобы не позволить проприетарщикам делать проприетарные плагины
[19:01:50] * ForNeVeR умиляется.
[19:02:06] <j123123> чему?
[19:02:26] <ɹǝɟılʍǝu> Сук
[19:02:30] <ɹǝɟılʍǝu> СТатья не качаецца
[19:02:59] <rexim> Когда это с dl.acm.org можно было что-то бесплатно скачать?
[19:03:23] <ɹǝɟılʍǝu> Да оно аще не грузицца
[19:03:24] <ɹǝɟılʍǝu> ццццца
[19:03:26] <ɹǝɟılʍǝu> цццццццццццццццццццццца
[19:03:41] <rexim> А, ну бывает
[19:03:59] <rexim> Сейчас оно загрузится и попросит 15 баксов
[19:04:38] dzhon зашёл в конференцию
[19:04:41] <gsomix> ɹǝɟılʍǝu, https://yadi.sk/i/IFN5z6VSjpFiR
[19:05:23] <rexim> gsomix: =*
[19:05:34] <rexim> Яндекс.Писк!
[19:05:54] <j123123> http://dl.acm.org.sci-hub.org/citation.cfm?id=74924
[19:05:56] <j123123> вот
[19:06:30] <j123123> ядиски еще какие-то
[19:06:37] <j123123> скихаб есть
[19:07:12] <gsomix> j123123, ядиск, как ядиск.
[19:07:14] <j123123> да еще статья 1989 года
[19:07:26] <j123123> нафиг ее за деньги продают
[19:07:33] <j123123> охренели вообще
[19:07:52] <rexim> j123123: прикольно! Не знал про такой проект. Спасибо!
[19:08:38] <ForNeVeR> rexim: да, проект хороший.
[19:08:56] <gsomix> И киберленинка!
[19:09:16] <ɹǝɟılʍǝu> gsomix, спасибо
[19:09:23] <ForNeVeR> Да, киберленинка тоже збс.
[19:19:57] rexim вышел из конференции
[19:20:25] rexim зашёл в конференцию
[19:22:25] <rexim> .ping
[19:22:26] <DeadBot> rexim: понг от тебя 0.06 секунды
[19:22:27] <rexim> .ping
[19:22:27] <DeadBot> rexim: понг от тебя 0.06 секунды
[19:22:28] <rexim> .ping
[19:22:29] <DeadBot> rexim: понг от тебя 0.06 секунды
[19:23:54] <ForNeVeR> .pong
[19:27:10] Constverum зашёл в конференцию
[19:30:12] <j123123> $pet stats
[19:30:14] <horta hell> j123123:
Кличка: Floating Profit/Loss
Здоровье: 87
Сытость: 18
Возраст: 11 часов
[19:30:16] <j123123> $pet feed
[19:30:18] <horta hell> j123123: Floating Profit/Loss с чавканьем грызёт еду. Вы зарабатываете 1PTC.
[19:30:26] <j123123> $pet transfer horta\ hell 1
[19:30:27] <horta hell> j123123: Транзакция успешна.
[19:41:26] xspeed зашёл в конференцию
[19:52:27] Constverum вышел из конференции: Replaced by new connection
[19:52:27] Constverum зашёл в конференцию
[19:53:11] <rexim> https://www.livecoding.tv/rexim/
[19:53:12] <rexim> ForNeVeR:
[19:53:14] <rexim> m4n71k0r:
[19:53:17] <rexim> Minoru:
[19:53:23] <ForNeVeR> rexim: jksdjdjdddsaas
[19:53:27] <rexim> ɹǝɟılʍǝu:
[20:01:05] <Minoru> rexim: ок, попробую этот твой хакатончик :)
[20:03:12] Constverum вышел из конференции
[20:03:52] rafaelrs зашёл в конференцию
[20:04:51] Constverum зашёл в конференцию
[20:07:14] <rexim> Minoru: whare are you?
[20:07:35] <ForNeVeR> w-hare
[20:07:44] <gsomix> Minoru, я тоже сел делать домашнюю работу под рассказы дядюшки rexim.
[20:09:19] <gsomix> ForNeVeR, wh-re.
[20:20:57] dzhon вышел из конференции: Replaced by new connection
[20:20:57] dzhon зашёл в конференцию
[20:50:20] sss|zombie зашёл в конференцию
[21:06:41] <rexim> Minoru: ну как? Тебе понравилось в формате фона? :)
[21:10:26] enaken зашёл в конференцию
[21:10:28] <Minoru> я ещё не понял
[21:10:40] <Minoru> вроде действительно поприятней отвлекаться на другое окно с кодом, когда мысли путаются
[21:11:09] <Minoru> с другой стороны, у меня иногда было впечатление, что ты что-то спрашиваешь или даже называешь моё имя^Wник, но это же стрим, не переспросишь
[21:11:44] <Minoru> короче, завтра снова буду слушать, если в это время у компа буду
[21:12:01] <rexim> Хорошо. Не буду больше ничего у тебя спрашивать. )
[21:12:47] <Minoru> лол
[21:12:53] <Minoru> /ignore Minoru
[21:13:12] <rexim> Ну и игнорировать не буду. )
[21:13:54] <rexim> Поздороваться-то поздороваюсь, когда зайдешь)
[21:14:10] <rexim> Просто чтоб не было неловкой ситуации
[21:15:05] <rexim> gsomix: http://www.youtube.com/watch?v=WUAq7-YpO0w
[21:15:16] <rexim> WARNING! CONGA LINE IN PROGRESS!
[21:38:14] ddd вышел из конференции: Replaced by new connection
[21:38:18] ddd зашёл в конференцию
[21:39:03] rexim вышел из конференции
[21:47:06] rexim зашёл в конференцию
[21:48:09] <gsomix> rexim, какой же крутой OST.
[21:52:24] Graf зашёл в конференцию
[21:52:40] Graf вышел из конференции
[22:06:02] <rexim> Ага )
[22:12:28] Kumbaya вышел из конференции
[22:14:41] reggies зашёл в конференцию
[22:26:48] rafaelrs вышел из конференции: Replaced by new connection
[22:26:49] rafaelrs зашёл в конференцию
[22:46:44] Graf зашёл в конференцию
[22:47:34] Graf вышел из конференции
[23:09:46] rafaelrs вышел из конференции
[23:16:03] reggies вышел из конференции
[23:17:37] enaken вышел из конференции
[23:30:31] portnov вышел из конференции