Home
OCaml (aka Objective Caml), а также прочие ML'и, F#, Coq, etc
ocaml@conference.jabber.ru
Суббота, 20 июля 2013< ^ >
f[x] установил(а) тему: OCaml / ОКэмл / Камль -- http://ocaml.org/ | Камло - http://camlunity.ru/ | Верблюды грязи не боятся! | release crap, enjoy NIH | репортьте баги официальным дилерам | ocaml мёртв и тормозит, move on | stdlib only? - ССЗБ | Fight FUD with fire | Мойте руки перед чатом | KEEP CAML AND CURRY ON | F#, Coq - де-факто онтопик
Конфигурация комнаты
Участники комнаты

GMT+4
[00:36:55] Typhon вышел(а) из комнаты: Replaced by new connection
[00:37:05] Typhon вошёл(а) в комнату
[00:41:55] komar вышел(а) из комнаты
[00:42:09] Typhon вышел(а) из комнаты: Replaced by new connection
[00:42:25] Typhon вошёл(а) в комнату
[00:42:39] Typhon вышел(а) из комнаты
[00:44:09] komar вошёл(а) в комнату
[00:50:47] tilarids вышел(а) из комнаты: Machine going to sleep
[00:52:47] ermine вышел(а) из комнаты
[01:01:12] Typhon вошёл(а) в комнату
[01:10:13] Typhon вышел(а) из комнаты
[01:54:47] ftrvxmtrx вошёл(а) в комнату
[01:54:54] ftrvxmtrx вышел(а) из комнаты
[07:45:43] f[x] вошёл(а) в комнату
[10:47:04] ermine вошёл(а) в комнату
[10:49:32] f[x] вышел(а) из комнаты
[10:56:23] tilarids вошёл(а) в комнату
[12:42:10] zinid вошёл(а) в комнату
[14:22:43] tilarids вышел(а) из комнаты: Machine going to sleep
[17:04:06] <gds> поясните по хардкору, что именно умеют (концептуально) окамловские гадты?  Форсировать типовой параметр в зависимости от конструктора, и всё?
[19:06:09] zinid вышел(а) из комнаты
[19:54:15] f[x] вошёл(а) в комнату
[20:02:17] <f[x]> можно функцию делать с разными возвращаемыми типами!!111
[20:10:56] f[x] вышел(а) из комнаты
[20:20:59] Typhon вошёл(а) в комнату
[20:26:57] <gds> f[x]: тип будет браться из переданного туда гадта?
[20:42:15] komar вышел(а) из комнаты: Logged out
[20:42:25] komar вошёл(а) в комнату
[22:05:00] komar вышел(а) из комнаты: Replaced by new connection
[22:05:00] komar вошёл(а) в комнату
[22:54:10] klapaucius вышел(а) из комнаты
[23:02:39] ermine вышел(а) из комнаты
Powered by ejabberd Powered by Erlang Valid XHTML 1.0 Transitional Valid CSS!