Objective Caml - Вторник, 4 декабря 2012

Objective Caml

ocaml@conference.jabber.ru

Вторник, 4 декабря 2012< ^ >

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

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

GMT+4
[00:24:40] Typhon вышел(а) из комнаты
[01:31:11] Kakadu вышел(а) из комнаты
[05:06:03] Typhon вошёл(а) в комнату
[05:08:20] Typhon вышел(а) из комнаты
[05:08:45] Typhon вошёл(а) в комнату
[05:30:57] Typhon вышел(а) из комнаты
[05:31:39] Typhon вошёл(а) в комнату
[06:43:59] strobegen вошёл(а) в комнату
[07:15:51] Typhon вышел(а) из комнаты: Replaced by new connection
[07:16:12] Typhon вошёл(а) в комнату
[08:26:21] komar вышел(а) из комнаты: Logged out
[08:53:35] tilarids вошёл(а) в комнату
[09:07:27] tilarids вышел(а) из комнаты
[09:09:03] zinid вошёл(а) в комнату
[09:19:33] tilarids вошёл(а) в комнату
[09:21:27] dzhon вошёл(а) в комнату
[09:21:48] dzhon вышел(а) из комнаты
[09:23:43] dzhon вошёл(а) в комнату
[09:41:34] <afiskon> gds: ага
[09:50:05] tilarids вышел(а) из комнаты
[09:56:43] dzhon вышел(а) из комнаты: Replaced by new connection
[09:56:44] dzhon вошёл(а) в комнату
[09:56:45] komar вошёл(а) в комнату
[09:59:22] dzhon вышел(а) из комнаты: Replaced by new connection
[09:59:25] dzhon вошёл(а) в комнату
[10:01:21] <gds> afiskon: 1. недавно появилась модная утилита opam, типа пакетного менеджера, я бы в первую очередь на неё посмотрел, но я лично ей не пользовался, пока не было нужды (пока хватает велосипеда, поддерживающего-обновляющего нужные библиотеки по их описаниям "откуда брать", "как компилировать", "какие зависимости" и подобному).
А чем пользовался -- например, как посоветовали, apt-get и emerge для установки того, что мейнтейнят в соответствующем линупсе.  Ещё пользовался двумя своими велосипедами, пеарить которые мало желания, так как opam, говорят, хорош достаточно, и он развивается.
Кто-то пользуется скриптами вида "распаковать && ./configure && make && make install" и ставят себе под $HOME куда-то.  (обычно данной последовательности для всех или почти всех библиотек хватает, если у автора с головушкой не всё плохо.)
2. поддержка юникода бывает разной.  Базовая: с utf8 можно работать, не вникая в то, что в строке находится, так как ввод-вывод и склеивание работают для utf8-строк, если их рассматривать побайтово.  Более интересная поддержка -- в ocaml-batteries (которую, в общем-то, можно советовать и для других целей, не только для юникода).  Есть специализированная библиотека camomile для того, чтобы что угодно делать с этим юникодом.  Есть мелкие специализированные uucd и uunf, тут смотря что от юникода надо.  Или, например, у меня в итератах есть enumeratee, умеющие потоково преобразовывать чанки с байтами в чанки с unicode code points.  В другой моей библиотечке тоже есть работа с юникодом, на уровне, нужном лично мне (length, вроде substring).  Опять же, смотря что надо.
3. на окамле таки да, пишут ещё, вполне так жив язык.  Как люди, так и компании.  Один чятик уже посоветовали, ещё есть irc-канал #ocaml, есть рассылка caml-list (официальная, годная).  Ещё в качестве источника информации рекомендую нашу "вики", https://github.com/camlunity/kamlo_wiki , там многим базовым вещам дан "обзор", в том числе, про то, кто использует окамл в реальном мире.
[10:03:01] avkarpich вошёл(а) в комнату
[10:04:17] <gds> afiskon: а что Валкина советовали -- да, можно и его почитать.  Ещё можно http://camlunity.ru/ (в частности, http://camlunity.ru/gds_posts.html , но не знаю, будет ли интересно).
[10:07:15] <gds> ещё есть жж-сообщество http://ru-caml.livejournal.com/ , его читают в том числе люди, вполне грамотные в вопросе.
[10:08:19] strobegen вышел(а) из комнаты
[10:08:26] <gds> да и в чятике у нас не лохи сидят, если чо.  Но если реальное "ВОТЗЕФАК" возникает, дело заканчивается либо в irc, либо в caml-list.
[10:08:40] strobegen вошёл(а) в комнату
[10:09:23] <gds> в ближайшие несколько часов я буду далеко от компьютера, поэтому сразу ответить на дальнейшие вопросы не смогу.
[10:12:02] tilarids вошёл(а) в комнату
[10:13:33] <gds> а, ещё многое, что периодически напоминает магию, описано Олегом Киселёвым на http://okmij.org/ftp/ , но там порой весьма сложно понять, что именно он совершает над тайпчекером и почему оно таки работает.
[10:14:40] avkarpich вышел(а) из комнаты
[10:15:07] <afiskon> gds: спасибо большое
[10:17:24] <strobegen> Добрый день. можно меня сделать участником группы, чтобы капчу каждый раз не вводить? я вряд ли буду что-то писать в ближайшем будущем, но последить за конфой мне интересно.
[10:19:13] gds' вошёл(а) в комнату
[10:20:25] gds' вышел(а) из комнаты
[10:21:24] <gds> strobegen: вроде бы сделал, как и господину afiskon, но не уверен.  Если не получилось, попросите f[x], он умеет.
[10:21:41] <strobegen> хорошо, спасибо
[10:32:23] UncleVasya вошёл(а) в комнату
[10:43:56] ermine вошёл(а) в комнату
[10:47:22] Sun][ вошёл(а) в комнату
[10:51:22] tilarids вышел(а) из комнаты
[11:05:15] tilarids вошёл(а) в комнату
[11:16:37] tilarids вышел(а) из комнаты
[11:23:56] tilarids вошёл(а) в комнату
[11:46:32] dzhon вышел(а) из комнаты
[12:09:15] avkarpich вошёл(а) в комнату
[12:42:22] <avkarpich> Всем привет! Какую литературу посоветуете для более глубокого погружения в окамл (возможно с прицелом на coq)? Читал "Introduction to Objective Caml" некоего Hickey и "Development applications with objective caml".
[12:44:33] <komar> Подожди, сейчас gds скастуется и ответит.
[12:45:15] <komar> Олсо, люто рекомендую /usr/share/doc/ocaml-doc/ocaml.html/index.html
[12:50:48] <UncleVasya> Из книг чего-то глубокого вроде нет, все для начинающих.  Посмотри оглавления Practical OCaml и OCaml for scientists. Эти книги обычно ругают, но может что-то интересное выдерешь (в первой кажется есть про оптимизацию, во второй более приземленные примеры, чем в DOPA).
[12:51:09] <komar> http://komar.bitcheese.net/files/Ocaml_for_Scientists.pdf
[12:51:49] <avkarpich> схоронил, спасибо.
[12:53:18] ftrvxmtrx вошёл(а) в комнату
[12:56:01] Kakadu вошёл(а) в комнату
[12:57:24] <UncleVasya> avkarpich: The Functional Approach to Programming рекомендуют как хорошую книгу. Но там тоже фундамент и по простому Caml.
[12:58:56] <Kakadu> Ещё вроде бы Real World Caml должен был выйти этой осенью
[12:59:15] <f[x]> Kakadu: рекомендуешшь книгу которую не читал - крут
[12:59:59] <Kakadu> я думаю её пока в СНГ мало кто читал
[13:00:20] Kakadu вошёл(а) в комнату
[13:04:53] <UncleVasya> Может кому интересно: https://www.hackerrank.com/   Типа Тимуса, но задачи на логические игры.  Поддерживают много языков (но не окамл).
[13:05:03] <avkarpich> на сайте пишут что ориентировочно выпустят книгу October 2013 (est.) http://shop.oreilly.com/product/0636920024743.do
[13:06:55] <Kakadu> avkarpich: Перенесли, гады
[13:10:02] <komar> Еще раз рекомендую /usr/share/doc/ocaml-doc/ocaml.html/index.html
[13:10:09] <komar> Клевая книга, отвал башки просто.
[13:11:29] Andrey Popp вошёл(а) в комнату
[13:11:49] <Kakadu> komar: файл не найден, сарказм не защитывается
[13:12:06] <f[x]> а вообще https://github.com/camlunity/kamlo_wiki/blob/master/OCamlFAQ.md
[13:15:48] <avkarpich> Kakadu: у меня в suse12.2 дока валяется в /usr/share/doc/packages/ocaml-docs/htmlman
[13:15:51] <komar> Kakadu: http://caml.inria.fr/pub/docs/manual-ocaml/
[13:17:34] Andrey Popp вышел(а) из комнаты
[13:17:35] Andrey Popp вошёл(а) в комнату
[13:24:24] Andrey Popp вышел(а) из комнаты
[13:24:25] Andrey Popp вошёл(а) в комнату
[13:31:45] Kakadu вышел(а) из комнаты: Replaced by new connection
[13:31:45] Kakadu вошёл(а) в комнату
[13:32:00] Kakadu вышел(а) из комнаты
[13:32:11] Kakadu вошёл(а) в комнату
[13:32:33] dzhon вошёл(а) в комнату
[13:34:27] Andrey Popp вышел(а) из комнаты
[13:34:32] Andrey Popp вошёл(а) в комнату
[13:44:39] Andrey Popp вышел(а) из комнаты
[13:44:40] Andrey Popp вошёл(а) в комнату
[13:51:40] komar вышел(а) из комнаты: Logged out
[14:03:36] UncleVasya вышел(а) из комнаты
[14:05:57] Kakadu вышел(а) из комнаты: Replaced by new connection
[14:05:58] Kakadu вошёл(а) в комнату
[14:09:37] komar вошёл(а) в комнату
[14:15:16] tilarids вышел(а) из комнаты: Computer went to sleep
[14:16:45] Andrey Popp вышел(а) из комнаты
[14:16:46] Andrey Popp вошёл(а) в комнату
[14:21:55] komar вышел(а) из комнаты: Logged out
[14:23:08] komar вошёл(а) в комнату
[14:28:56] UncleVasya вошёл(а) в комнату
[14:29:20] <ermine> Kakadu: если на golang есть биндинг к qt, то почему его нет на камле?
[14:29:34] <ermine> ftrvxmtrx: или ты знаешь ответ?
[14:29:54] <Kakadu> не вайнь
[14:30:06] <Kakadu> мне уже хватило твоё про опа-опа-о-па-па
[14:30:27] <ftrvxmtrx> я не знаю ответ
[14:30:58] <ftrvxmtrx> но на golang они работают как "c++ ←→ c ←→ golang"
[14:31:13] <ftrvxmtrx> потому что привязать c++ напрямую к golang нельзя
[14:33:04] <ermine> Kakadu: расчудесный опам у меня не очень-то и работает, как оказалось при более активном использовании
[14:33:58] <Kakadu> ты это уже в чатике рассказывала?*
[14:34:48] <ermine> ну да
[14:35:05] <Kakadu> ммм, пойду погуглю
[14:36:33] <ermine> жалко бабру-бабрубу-бу
[14:36:48] <Kakadu> них-синдром?
[14:36:59] ermine решает упраднение из туториала по golang
[14:38:23] <Kakadu> что-то с полпинка не гуглится
[14:40:02] <ermine> Kakadu: ну я выражалась в том смысле, что проект опама еще слишком молодой и багов там полно
[14:42:55] <Kakadu> в смысле "баги наверняка есть, но я их не видела"
[14:42:56] <Kakadu> ?
[14:43:47] <ermine> видела
[14:43:58] <ermine> но искать где пропатчить лень
[14:58:24] Andrey Popp вышел(а) из комнаты
[14:58:24] Andrey Popp вошёл(а) в комнату
[14:58:45] <avkarpich> господа, может поправим статью про камль в русской википедии?
[14:59:39] <komar> Зойчем?
[14:59:49] <komar> Разве что написать «говно, не берите».
[15:00:18] <komar> Я могу добавить абзац про принципиальную невозможность реализации велосипедного пакетного менеджера для него.
[15:00:32] <avkarpich> а ты видел пример на камле в предыдущей версии статьи? это же нифига не показательно для начинающих.
[15:01:10] <komar> Ага.
[15:01:18] <komar> Вот и замечательно.
[15:02:32] <f[x]> worse is better
[15:06:35] Typhon вышел(а) из комнаты
[15:09:45] avkarpich вышел(а) из комнаты
[15:29:05] <ermine> а какой пример на камле показательный?
[15:29:22] <komar> Факториал, вестимо.
[15:29:25] <komar> И кусорт.
[15:30:34] <ermine> это не народно-хозяйственное, это слишком академотично
[15:30:45] <komar> Какая разница? Новички будут в восторге.
[15:30:56] <komar> Х-ль именно кусортом свежее мясо собирает.
[15:31:29] <ermine> вот мне ща в голанге надо решать упражнение - напечатать 100 строк вида
A
AA
AAA
...
[15:32:12] <ermine> тут нет никакой академоты
[15:32:23] <komar> Ага.
[15:32:25] <komar> Одна школота.
[15:35:20] <ermine> да нормально, вполне народно-хозяйственное
[15:37:21] <komar> Угу.
[15:37:28] <komar> Надо лабу в универ сдать — пожалуйста.
[15:37:31] <komar> Модно, молодежно.
[15:39:43] <UncleVasya> Модно и молодежно лабы на брейнфаке сдавать, имхо.
[15:39:52] <komar> Нет.
[15:39:54] <komar> Это панк.
[15:43:16] <ermine> ну можно в качестве лабы написать интерпретатор брейнфука
[15:43:28] <ermine> кстати есть такой плагин для sulci
[15:52:53] Andrey Popp вышел(а) из комнаты
[16:02:48] Typhon вошёл(а) в комнату
[16:06:56] <f[x]> что такое кусорт?
[16:07:42] <ermine> qsort
[16:07:50] <f[x]> ах
[16:08:37] <Kakadu> f[x]: я думал это был тонкий троллинг)
[16:10:30] <f[x]> у нас тут серьёзная конфа, никакого троллинга
[16:22:24] tilarids вошёл(а) в комнату
[16:39:47] avkarpich вошёл(а) в комнату
[17:19:12] UncleVasya вышел(а) из комнаты
[17:27:46] Sun][ вышел(а) из комнаты
[17:34:47] dzhon вышел(а) из комнаты
[17:38:45] Andrey Popp вошёл(а) в комнату
[18:05:14] Andrey Popp вышел(а) из комнаты
[18:05:15] Andrey Popp вошёл(а) в комнату
[18:42:09] Andrey Popp вышел(а) из комнаты
[18:42:10] Andrey Popp вошёл(а) в комнату
[18:44:11] Andrey Popp вышел(а) из комнаты
[18:44:12] Andrey Popp вошёл(а) в комнату
[18:47:47] Andrey Popp вышел(а) из комнаты
[18:48:19] Andrey Popp вошёл(а) в комнату
[18:48:26] Andrey Popp вышел(а) из комнаты
[18:48:28] Andrey Popp вошёл(а) в комнату
[18:50:20] Andrey Popp вышел(а) из комнаты
[19:08:57] Kakadu вышел(а) из комнаты
[19:11:15] komar вышел(а) из комнаты: Logged out
[19:14:32] Kakadu вышел(а) из комнаты
[19:31:28] zinid вышел(а) из комнаты
[19:40:59] avkarpich вышел(а) из комнаты
[19:53:27] Kakadu вошёл(а) в комнату
[20:43:53] strobegen вышел(а) из комнаты
[21:01:06] ftrvxmtrx вышел(а) из комнаты
[21:04:23] komar вошёл(а) в комнату
[21:10:06] tilarids вышел(а) из комнаты: Computer went to sleep
[21:55:31] ermine вышел(а) из комнаты
[23:17:49] Typhon вышел(а) из комнаты
[23:19:41] Typhon вошёл(а) в комнату