Общение на окологентушные темы - Понедельник, 17 ноября 2014

Общение на окологентушные темы

gentoo@conference.gentoo.ru

Понедельник, 17 ноября 2014< ^ >

winterheart установил(а) тему: Gentoo Linux || FAQ: http://www.gentoo.ru/faq || Вставки более 3 строк → app-text/wgetpaste || Логи: http://gentoo.ru/jabber/logs/ || Языками чешут в talks@conference.gentoo.ru || Фортунки http://fortunes.gentoo.ru || Gentoo.RU переехал целиком на Yandex || Gentoo Iron Penguin

Конфигурация комнаты

Участники комнаты

GMT+3
[00:12:45] slepnoga вышел(а) из комнаты
[00:14:30] maksbotan вышел(а) из комнаты
[00:15:30] Civilian вышел(а) из комнаты: Replaced by new connection
[00:15:40] Civilian вошёл(а) в комнату
[00:40:09] <0xd34df00d> qnikst: хм.
[00:40:11] <0xd34df00d> Вот ты упоротый.
[00:40:25] <0xd34df00d> Скажи, пожалуйста, а есть ли какой-то теоретическо-категорный смысл у такой монады, как []?
[00:48:08] <qnikst> Я упоротый?
[00:48:10] <qnikst> Есть
[00:48:18] <qnikst> Многозначений
[00:48:46] <qnikst> Т.е. у тебя функция возвращает не один результат, а сразу все возможные
[00:49:12] <qnikst> Соотв у неё bind отвечающий именно этиму смыслу
[00:49:47] <qnikst> Ты mendeleydesktop не пользуешься? Я бы статьи расшарил
[00:50:31] <0xd34df00d> Не пользуюсь :(
[00:50:37] <0xd34df00d> qnikst: bind — это уже хаскель.
[00:50:40] <0xd34df00d> А терминах CT?
[00:57:08] <qnikst> В СТ это стрелка клейсли или join
[00:57:26] <qnikst> В общем монада в КТ это объект (M, nu, mu)
[00:57:37] <qnikst> Где M обект
[00:58:17] <qnikst> nu - аналог ретурн (я по памяти не воспроизведу тип), и mu это аналог join
[00:58:44] <qnikst> Аналогично можно через return и стрелку клейсли
[00:59:13] <qnikst> M описывает эффект
[00:59:30] <qnikst> Соотв для разных типов данных разные эффекты (и наоборот)
[01:00:21] <qnikst> Wadler comprehending monads начало можно почитать
[01:01:09] <qnikst> Щас проверю
[01:02:13] <qnikst> А не это моджи был
[01:03:27] <qnikst> nu: Id_C -> T ; mu: T^2 -> T
[01:04:31] <qnikst> Вообще я КТ почти не знаю, могу и чушь написать
[01:04:46] <0xd34df00d> Ну да, это естественные преобразования всё.
[01:04:50] <0xd34df00d> μ и ν твое.
[01:05:07] <0xd34df00d> qnikst: чо за джоин в CT?
[01:13:01] <qnikst> mu который
[01:13:08] <qnikst> Он в хацкелях join
[01:13:21] <0xd34df00d> Блин, я гхц сломал.
[01:13:29] <qnikst> \о/
[01:15:32] <qnikst> У тебя там внешнелиба?
[01:15:37] <0xd34df00d> Нет.
[01:15:39] <0xd34df00d> Своя собственная.
[01:15:42] <qnikst> Страннота
[01:15:52] <0xd34df00d> В смысле, вообще свой .hs из соседней папки.
[01:15:56] <qnikst> Хотя я точно видел такое
[01:16:06] <qnikst> Но как лечил не помню
[01:16:32] bober2000 вышел(а) из комнаты
[01:35:27] Night Nord вышел(а) из комнаты
[01:50:27] <qnikst> Фуд а если ты спрашивал что за M соответствует [] в КТ то завтра смогу расписать :)
[02:16:30] beelzebubbie вышел(а) из комнаты
[02:45:53] trupanka вышел(а) из комнаты
[02:48:11] CarelessChaser вошёл(а) в комнату
[02:53:14] 0xd34df00d вошёл(а) в комнату
[02:53:30] <0xd34df00d> qnikst: не понял вопроса сейчас.
[02:53:39] Civilian вышел(а) из комнаты
[03:03:54] <qnikst> Забей.. /me нажрался террафлю и идёт спать, завтра отпишусь :)
[03:08:29] Mellon вышел(а) из комнаты: Replaced by new connection
[03:08:39] Mellon вошёл(а) в комнату
[03:58:35] Vurtatoo вышел(а) из комнаты
[04:31:51] 0xd34df00d вышел(а) из комнаты: Disconnected: closed
[04:53:12] reonaydo вошёл(а) в комнату
[05:58:41] eegorov вошёл(а) в комнату
[06:13:16] edgbla вошёл(а) в комнату
[06:14:54] nordwind вошёл(а) в комнату
[06:21:23] Magistr вошёл(а) в комнату
[06:39:28] beelzebubbie вошёл(а) в комнату
[06:56:22] edgbla вышел(а) из комнаты
[07:05:31] eegorov вышел(а) из комнаты
[07:07:38] eegorov вошёл(а) в комнату
[07:56:51] krigstask вышел(а) из комнаты
[08:00:27] Интеллект вошёл(а) в комнату
[08:11:35] slepnoga вошёл(а) в комнату
[08:15:37] qnikst вышел(а) из комнаты: Replaced by new connection
[08:15:47] qnikst вошёл(а) в комнату
[08:18:15] bober2000 вошёл(а) в комнату
[08:50:30] qnikst вышел(а) из комнаты: Replaced by new connection
[08:50:40] qnikst вошёл(а) в комнату
[09:10:27] qnikst вышел(а) из комнаты
[09:10:45] qnikst вошёл(а) в комнату
[09:12:39] qnikst вышел(а) из комнаты
[09:12:49] qnikst вошёл(а) в комнату
[09:19:31] qnikst вышел(а) из комнаты: Replaced by new connection
[09:19:46] qnikst вошёл(а) в комнату
[09:24:41] qnikst вышел(а) из комнаты: Replaced by new connection
[09:24:51] qnikst вошёл(а) в комнату
[09:31:47] qnikst вышел(а) из комнаты
[09:32:36] qnikst вошёл(а) в комнату
[09:32:51] qnikst вышел(а) из комнаты
[09:35:42] qnikst вошёл(а) в комнату
[09:43:00] WiseLord вошёл(а) в комнату
[09:54:34] Mellon вышел(а) из комнаты: Replaced by new connection
[09:54:44] Mellon вошёл(а) в комнату
[09:58:38] edgbla вошёл(а) в комнату
[10:01:53] backbone вошёл(а) в комнату
[10:09:58] qnikst вышел(а) из комнаты: Replaced by new connection
[10:10:08] qnikst вошёл(а) в комнату
[10:12:08] Night Nord вошёл(а) в комнату
[10:12:49] olegon вышел(а) из комнаты
[10:14:18] qnikst вышел(а) из комнаты
[10:14:36] qnikst вошёл(а) в комнату
[10:32:33] krigstask вошёл(а) в комнату
[10:33:39] CarelessChaser вышел(а) из комнаты
[10:45:03] Desu вошёл(а) в комнату
[11:03:51] Perlovka вошёл(а) в комнату
[11:07:18] Civilian вошёл(а) в комнату
[11:40:27] evadim вошёл(а) в комнату
[12:04:35] krigstask вышел(а) из комнаты: Datorn somnade
[12:05:05] 0xd34df00d вышел(а) из комнаты: Disconnected: closed
[12:05:43] 0xd34df00d вошёл(а) в комнату
[12:20:54] qnikst вышел(а) из комнаты: Replaced by new connection
[12:21:04] qnikst вошёл(а) в комнату
[12:35:31] Night Nord вышел(а) из комнаты
[12:49:10] olegon вошёл(а) в комнату
[12:49:28] reonaydo вышел(а) из комнаты: Отключён
[12:49:51] <olegon> товарищи, что-то не соображу, а как можно вывести в watch что-то вроде ps -ef | grep prog, чтобы оно в линию не вытягивалось?
[12:54:45] trupanka вошёл(а) в комнату
[12:56:25] qnikst вышел(а) из комнаты: Replaced by new connection
[12:56:35] qnikst вошёл(а) в комнату
[13:01:33] qnikst вышел(а) из комнаты: Replaced by new connection
[13:01:43] qnikst вошёл(а) в комнату
[13:02:08] krigstask вошёл(а) в комнату
[13:07:42] magog вошёл(а) в комнату
[13:13:53] 0xd34df00d вошёл(а) в комнату
[13:26:31] magog вышел(а) из комнаты
[13:39:07] qnikst вышел(а) из комнаты: Replaced by new connection
[13:39:17] qnikst вошёл(а) в комнату
[13:41:18] Magistr вышел(а) из комнаты
[13:47:22] qnikst вышел(а) из комнаты
[13:47:38] qnikst вошёл(а) в комнату
[13:49:47] qnikst вышел(а) из комнаты: Replaced by new connection
[13:49:57] qnikst вошёл(а) в комнату
[13:51:56] qnikst вышел(а) из комнаты
[13:52:06] qnikst вошёл(а) в комнату
[13:57:12] qnikst вышел(а) из комнаты: Replaced by new connection
[13:57:22] qnikst вошёл(а) в комнату
[14:01:43] qnikst вышел(а) из комнаты: Replaced by new connection
[14:01:53] qnikst вошёл(а) в комнату
[14:03:00] nordwind вышел(а) из комнаты
[14:04:07] qnikst вышел(а) из комнаты
[14:04:17] qnikst вошёл(а) в комнату
[14:07:03] qnikst вышел(а) из комнаты
[14:07:26] qnikst вошёл(а) в комнату
[14:11:12] qnikst вышел(а) из комнаты: Replaced by new connection
[14:11:22] qnikst вошёл(а) в комнату
[14:30:33] qnikst вышел(а) из комнаты: Replaced by new connection
[14:37:35] qnikst вошёл(а) в комнату
[14:37:58] qnikst вышел(а) из комнаты
[14:40:11] Vurtatoo вошёл(а) в комнату
[14:41:12] medvedko вошёл(а) в комнату
[15:13:15] Интеллект вышел(а) из комнаты: Replaced by new connection
[15:13:25] Интеллект вошёл(а) в комнату
[15:16:17] Vurtatoo вышел(а) из комнаты
[15:16:27] Vurtatoo вошёл(а) в комнату
[15:33:00] nis вошёл(а) в комнату
[15:35:34] Night Nord вошёл(а) в комнату
[15:59:43] Desu вышел(а) из комнаты
[16:13:08] hitecnologys вошёл(а) в комнату
[16:16:42] CarelessChaser вошёл(а) в комнату
[16:28:50] Civilian вышел(а) из комнаты
[16:29:20] Civilian вошёл(а) в комнату
[16:30:42] mist вышел(а) из комнаты
[16:56:27] mist вошёл(а) в комнату
[17:07:19] conformist вышел(а) из комнаты
[17:24:44] conformist вошёл(а) в комнату
[17:38:50] <slepnoga> Civilian: коммитоспособен ?
[17:39:19] <Civilian> slepnoga: неа
[17:39:37] <Civilian> slepnoga: я с 10:00 CET до 19:00 CET не коммитоспособен пока
[17:41:51] <slepnoga> https://bugs.gentoo.org/show_bug.cgi?id=528386 - вот так бы всегда
[17:42:00] <slepnoga> я только что получил мыло :)
[17:42:15] <slepnoga> Civilian: лана, пну пва
[17:42:38] <Civilian> slepnoga: удачи )
[17:42:46] <Civilian> если пнется, пни его на тему генту.ру )
[17:43:29] <slepnoga> Civilian: а чо там ?
[17:43:51] <Civilian> slepnoga: он нифига не делает
[17:47:31] <slepnoga> Civilian: вы неудачники :)
[17:47:36] <slepnoga> пнулся
[17:47:47] <slepnoga> в течении часа коммитнет
[17:54:16] conformist вышел(а) из комнаты
[18:05:40] Civilian вышел(а) из комнаты: Replaced by new connection
[18:05:50] Civilian вошёл(а) в комнату
[18:10:36] conformist вошёл(а) в комнату
[19:05:50] slepnoga вышел(а) из комнаты
[19:23:46] Desu вошёл(а) в комнату
[19:32:27] backbone вышел(а) из комнаты
[19:39:04] Vurtatoo вышел(а) из комнаты
[19:39:59] Vurtatoo вошёл(а) в комнату
[19:40:29] conformist вышел(а) из комнаты
[19:41:25] conformist вошёл(а) в комнату
[20:53:13] conformist вышел(а) из комнаты
[20:53:42] conformist вошёл(а) в комнату
[21:07:03] Night Nord вошёл(а) в комнату
[21:12:02] medvedko вышел(а) из комнаты
[21:28:10] Vurtatoo вышел(а) из комнаты: Replaced by new connection
[21:28:20] Vurtatoo вошёл(а) в комнату
[21:37:28] 0xd34df00d вышел(а) из комнаты: Disconnected: Replaced by new connection
[21:37:38] 0xd34df00d вошёл(а) в комнату
[22:05:28] hitecnologys вышел(а) из комнаты
[22:06:24] bober2000 вышел(а) из комнаты
[22:18:28] CarelessChaser вышел(а) из комнаты
[22:29:55] edgbla вышел(а) из комнаты
[22:52:25] 0xd34df00d вышел(а) из комнаты: Disconnected: Replaced by new connection
[22:52:35] 0xd34df00d вошёл(а) в комнату
[23:03:44] nis вышел(а) из комнаты
[23:06:17] nis вошёл(а) в комнату
[23:07:29] nis вышел(а) из комнаты
[23:13:02] devxom вошёл(а) в комнату
[23:13:17] devxom вышел(а) из комнаты
[23:13:19] Civilian вышел(а) из комнаты
[23:24:28] 0xd34df00d вышел(а) из комнаты
[23:40:21] Desu вышел(а) из комнаты
[23:52:46] qnikst вошёл(а) в комнату