Objective Caml - Среда, 20 февраля 2013

Objective Caml

ocaml@conference.jabber.ru

Среда, 20 февраля 2013< ^ >

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

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

GMT+4
[00:32:12] Sun][ вышел(а) из комнаты
[00:32:42] Sun][ вошёл(а) в комнату
[00:33:49] Sun][ вышел(а) из комнаты
[00:50:48] komar вошёл(а) в комнату
[01:15:04] komar вышел(а) из комнаты
[05:05:10] tilarids вошёл(а) в комнату
[05:28:47] ADEpt вышел(а) из комнаты: Replaced by new connection
[05:28:51] ADEpt вошёл(а) в комнату
[05:57:57] zinid вошёл(а) в комнату
[06:25:06] tilarids вышел(а) из комнаты
[06:58:07] ermine вошёл(а) в комнату
[07:04:57] f[x] вышел(а) из комнаты
[07:52:14] f[x] вошёл(а) в комнату
[08:07:52] f[x] вышел(а) из комнаты
[08:19:56] f[x] вошёл(а) в комнату
[09:52:09] komar вошёл(а) в комнату
[09:54:08] f[x] вышел(а) из комнаты
[10:15:51] Sun][ вошёл(а) в комнату
[11:16:32] komar вышел(а) из комнаты: Logged out
[11:21:42] f[x] вошёл(а) в комнату
[11:36:23] Kakadu вошёл(а) в комнату
[11:39:15] ermine вышел(а) из комнаты
[11:51:39] ermine вошёл(а) в комнату
[11:57:38] f[x] вышел(а) из комнаты
[12:00:16] f[x] вошёл(а) в комнату
[12:05:57] klapaucius вошёл(а) в комнату
[12:46:05] komar вошёл(а) в комнату
[12:47:34] ftrvxmtrx вошёл(а) в комнату
[14:00:16] komar вышел(а) из комнаты: Logged out
[14:05:10] f[x] вышел(а) из комнаты
[14:05:25] Typhon вошёл(а) в комнату
[14:07:21] komar вошёл(а) в комнату
[14:40:34] tilarids вошёл(а) в комнату
[15:10:25] f[x] вошёл(а) в комнату
[15:12:02] f[x] вышел(а) из комнаты
[15:14:04] tilarids вышел(а) из комнаты
[15:25:39] f[x] вошёл(а) в комнату
[15:25:39] f[x] вышел(а) из комнаты
[15:25:57] f[x] вошёл(а) в комнату
[15:59:56] komar вышел(а) из комнаты: Logged out
[16:07:43] f[x] вышел(а) из комнаты
[16:14:06] f[x] вошёл(а) в комнату
[16:36:45] <zinid> посоветуйте хороший manual по coq
[16:56:04] <f[x]> ешё один..
[17:02:34] <gds> zinid: http://adam.chlipala.net/cpdt/
[17:02:49] <zinid> f[x]: ачо?
[17:03:08] <gds> КОКНУТЫЙ!
[17:03:52] <zinid> ВСЕ ПОЦОНЫ БАЗАРЯТ ЧТО ОН ЧОТКИЙ
[17:04:47] <zinid> я на ютубе видюшки нашёл :)
[17:04:58] <gds> покажь-ка
[17:05:09] <zinid> http://math.andrej.com/2011/02/22/video-tutorials-for-the-coq-proof-assistant/
[17:05:20] <zinid> нихера непонятно ;)
[17:05:45] <zinid> но proofgeneral я уже установил ;)
[17:07:19] <gds> если на емакс яростно дрочишь, то ок, иначе советовал бы coqide, попроще как-то.
[17:07:40] <zinid> дрочу
[17:07:45] <zinid> точнее привык просто ;)
[17:09:20] <gds> эта видюшка -- чисто доказательства, оно тебе надо? в процессе написания кода, если будешь использовать хитрые типы, этому научишься, а специально в это вникать -- не стоит. лучше книжку почитай, там автор постепенно объясняет всё, практически с азов, в том числе про доказательства.
[17:09:45] <zinid> gds: да, я уже читаю книжку
[17:09:46] <zinid> ;)
[17:11:30] <gds> и ещё, много где "учат плохому" в плане доказательств. А вот одамчег чоткий, показывает очень много интересного для того, чтобы максимально упростить доказательства через их автоматизацию/механизацию.
[17:11:49] Sun][ вышел(а) из комнаты
[17:12:30] <zinid> ясно :P
[17:36:42] zinid вышел(а) из комнаты
[17:59:39] komar вошёл(а) в комнату
[20:02:10] ftrvxmtrx вышел(а) из комнаты
[20:15:28] tilarids вошёл(а) в комнату
[20:29:49] Kakadu вышел(а) из комнаты
[20:30:20] Typhon вышел(а) из комнаты
[20:48:00] UncleVasya вошёл(а) в комнату
[21:00:53] Typhon вошёл(а) в комнату
[21:22:17] Typhon вышел(а) из комнаты
[21:24:04] f[x] вышел(а) из комнаты
[21:54:52] f[x] вошёл(а) в комнату
[22:05:50] Typhon вошёл(а) в комнату
[22:06:14] ftrvxmtrx вышел(а) из комнаты
[22:09:53] tilarids вышел(а) из комнаты
[22:11:17] Sun][ вошёл(а) в комнату
[22:26:46] Typhon вышел(а) из комнаты
[22:57:53] Sun][ вышел(а) из комнаты
[23:00:15] ermine вышел(а) из комнаты
[23:10:38] ftrvxmtrx вошёл(а) в комнату
[23:10:40] Typhon вошёл(а) в комнату
[23:26:56] Typhon вышел(а) из комнаты
[23:55:38] UncleVasya вышел(а) из комнаты