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

GMT+3
[00:08:15] begemot_sun вышел(а) из комнаты
[00:11:23] f[x] вышел(а) из комнаты
[01:49:19] grouzen вышел(а) из комнаты
[02:19:44] Kakadu вышел(а) из комнаты
[02:20:12] komar вышел(а) из комнаты
[03:02:29] komar вошёл(а) в комнату
[03:11:42] komar вышел(а) из комнаты
[07:22:41] grouzen вошёл(а) в комнату
[10:28:52] komar вошёл(а) в комнату
[10:31:25] komar вышел(а) из комнаты
[10:31:42] komar вошёл(а) в комнату
[13:29:43] grouzen вышел(а) из комнаты
[14:41:50] yomivlad вошёл(а) в комнату
[14:42:34] <yomivlad> можно узнать какие книги по математике надо прочитать для изучения Ocaml?
[14:45:26] <komar> рекомендую http://komar.in/files/arifmetika_nachala.pdf
[14:45:52] <yomivlad> komar‎, а по топологии?
[14:48:04] <komar> Топология это не туда, функциональному пацану теоркат надо.
[14:48:18] <komar> http://komar.in/files/учебник-по-теории-категорий.pdf
[14:49:19] <komar> А вообще иди код пиши. Учоных поразвелось — стрелять некому, а софта как не было, так и нет.
[15:13:46] grouzen вошёл(а) в комнату
[18:13:13] komar вышел(а) из комнаты
[18:35:31] komar вошёл(а) в комнату
[18:40:32] komar вышел(а) из комнаты
[21:12:08] komar вошёл(а) в комнату
[21:12:38] komar вышел(а) из комнаты
[21:15:41] komar вошёл(а) в комнату
[21:16:23] komar вышел(а) из комнаты
[22:44:30] begemot_sun вошёл(а) в комнату
[22:52:13] grouzen вышел(а) из комнаты
[23:06:59] Kakadu вошёл(а) в комнату
[23:23:10] Kakadu вышел(а) из комнаты
[23:24:03] Kakadu вошёл(а) в комнату
Powered by ejabberd - robust, scalable and extensible XMPP server Powered by Erlang Valid XHTML 1.0 Transitional Valid CSS!