OCaml (aka Objective Caml), а также прочие ML'и, F#, Coq, etc

ocaml@conference.jabber.ru

Вторник, 23 июля 2013< ^ >

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

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

GMT+4
[00:35:37] ermine вышел(а) из комнаты
[00:58:08] tilarids вышел(а) из комнаты: Machine going to sleep
[03:22:27] <gds> у гердушки жуткая попоболь в caml-list.  Схороняйте findlib/ocamlnet нужных версий!  Вдруг он наложит себе в руки, а хостинг в скором времени прикроют?
[04:42:32] zinid вошёл(а) в комнату
[06:17:57] f[x] вошёл(а) в комнату
[06:21:14] <f[x]> в extprot пакованые инты тоже
[06:43:35] <f[x]> мда, Герд даёт, код пишет полезный, но с юзерами интерактить не заморачивается, после этого жалуется что его обделяют вниманием o_O
[06:45:20] <f[x]> > Maybe it is sufficient to move the repository to a public place and to redesign the package release process to give GODI a restart.
ага, вот именно, только сделать это надо было примерно миллион лет назад
[07:34:42] <gds> f[x]: leb128 намутил, говнокод, но покатит.  Пруфы лепить не стал :]
Про остальное -- именно так.
[07:36:44] <f[x]> gds: я думаю у тебя больше времени заняло убедить себя _не_ писать пруфы, чем собственно написание кода..
[07:41:50] <gds> на деле было так: я решил писать откровенный говнокод сейчас, в данном говнопроекте.  Почему говнокод -- потому что там всё равно "рантайм-информация о типах", а это же говно, _все_ знают!  Почему leb128 -- да, вот, замаршалить структуру из двух int64 -- это 33 байта.  Из них бОльшая часть -- за головки.  Это уже слишком.
Про пруфы думал.  Но императивщину доказывать сложно.  Даже не знаю, как доказать кое-что про state-манатку, а это как бы тупая манатка.
[07:42:39] <gds> (про пруфы думал, когда тесты писал, лололо.)
[08:36:05] ForNeVeR вышел(а) из комнаты: Replaced by new connection
[08:36:11] ForNeVeR вошёл(а) в комнату
[09:33:03] f[x] вышел(а) из комнаты
[09:36:24] ermine вошёл(а) в комнату
[10:26:55] tilarids вошёл(а) в комнату
[10:46:09] f[x] вошёл(а) в комнату
[12:20:21] <f[x]> http://gallium.inria.fr/~scherer/drafts/ocaml_paris_meetup_july_2013/oups-batteries-experiences.html#1.0
там некоторые местные товарищи могут пособирать звёздочки на фюзеляж :)
[12:36:11] Typhon вошёл(а) в комнату
[13:06:44] tilarids вышел(а) из комнаты: Machine going to sleep
[13:44:24] Zbroyar вошёл(а) в комнату
[14:11:41] tilarids вошёл(а) в комнату
[14:19:00] klapaucius вошёл(а) в комнату
[15:03:08] <ADEpt> omg-the-drama: http://blog.camlcity.org/blog/godi_shutdown.html
[15:03:24] <ADEpt> что-то как-то он не пережил довольно мягкую дискуссию в ocaml-list
[15:07:07] <f[x]> о, вот и зачинщики травли подтянулись!
[15:07:25] <ADEpt> чего зачинщики-то? :)
[15:07:31] <f[x]> пошто годи затравили, окаянные?!!
[15:09:43] <f[x]> ADEpt: мы тут переживаем за целостность камлевой инфраструктуры понимаете ли, а вы краеугольные камни выпинываете на свалку истории!
[15:10:10] <ADEpt> мне кажется, что его затравили собственные тараканы и меня-никто-не-любит-никто-не-приголубит
[15:10:25] <f[x]> теперь будете винду поддерживать, наплачетесь, вспомните!
[15:10:30] <f[x]> да поздно уже будет!!
[15:10:37] f[x] kidding
[15:26:24] Typhon вышел(а) из комнаты
[15:38:39] Typhon вошёл(а) в комнату
[16:03:04] Zbroyar вышел(а) из комнаты
[16:06:49] f[x] вышел(а) из комнаты
[16:36:30] Typhon вышел(а) из комнаты
[17:10:27] Typhon вошёл(а) в комнату
[17:10:58] Typhon вышел(а) из комнаты: Replaced by new connection
[17:11:18] Typhon вошёл(а) в комнату
[17:11:19] Typhon вышел(а) из комнаты: Replaced by new connection
[17:11:37] Typhon вошёл(а) в комнату
[17:46:21] Typhon вышел(а) из комнаты
[17:48:33] f[x] вошёл(а) в комнату
[18:10:24] Typhon вошёл(а) в комнату
[18:18:23] Typhon вышел(а) из комнаты
[18:21:02] Typhon вошёл(а) в комнату
[19:08:10] zinid вышел(а) из комнаты
[19:26:12] tilarids вышел(а) из комнаты: Machine going to sleep
[20:23:53] Typhon вышел(а) из комнаты
[20:32:04] komar вышел(а) из комнаты: Replaced by new connection
[20:32:13] komar вошёл(а) в комнату
[21:33:03] <aleksey> а плазму и другие проекты он тоже бросит?
[21:43:43] f[x] вышел(а) из комнаты