Objective Caml - Суббота, 14 июля 2012

Objective Caml

ocaml@conference.jabber.ru

Суббота, 14 июля 2012< ^ >

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

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

GMT+4
[00:02:12] <bobry> Kakadu: ага
[00:07:52] ermine вышел(а) из комнаты
[00:36:38] <bobry> gds: а ты ats не пробовал?
[00:37:30] <gds> bobry:  ет.  Но почитал достаточно про него.  Зависимые типы, какая-то механика доказательств.  пасибанинада.
[00:38:01] <gds> но давно читал, поэтому чотко сказать сейчас ничего не смогу.  пометил как "хз что, в топку", тем и доволен.
[00:38:40] <bobry> у нас тут есть либа на сях, реализует циклические массивы для эрланга, со всякими там метриками
[00:38:49] <bobry> вроде кошерный кандидат для переписывания на ats
[00:38:52] <bobry> но чета страшно
[00:40:09] <gds> а, если уже на сях, то не сцы.  Но я бы на какой-нибудь compcert посмотрел -- понятно, изначально дают как бы компилятор, но если вдруг дают унутрь coq-код впихивать, тот, который логику представляет, то можно было бы взять.  если чо, в мелочах помог бы.
[01:16:39] Sun][ вышел(а) из комнаты
[01:54:44] ftrvxmtrx вышел(а) из комнаты
[01:56:42] <bobry> http://www.ats-lang.org/DOCUMENT/INTPROGINATS/HTML/x2089.html
[01:56:43] <bobry> мило
[02:01:23] ftrvxmtrx вошёл(а) в комнату
[02:03:58] <komar> OCHE ELEETNO
[02:09:52] <komar> Ой, я забыл, как называется ерунда, которые из текстовых файлов окамловые строки делает.
[02:10:23] <komar> Чтобы вкомпилировать.
[02:36:36] f[x] вошёл(а) в комнату
[02:39:24] <f[x]> xstrp4
[02:39:58] <f[x]> или camltemplate
[02:46:44] <komar> Не-не-не.
[02:48:26] <komar> http://mjambon.com/camlmix/ — о, больше похоже.
[02:48:32] <komar> Но вроде тоже не то.
[02:49:44] <gds> komar: https://bitbucket.org/gds/rebildol/src/21cca4fbff1f/src/stringify.ml лол]
[02:50:11] <komar> http://ocamlify.forge.ocamlcore.org/
[02:50:13] <komar> Во, епт.
[02:50:32] <komar> Он только в нестобильном дебиане, вот и найти не мог.
[02:50:59] <gds> но там автор Гашиш Оборвал.  И багу уже год фиксят.
[02:52:04] <komar> А, поэтому в тестинг все никак не запилят.
[02:53:17] <gds> даже не знаю, что сказать.  Наверное, всё-таки, не поэтому.  А потому, что дело весьма мелкое и никому особо не нужное.
[02:53:26] <komar> AUTHORS
       Sylvain Le Gall.
[02:53:29] <komar> че
[02:53:29] Kakadu вышел(а) из комнаты
[02:54:09] <komar> gds: да не. Эта хренотень есть в unstable, но нету в testing.
[02:55:04] <gds> а, значит это багрепортер Гашиш, и я не туда посмотрел.  Но сильванчег не просто слоупок.  Он вообще матёрый слоупок, http://s1.ipicture.ru/uploads/20120707/r11aySWj.png
[02:57:55] <komar> > слоупок > caml
[03:01:37] <gds> ну да.  зомби, поднятые накромантами, работают медленно.
[03:04:49] bobry вышел(а) из комнаты
[04:11:15] f[x] вышел(а) из комнаты
[04:21:26] <komar> gds: ты это специально написал или ошибся?
[04:24:51] <gds> komar: если про слова/орфографию, то я специально ошибаюсь.  обратного давно не замечал.
[04:28:29] <komar> Сильное колдунство.
[04:29:53] <gds> практика в кащенке и в пидошке в целом.  приходилось так.  как ватсон, без трубки не могу.
[07:49:38] <komar> Вот у меня в семь утра субботы руки сами по клавиатуре бегают.
[07:49:52] <komar> Чего они там пишут, ошибки, не ошибки — это вообще вне моей власти.
[07:51:23] <komar> Но судя по тому, что компилятор ругается мало, без мозгов им даже лучше.
[08:49:07] ftrvxmtrx вышел(а) из комнаты
[08:53:22] ftrvxmtrx вошёл(а) в комнату
[10:55:14] Sun][ вошёл(а) в комнату
[10:55:46] komar вышел(а) из комнаты
[11:40:28] Kakadu вошёл(а) в комнату
[12:11:13] bobry вошёл(а) в комнату
[12:12:35] ermine вошёл(а) в комнату
[16:37:45] ygrek вошёл(а) в комнату
[19:24:03] komar вошёл(а) в комнату
[20:26:43] <Kakadu> Кто знает как про sink из кондуитов по-русски лучше говорить?
[20:53:49] <gds> Kakadu: сток, можно слив..
[21:48:41] ad1862 вошёл(а) в комнату
[22:11:20] komar вышел(а) из комнаты
[22:11:24] komar вошёл(а) в комнату
[22:20:34] ad1862 вышел(а) из комнаты
[22:42:09] ftrvxmtrx вышел(а) из комнаты
[22:43:21] komar вышел(а) из комнаты
[22:43:34] komar вошёл(а) в комнату
[22:47:31] ermine вышел(а) из комнаты
[23:11:50] ftrvxmtrx вошёл(а) в комнату
[23:58:31] ygrek вышел(а) из комнаты