OCaml (aka Objective Caml), а также прочие ML'и, F#, Coq, etc

ocaml@conference.jabber.ru

Суббота, 23 ноября 2013< ^ >

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

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

GMT+4
[02:07:45] white_master вошёл(а) в комнату
[02:09:06] <white_master> да, окамл не для быдла
[02:09:17] <white_master> как никак теорию типов данных знать надо
[02:10:38] <komar> Окамл для быдла.
[02:10:48] <komar> Для небыдла другие языки.
[02:11:12] <white_master> кому как
[02:11:53] <white_master> а мне чтобы писать нормально на окамле, это минимум теорию категорий надо почитать
[02:13:53] <ftrvxmtrx> шокирующие новости на ocaml@
[02:15:18] <komar> white_master: ты что-то делаешь неправильно.
[02:15:28] <white_master> komar, мб
[02:15:47] <komar> Теория категорий нужна для того, что пизд^Wбыть программистом на х-ле.
[02:19:30] <white_master> да она везде нужна, где вывод и преобразование типов данных есть
[02:28:20] <white_master> дюже мудреная вещъ
[02:30:26] <komar> По теории типов данных у нас в чяте котируется только одна вещь: http://tinyurl.com/3qp8h3r
[02:30:49] white_master вышел(а) из комнаты: offline
[02:39:59] strobegen вышел(а) из комнаты
[06:07:20] tilarids вышел(а) из комнаты: Machine going to sleep
[06:37:45] strobegen вошёл(а) в комнату
[07:02:07] komar вышел(а) из комнаты
[07:15:52] tilarids вошёл(а) в комнату
[07:38:16] f[x] вошёл(а) в комнату
[08:14:40] f[x] вышел(а) из комнаты
[08:43:13] strobegen вышел(а) из комнаты
[09:02:57] bobry вошёл(а) в комнату
[09:14:46] bobry вышел(а) из комнаты
[10:16:40] tilarids вышел(а) из комнаты: Machine going to sleep
[10:20:42] ermine вошёл(а) в комнату
[10:46:50] ForNeVeR вышел(а) из комнаты: Unhandled exception at 0x00000000.
[11:20:23] Kakadu вошёл(а) в комнату
[11:44:03] bobry вошёл(а) в комнату
[11:46:02] bobry вышел(а) из комнаты
[12:35:02] bobry вошёл(а) в комнату
[13:17:35] bobry вышел(а) из комнаты
[13:44:12] komar вошёл(а) в комнату
[13:45:16] bobry вошёл(а) в комнату
[14:06:56] bobry вышел(а) из комнаты
[14:48:03] f[x] вошёл(а) в комнату
[15:39:27] strobegen вошёл(а) в комнату
[15:41:20] strobegen вышел(а) из комнаты: Replaced by new connection
[15:41:21] strobegen вошёл(а) в комнату
[16:02:02] Typhon вошёл(а) в комнату
[16:12:35] Kakadu вышел(а) из комнаты
[16:31:08] Kakadu вошёл(а) в комнату
[16:44:21] <f[x]> coq переполз на git, может и камло сподобится?
[16:48:49] Kakadu вышел(а) из комнаты
[17:09:37] Zbroyar вошёл(а) в комнату
[17:13:10] <Zbroyar> Всем привет.
[17:13:15] <Zbroyar> Нужно немного помощи.
[17:13:51] <Zbroyar> ocaml + c++
[17:14:22] <Zbroyar> Если конкретно, то подкладываю tesseract под ocaml
[17:14:30] <f[x]> убрать c++!
[17:14:53] <Zbroyar> Не могу, tesseract api  с++ only
[17:15:09] <f[x]> рекомендую cxx_wrapped.h кстати
[17:15:24] <f[x]> сам использую, брат жив
[17:15:28] <Zbroyar> Причем пока линкую только -lstdc++ - все в поряде
[17:15:45] <Zbroyar> Как только в -cclib добавляется -ltesseract
[17:15:49] <Zbroyar> получаю в лоб:
[17:16:08] <Zbroyar> Undefined symbols for architecture x86_64:
  "_caml_atom_table", referenced from:
      _caml_alloc in libasmrun.a(alloc.o)
      _caml_alloc_array in libasmrun.a(alloc.o)
      _caml_alloc_dummy in libasmrun.a(alloc.o)
      _caml_alloc_dummy_float in libasmrun.a(alloc.o)
      _caml_make_vect in libasmrun.a(array.o)
      _caml_array_gather in libasmrun.a(array.o)
      _caml_obj_block in libasmrun.a(obj.o)
      ...
  "_caml_code_area_end", referenced from:
      _segv_handler in libasmrun.a(signals_asm.o)
  "_caml_code_area_start", referenced from:
      _segv_handler in libasmrun.a(signals_asm.o)
ld: symbol(s) not found for architecture x86_64
[17:16:54] <f[x]> а код есть пощупать?
[17:17:26] <Zbroyar> https://gist.github.com/zbroyar/7614494
[17:17:39] <f[x]> прочерк перед именем странный
[17:18:21] <f[x]> инклуды инклудишь внутри extern "C" ?
[17:18:24] <Zbroyar> Маппер - примитивный:
external ocr : string -> string = "ocr"
let _ = printf "%s\n%!" (ocr "file name")
[17:18:48] <Zbroyar> Да, конечно.
[17:19:01] <Zbroyar> Все интерфейсное - внутри extern "C"
[17:19:51] <f[x]> бильд комманда?
[17:20:15] Typhon вышел(а) из комнаты
[17:22:08] <Zbroyar> Сек
[17:22:53] <Zbroyar> c++ -c -pipe -I/usr/local/include -I"`ocamlc -where`" -O0 -g -ffast-math ocr.cc
ocamlfind ocamlopt -package "lacaml,atdgen,yojson,biniou,pcre,curl,unix,netstring,uuidm" -cclib "-L/usr/local/Cellar/tesseract/3.02.02/lib -ltesseract -llept -lstdc++" -o mapper mapper.cmx ocr.o -linkpkg
[17:26:00] <f[x]> у меня усё работает %)
[17:26:06] <f[x]> зачем c++??
[17:26:30] <f[x]> во-вторых делай проверенным методом
[17:26:34] <f[x]> биндинги отдельно либлой
[17:26:53] <f[x]> ocamlmklib -cclib -llept -cclib -lstdc++ -cclib -ltesseract ocr.cmx ocr_.o -o ocr
[17:27:04] <f[x]> а потом линкуй их в проект
[17:27:49] <f[x]> ocamlopt -c -ccopt -xc++ -ccopt -fPIC ocr_c.c
[17:28:38] <f[x]> по идее оно конечно симметрично, но лучше не увеличивать поле для багов
[19:20:27] tilarids вошёл(а) в комнату
[19:27:15] tilarids вышел(а) из комнаты: Machine going to sleep
[19:47:47] Zbroyar вышел(а) из комнаты
[20:09:36] Typhon вошёл(а) в комнату
[20:10:16] klapaucius вышел(а) из комнаты
[20:27:27] ForNeVeR вошёл(а) в комнату
[21:38:00] f[x] вышел(а) из комнаты
[22:50:21] Kakadu вошёл(а) в комнату
[23:01:30] Typhon вышел(а) из комнаты
[23:08:11] Kakadu вышел(а) из комнаты
[23:21:27] ermine вышел(а) из комнаты