Objective Caml - Четверг, 4 февраля 2010

Objective Caml

ocaml@conference.jabber.ru

Четверг, 4 февраля 2010< ^ >

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

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

GMT+3
[00:00:53] gds вышел(а) из комнаты
[00:03:24] ygrek вышел(а) из комнаты
[02:59:40] daapp вошёл(а) в комнату
[07:09:59] iNode вышел(а) из комнаты
[07:44:33] iNode вошёл(а) в комнату
[08:19:35] geovit вошёл(а) в комнату
[09:01:40] gds вошёл(а) в комнату
[09:03:38] Typhon вошёл(а) в комнату
[10:03:49] ygrek вошёл(а) в комнату
[11:18:17] f[x] вошёл(а) в комнату
[11:47:27] <gds> пеарю новую репку deriving'а в caml-list.  пусть подключаются, если чо :)
[11:50:05] <f[x]> да я её как бы в багтрекере на google-code пропиарил - ноль эффекта. надо ещё попробовать автору напрямую написать, вроде недавно где-то в сети его видел
[11:50:30] <gds> автор появляется, но ему оно нафиг не надо.
[12:36:35] ermine вошёл(а) в комнату
[12:40:02] daapp вышел(а) из комнаты
[12:52:33] <Typhon> emacs кто пользует, конфиги показать не хотите? (что касается камля интересует особенно) (да, мне что-то кажется, что я спрашивал уже такое :) )
[12:58:45] <f[x]> щас мы всех латентных лисперов и вычислим
[13:02:25] <Typhon> :)
[13:05:56] Sergey Plaksin вошёл(а) в комнату
[13:07:04] Sergey Plaksin вышел(а) из комнаты
[13:58:30] sceptic вышел(а) из комнаты: Replaced by new connection
[13:58:39] sceptic вошёл(а) в комнату
[14:24:30] <Typhon> в tuareg-mode по С-с С-с какой компелятор по дефолту у уважаемых? :)
[14:31:56] <gds> у меня в процессе разработки почти всё компилируется в байткод, так быстрее.
[14:34:19] <Typhon> а у меня по умолчанию make -k стоит >_<
[14:34:27] <Typhon> не могу сменить, что-то
[14:35:31] <gds> та же фигня по M-x compile, но не сильно раздражает.  Да и в каждом проекте разные скрипты компилируют, стандартизировать лень, поэтому менять умолчания смысла мало.
[14:36:51] <Typhon> а, то есть ты С-с С-с а потом ручками пишешь ocamlc? мне под вендой у себя для фшарп-моде нравится, наоборот, что по умолчанию то что нужно стоит
[14:38:14] <gds> я ещё хуже, я не C-c C-c, я M-x compile, ну или M-x up (предыдущую команду).  и пишу обычно скрипт типа ./bld.sh, где уже написано что нужно.  Так как обычно нужно не просто "ocamlc ...".
[14:40:20] <Typhon> btw, поменял по умолчанию ocamlc написан.
[14:40:42] <Typhon> после "поменял" -- запятая
[14:43:06] <gds> а имя файла -- руками вбивать?
[14:43:44] <Typhon> пока -- да :)
[14:43:52] <Typhon> ща допилю
[14:44:43] <gds> с другой стороны, почему бы не ocamlbuild somefile.byte вместо ocamlc somefile.ml?
[14:46:13] <Typhon> так, можно обработку по регекспу сделать
[14:46:18] <Typhon> ща пока один случай для .ml
[14:47:21] <gds> падвендой в батнике вообще кал следующего вида:
set NAT=byte
set NAME=somefile
del somefile.%NAT% && ocamlbuild %NAME%.%NAT% && copy _build\%NAME%.%NAT% %NAME%.exe && .\%NAME%.exe
[14:47:46] <Typhon> :( грустно как
[14:51:39] <gds> венда вообще грустная.  с другой стороны, кое-как да работает.
[16:25:24] <Typhon> поставил rlwrap, с камлевым топлевелом все ок. (кто тут жаловася, что нет readline?)
[16:27:20] <gds> а ещё есть http://www.pps.jussieu.fr/~li/software/index.html#enhtop
[16:34:22] <sceptic> Typhon: хочется как ghci :) или clisp
[16:34:25] <sceptic> rlwrap очень простой
[16:35:22] <Typhon> sceptic: ну вот на enhtop ссылка :)
[16:37:33] <Typhon> val dbh : '_a PGOCaml.t PGOCaml.monad = <abstr>  и тут оно... замуровали демоны :)
[16:38:52] <gds> надолимонаду?
[16:39:53] <olegfink> подумаешь, вот в апл тоже монады
[16:39:59] <olegfink> только там это унарные функции
[16:40:50] <gds> а что они делают?
[16:43:09] <olegfink> видимо, отображают область определения в множество значений?
[16:43:50] <olegfink> это просто обыкновенные функции, а терминология связана с синтаксическим различием
[16:44:08] <gds> понял.
[16:44:24] <olegfink> зато вот в хаскеле нет диад. :-)
[16:46:05] <olegfink> (вообще, оказывается неожиданно прикольным рассуждать о некоторых аспектах языка именно с точки зрения синтаксиса, правда, это не только в апл, в форте тоже предлагается различать "существительные", "глаголы"
[16:46:07] <olegfink> и "наречия")
[16:47:24] <olegfink> кстати, а ledit кто-нибудь использует?
[16:47:42] <gds> про наречия -- наверное все видели, но приведу ссылку на всякий случай: http://antilamer.livejournal.com/311241.html
[16:47:45] <olegfink> в свое время по понятным причинам советовали совместно с toplevel его юзать
[16:56:51] <olegfink> ага
[16:57:05] geovit вышел(а) из комнаты
[16:57:24] Sergey Plaksin вошёл(а) в комнату
[16:57:41] <olegfink> особенно интересно все-таки становится, когда разные части речи различаются именно синтаксически
[16:58:21] <olegfink> автор noun kingdom говорит, что глаголы -- это функции, но тогда что такое "x" а "f x"?
[16:59:33] <Typhon> ну, существительное, видимо? "варить гуся".
[16:59:38] <olegfink> синтаксически это подлежащее, но мы ничего не знаем о том, чем оно выражено -- это может быть глагол, а может быть существительное.
[16:59:55] <olegfink> в любом языке с HOF
[17:00:10] <gds> да, всё логично.
[17:02:31] <olegfink> поэтому, мне кажется, несколько логичнее называть глаголами то, что в хаскеле/окамле называется операторами
[17:02:42] iNode вышел(а) из комнаты
[17:02:53] <olegfink> так как их синтаксическая категория всегда однозначно определена
[17:03:43] <olegfink> всегда будет сказуемым, (+) всегда подлежащим/дополнением
[17:06:38] <olegfink> во всяком случае, так у нас появляется некий "визуальный" способ определения части речи, что, мне кажется, в ЯП важнее, чем в естественных языках
[17:07:06] <olegfink> в общем, я за то, что a+b было noun-verb-noun, а (+) a b -- noun-noun-noun
[17:08:23] <olegfink> что-то у меня невнятно получилось. :-)
[17:08:47] <Typhon> olegfink: пиши блогопост, заодно в голове структурируешь :)
[17:14:38] Sergey Plaksin вышел(а) из комнаты
[17:28:37] sceptic вышел(а) из комнаты
[17:28:47] sceptic вошёл(а) в комнату
[17:30:15] gds вышел(а) из комнаты
[17:41:43] <Typhon> pgocaml кто-то пинал? в PGOCaml.connect указываю ему user'а, а он лезет все равно с именем пользователя из окружения и валится. :(
[17:43:40] <Typhon> оу, я понял в чем там дело, кажется, если так, то это как-то тухловато :)
[17:50:15] sceptic вышел(а) из комнаты
[17:51:49] <Typhon> http://dumpz.org/16666/ если указывать параметры (юзер, psswd, db, etc.) в connect, а в запросах в виде statement'ов их опускать, то при компиляции камло берет параметры из окружения. приходится стейтментами в каждом запросе указывать параметры. это как-то тупо. чятднт? или что я не так понял?
[17:52:24] <Typhon> id намекаэ
[17:57:41] sceptic вошёл(а) в комнату
[18:01:36] Sergey Plaksin вошёл(а) в комнату
[18:05:19] <Typhon> а, прочитал внимательнее в доках, это нормально (хотя туповато). в мэйкфайле указал нужное. не очень нравится :(
[18:06:20] michael.holub вошёл(а) в комнату
[18:06:37] michael.holub вышел(а) из комнаты
[18:29:21] Typhon вышел(а) из комнаты
[18:35:44] gds вошёл(а) в комнату
[18:45:47] gds вышел(а) из комнаты: Replaced by new connection
[18:45:48] gds вошёл(а) в комнату
[18:55:28] f[x] вышел(а) из комнаты
[19:13:23] Sergey Plaksin вышел(а) из комнаты
[19:58:37] zert вошёл(а) в комнату
[19:58:47] <zert> здрасте
[19:59:02] <zert> люди, а что за батарейки скажете?
[19:59:08] <zert> стоит юзать чі ні?
[21:14:57] <gds> zert: как я понимаю, уже стоит.  но лично у меня руки не доходят до них.
[21:15:15] iNode вошёл(а) в комнату
[21:29:17] <olegfink> а мне кажется, что оно какое-то очень питонное
[21:29:26] <olegfink> List.reduce какое-то, генераторы опять же
[21:35:18] <zert> ты так говоришь, как будто это что-то плохое
[22:18:32] zert вышел(а) из комнаты
[23:24:03] ygrek вышел(а) из комнаты
[23:30:58] gds вышел(а) из комнаты