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

ocaml@conference.jabber.ru

Пятница, 6 сентября 2013< ^ >

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

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

GMT+4
[00:13:27] Zbroyar вошёл(а) в комнату
[00:54:52] ForNeVeR вышел(а) из комнаты
[01:05:53] Kakadu вышел(а) из комнаты
[04:05:22] Zbroyar вышел(а) из комнаты
[06:52:40] f[x] вошёл(а) в комнату
[09:59:07] f[x] вышел(а) из комнаты
[11:12:54] f[x] вошёл(а) в комнату
[11:17:35] Typhon вошёл(а) в комнату
[11:41:09] ermine вошёл(а) в комнату
[13:06:27] zinid вошёл(а) в комнату
[13:42:45] f[x] вышел(а) из комнаты
[15:47:23] ForNeVeR вышел(а) из комнаты
[15:47:32] ForNeVeR вошёл(а) в комнату
[16:11:32] ForNeVeR вышел(а) из комнаты
[16:11:50] ForNeVeR вошёл(а) в комнату
[16:22:52] ForNeVeR вышел(а) из комнаты
[16:23:09] ForNeVeR вошёл(а) в комнату
[16:42:51] ForNeVeR вышел(а) из комнаты: Replaced by new connection
[16:42:58] ForNeVeR вошёл(а) в комнату
[16:59:05] arn вышел(а) из комнаты
[17:49:14] Zbroyar вошёл(а) в комнату
[17:52:59] ForNeVeR вышел(а) из комнаты: Replaced by new connection
[17:53:06] ForNeVeR вошёл(а) в комнату
[17:55:19] n06r1n вошёл(а) в комнату
[18:10:26] f[x] вошёл(а) в комнату
[18:17:15] ForNeVeR вошёл(а) в комнату
[18:33:56] n06r1n вышел(а) из комнаты
[18:58:52] <gds> сначала dbm, потом https://forge.ocamlcore.org/projects/labltk/ , когда же Unix выпилят?
[19:00:44] <aleksey> на святое покусились?
[19:01:40] <gds> почти. доколе, спрашиваю я?
[19:04:18] <aleksey> кстати а почему big_int не юзает gmp?
[19:04:32] <aleksey> страшная лицензия?
[19:04:39] <ADEpt> скорее всего
[19:05:06] <ADEpt> вроде ж одно время хотели и из ghc выпилить gmp, но я не помню, чем все кончилось
[19:05:30] <aleksey> точно, было такое, а там он чем мешал?
[19:06:13] <ADEpt> http://ghc.haskell.org/trac/ghc/wiki/ReplacingGMPNotes
[19:08:26] <ADEpt> "It's now possible to build GHC with different integer libraries, so I think we can call this ticket fixed"
[19:08:27] <ADEpt> во как
[19:13:47] <aleksey> gmpзаменятели похоже не осознают, что умножение, деление, или извлечение корня так же эффективно как в gmp не сделать
[19:13:57] <aleksey> вернее на это требуется слишком много сил
[19:15:27] <ADEpt> zarith же использует gpm?
[19:17:05] <aleksey> похоже
[19:17:13] <aleksey> и ocaml-gmp давно есть
[20:09:33] Typhon вышел(а) из комнаты
[20:10:29] Typhon вошёл(а) в комнату
[20:37:49] komar вошёл(а) в комнату
[20:45:32] f[x] вышел(а) из комнаты
[20:52:05] ADEpt вышел(а) из комнаты
[20:52:56] ADEpt вошёл(а) в комнату
[21:10:26] f[x] вошёл(а) в комнату
[21:10:52] f[x] вышел(а) из комнаты
[21:13:49] ADEpt вышел(а) из комнаты
[21:15:00] ADEpt вошёл(а) в комнату
[21:42:35] zinid вышел(а) из комнаты
[22:10:49] Typhon вышел(а) из комнаты
[22:20:29] ermine вышел(а) из комнаты
[23:05:42] ForNeVeR вышел(а) из комнаты