Objective Caml - Среда, 11 августа 2010

Objective Caml

ocaml@conference.jabber.ru

Среда, 11 августа 2010< ^ >

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

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

GMT+4
[00:00:04] <ygrek> http://www.cs.rit.edu/~mtf/ml2010/program.html#Program
[00:09:46] <ygrek> камло - 6 из 10, можно невозбранно троллить sml фанов
[00:10:08] <zert> а они бывают?
[00:10:45] <ygrek> вякают иногда
[00:11:02] <zert> это вялотекущая шизофрения
[00:11:42] <zert> бóльшую часть времени человек нормальный, пишет на пхп как все, а иногда что-нибудь найдёт и он начинает про смл спамить
[00:11:55] <zert> через час попустит, и опять на пхп пишет как все
[00:12:02] <valexey_> 2 из них сводится к тому что "теперь в камле доступно то, чем хаскелисты пользуются давным-давно!"
[00:15:07] <ygrek> а обратное неверно, ага
[00:15:41] <valexey_> про обратное там ничего нет
[00:16:38] <zert> хаскелисты кучей всего давно пользуются
[00:16:44] <zert> а результатов никто не видит
[00:18:07] <valexey_> xmonad видит много кто :-)
[00:18:17] <valexey_> а вот где результаты камлистов?
[00:18:48] <zert> xmonad и darcs видят только хаскельщики
[00:19:36] <valexey_> неа. xmonad пользуют и простые красноглазики-линупсоиды
[00:19:44] SV0L0CH пытался запускать xfce4-panel в xmonad
[00:19:46] <valexey_> и даже не очень красноглазики
[00:20:16] <ygrek> xen, fftw, mldonkey
[00:20:18] <SV0L0CH> оно иногда зависало на этапе перерисовки
[00:20:48] <SV0L0CH> тоесть, перерисовщики иногда ВНЕЗАПНО начинали конфликтовать
[00:21:00] <ygrek> сколько людей пользуется?
[00:21:17] <valexey_> midonkey вроде закопали
[00:21:58] <SV0L0CH> xen <_< тут одна проблемка с ним возникла
[00:22:49] <SV0L0CH> после деинсталяции начало матевировать ld
[00:23:26] <SV0L0CH> говоря что всякие несуществующие файлы не являются библиотеками
[00:23:30] ygrek не саппорт xen
[00:23:38] <ygrek> и в глаза его даже не видел
[00:23:43] <SV0L0CH> как пофиксить?
[00:24:09] <SV0L0CH> дык дело может быть не в xen, а в ld
[00:24:19] <valexey_> переписать на хаскеле!
[00:25:23] <ygrek> ld или ld.so?
[00:25:32] <ygrek> может остались куски xen'а?
[00:25:40] <ygrek> у него ж юзерспейс какой-то есть?
[00:25:57] <SV0L0CH> где эти куски искать?
[00:27:38] <Kakadu> может переставить заново и поискать лог?
[00:28:19] valexey_ вышел(а) из комнаты
[00:28:24] <SV0L0CH> оно же долго компититься будет :(
[00:28:40] <ygrek> проще binutils переставить, если ld.so
[00:29:20] <ygrek> вообще оффтопик, лучше xen-оводов найти и поспрашивать
[00:32:10] <ygrek> ermine: в caml-list тебе уже претензии выдвигают
> BTW, where are all the modules from the Camlp4Parsers directory,
> eg Camlp4OCamlParser?
[00:43:53] iNode вышел(а) из комнаты
[00:46:36] <ermine> значит оно не обошло все линки
[00:49:06] Kakadu вышел(а) из комнаты
[01:03:37] <ygrek> в lj/ocaml опять "изображения"
[01:05:58] <zert> какие?
[01:06:34] <ygrek> нэдорэчни
[01:07:04] <zert> пойду посплю
[01:16:20] <ermine> obrowser выкинули из ocsigen
[01:23:46] <SV0L0CH> тут ктонибудь ocamlyacc пинал?
[01:25:07] <ermine> а че там сложного, тупой bnf
[01:26:03] <SV0L0CH> просто думаю, а не переписать ли его на JS
[01:26:37] <SV0L0CH> собственно с парсерами дело имею редко, на практике обхожусь лексерами
[01:27:30] <ermine> кого переписать?
[01:28:06] <SV0L0CH> генератор парсеров
[01:28:14] <ermine> ты из тех, о ком ygrek только что с негодованием высказался
[01:28:36] <SV0L0CH> точнее, взять за основу
[01:29:00] <ermine> а кого парсить?
[01:29:15] <SV0L0CH> текст
[01:29:22] <SV0L0CH> произвольный
[01:29:41] <SV0L0CH> ну и форматы типа OLE
[01:30:07] <SV0L0CH> хотя OLE меня не шибко интересует...
[01:31:03] <ermine> текст и бинарные форматы - разные штучки
[01:31:46] ermine не помнит, зачем нужен ole
[01:32:45] <ermine> SV0L0CH: прочитай в пятом номере фпрога пятую статью
[01:32:49] <SV0L0CH> ole нужно чтобы не использовать xml
[01:33:16] <SV0L0CH> лексер, допустим, почти готов http://dpaste.org/ZgdE/
[01:34:27] <ermine> а семантику кто будет мудрить?
[01:34:52] <SV0L0CH> в смысле мудрить семантику?
[01:35:00] <ermine> если в ole грамматика cfg, то еще понятно зачем ocamlyacc
[01:35:25] <ermine> ну приписывать экшны
[01:36:00] <ermine> но я лучше пойду потеть в кроватке
[01:36:01] ermine вышел(а) из комнаты
[01:37:23] <SV0L0CH> ну вот... а я есчё хотел по разметкам проконсультироватся :(
[01:38:21] <SV0L0CH> ладно, пока буду пилить визуальный редактор для моих лексеров
[02:01:31] ygrek вышел(а) из комнаты
[03:05:28] SV0L0CH вышел(а) из комнаты
[08:56:23] gds вошёл(а) в комнату
[09:15:36] <gds> сделал ru_caml с модерируемым вступлением, удолил спамло из участников, поглядим.
[09:24:56] gds вышел(а) из комнаты: Replaced by new connection
[09:24:58] gds вошёл(а) в комнату
[10:12:03] Mon вышел(а) из комнаты
[10:12:12] Mon вошёл(а) в комнату
[10:39:34] <gds> странное дело.  При компиляции окамловской проги в байткод не работает печать, которую делаю из сишного кода (но сам код выполняется).  fflush после printf не забываю.  В native code всё печатается нормально (но там и программа по-другому себя ведёт, не валится с ошибкой).
[10:52:43] <gds> разобрался, для запуска байткода был использован другой код, не содержавший печати.  А потому что CAML_LD_LIBRARY_PATH=. надо.
[10:56:21] ʇsʎɯ вошёл(а) в комнату
[11:07:33] ermine вошёл(а) в комнату
[11:10:33] <ʇsʎɯ> gds: видел, на засыл штангиста в кафе ответил САМ!
[11:10:55] <ʇsʎɯ> более того, это ещё и на reddit засветилось
[11:11:02] <ʇsʎɯ> всё-таки ты нанотролль
[11:11:41] <gds> ололо, зачот!  пошёл в кафе.
[11:12:35] <ʇsʎɯ> http://www.reddit.com/r/programming/comments/czkem/why_stm_works_so_well_in_haskell_simon_peyton/
[11:12:42] <ʇsʎɯ> вот тред на реддите
[11:29:57] <gds> кстати, штангист чото вбросил насчёт окамловского кодогенератора (и компилятора в целом).  У меня нет ни времени, ни желания разбираться, но, если чо, поглядите.
[11:48:12] <ʇsʎɯ> линк
[11:53:33] <f[x]> > [21:31:27] <valexey_> да, а в плане стабильности языка камло в общем то тоже ничем не лучше D. судя по матюгам в конфе каждый новый релиз что-то там ломает в либах и оно перестает собираться
ну наконец-то
[11:53:52] valexey запретили входить в комнату: за распостранение заведомо ложной информации
[11:54:15] f[x] доволен
[12:02:06] serp256 вышел(а) из комнаты
[12:41:54] ʇsʎɯ вышел(а) из комнаты
[12:43:27] ʇsʎɯ вошёл(а) в комнату
[13:00:10] <gds> интересно, есть ли способ построить алгоритм (императивный, рекурсивный) на основании некоторых требований к нему (пред- и пост-условий, например)?  Кроме построения методом "взял из головы алгоритм, накодил, проверил -- требованиям удовлетворяет".  Т.е. какой-нибудь формальный метод интересен.
Если функциональные алгоритмы обычно можно построить итеративно, последовательно применяя нужные преобразования, то тут не знаю, как быть.  Может кто-нибудь какие-нибудь публикации читал на эти темы?
Пока тупак говорит, что можно попробовать рассмотреть мир как явный аргумент, и построить функциональный алгоритм, затем "линеаризировать" его, но не факт, что получится.
[13:00:59] <ʇsʎɯ> Genetic Programming
[13:01:10] <ʇsʎɯ> но это неформальный
[13:16:42] <gds> ага, это не то, что нужно.
[13:33:00] iNode вошёл(а) в комнату
[15:07:28] Kakadu вошёл(а) в комнату
[15:10:53] <Kakadu> gds: На сколько я понял в универе, то нет. Сейчас большие проблемы с доказательством корректности готовых алгоритмов с инвариантами, пост- и предусловиями по Хоару.
[16:14:37] Kakadu вышел(а) из комнаты
[16:31:12] <gds> нарисовал таки алгоритм (представил for-цикл по значениям как fold, оттуда сразу стало ясно, каким условиям должны удовлетворять начальное состояние, тело цикла и конечное состояние; накодил, проверил).
В результате имеем objsize-0.16: https://forge.ocamlcore.org/frs/?group_id=37
[16:37:59] <f[x]> багу нашёл?
[16:50:25] <gds> ога.  Точнее, нашёл тест-кейс на основании логов, отправленных мне serp256, и понял, почему оно может в теории возникать, и очевидными твиками алгоритм поправить не смог без его замедления (двойное обращение к page tables, или как там их, для определения того, в хипе ли значение).  И переписал нафиг рекурсивный обход.  Там же он хитрый, goto используется для экономии стека, всё такое.
[17:06:29] Kakadu вошёл(а) в комнату
[17:20:53] iNode вышел(а) из комнаты
[17:32:08] gds вышел(а) из комнаты
[17:38:32] Kakadu вышел(а) из комнаты
[18:08:26] iNode вошёл(а) в комнату
[18:28:06] SV0L0CH вошёл(а) в комнату
[19:02:59] Kakadu вошёл(а) в комнату
[20:28:23] <Kakadu> http://fprog.ru/2010/issue4/roman-dushkin-existentials/
тут написано как хранить большие типы данных без алгебраических типов, а используя, кажется, "конструкторы типов" на хаскеле. Что камло может предложить по этому поводу?
[20:28:23] ʇsʎɯ вышел(а) из комнаты
[20:33:05] <SV0L0CH> кстате, хотел выясниеть насчёт полиморфизма и перегрузки
[20:33:27] <SV0L0CH> есть чтонибудь наподобие хаскелевских классов?
[21:29:37] ygrek вошёл(а) в комнату
[21:32:16] <ygrek> перегрузки нету, тайпклассы явные можно соорудить вроде
[21:38:27] <SV0L0CH> а смысл в тайпклассах если нет перегрузки?
[21:42:10] <ygrek> а смысл в перегрузке?
[21:42:49] <SV0L0CH> удобство
[21:43:16] <SV0L0CH> как же без полиморфизма то...
[21:44:24] <sceptic> Легко!
[21:51:27] <ermine> перегрузки нет там где приходится писать +. вместо +
[22:02:18] sceptic вышел(а) из комнаты
[22:02:27] sceptic вошёл(а) в комнату
[22:07:08] Kakadu вышел(а) из комнаты
[22:14:47] digital_curse вошёл(а) в комнату
[23:05:24] Kakadu вошёл(а) в комнату
[23:12:59] <ygrek> > [Caml-list] GC hangs application
> At first, I thought [...]
офигеть - thought - а бэктрейс в отладчике посмотреть не осилил
[23:15:46] <ermine> в байткоде - не посмотришь
[23:16:06] <ermine> или я не осилила :)
[23:18:45] <ygrek> ну если виноваты сишные биндинги то посмотришь, а камлокода конечно нет - только caml_interprete
[23:18:57] <ygrek> для байткода ocamldebug есть
[23:20:55] <ermine> а оно в корку смотрит?
[23:22:00] <ygrek> нет
[23:22:06] <ygrek> в корку gdb
[23:22:29] <ermine> вот там в gdb нихрена не видно
[23:22:46] <ermine> в нативе еще можно догадаться где грабля
[23:23:33] <ygrek> ну если падает то вряд ли "чистый" камль код, наверняка сишка виновата
[23:24:18] <ermine> просто если падает из-за gc, то в байткоде нифига не видно
[23:33:56] <ygrek> угу
[23:40:30] ermine пытается освоить MozRepl и отладку яваскрипта через него