gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.1 http://bit.ly/nNVIVH
mdelaney has quit [Ping timeout: 240 seconds]
mdelaney has joined #ocaml
Drakken has left #ocaml []
<thelema> http://batteries.forge.ocamlcore.org/batteries-metric.html <- code complexity metrics on batteries
Drup has quit [Quit: Leaving.]
drdo has joined #ocaml
mbac has quit [Read error: Connection reset by peer]
mdelaney has quit [Ping timeout: 240 seconds]
mdelaney has joined #ocaml
fantasticsid has joined #ocaml
mdelaney has quit [Quit: mdelaney]
sebz has joined #ocaml
sebz has quit [Quit: Computer has gone to sleep.]
philtor has quit [Ping timeout: 252 seconds]
Kakadu has joined #ocaml
sebz_ has joined #ocaml
sebz_ has quit [Client Quit]
sebz has joined #ocaml
biotchplz has joined #ocaml
emmanuelux has quit [Ping timeout: 240 seconds]
sebz has quit [Quit: Computer has gone to sleep.]
biotchplz has quit [Quit: Leaving]
sebz has joined #ocaml
biotchplz has joined #ocaml
biotchplz has quit [Client Quit]
biotchplz has joined #ocaml
rby has quit [Ping timeout: 240 seconds]
sebz has quit [Quit: Computer has gone to sleep.]
sepp2k has joined #ocaml
Snark has joined #ocaml
tnguyen12 has joined #ocaml
tnguyen12 has quit [Remote host closed the connection]
tnguyen12 has joined #ocaml
milosn_ has quit [Read error: Operation timed out]
milosn has joined #ocaml
milosn has quit [Read error: Connection reset by peer]
milosn has joined #ocaml
edwin has joined #ocaml
milosn has quit [Ping timeout: 244 seconds]
milosn has joined #ocaml
biotchplz has quit [Quit: Leaving]
ttamttam has joined #ocaml
milosn_ has joined #ocaml
milosn has quit [Ping timeout: 255 seconds]
milosn_ has quit [Ping timeout: 252 seconds]
milosn has joined #ocaml
letrec has quit [Remote host closed the connection]
letrec has joined #ocaml
mcclurmc has quit [Read error: Connection reset by peer]
mcclurmc has joined #ocaml
mcclurmc_ has joined #ocaml
mcclurmc_ has quit [Read error: Connection reset by peer]
mcclurmc_ has joined #ocaml
mcclurmc_ has quit [Excess Flood]
mcclurmc has quit [Ping timeout: 260 seconds]
mcclurmc has joined #ocaml
ipoulet has joined #ocaml
ulfdoz has quit [Ping timeout: 255 seconds]
ulfdoz has joined #ocaml
fantasticsid has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
Cyanure has joined #ocaml
ikaros has joined #ocaml
zorun has quit [Read error: Connection reset by peer]
zorun has joined #ocaml
milosn_ has joined #ocaml
milosn has quit [Ping timeout: 276 seconds]
milosn has joined #ocaml
milosn_ has quit [Ping timeout: 268 seconds]
olasd has joined #ocaml
milosn has quit [Ping timeout: 240 seconds]
milosn has joined #ocaml
fantasticsid has joined #ocaml
milosn has quit [Ping timeout: 252 seconds]
milosn has joined #ocaml
milosn_ has joined #ocaml
milosn has quit [Ping timeout: 260 seconds]
milosn has joined #ocaml
milosn_ has quit [Ping timeout: 248 seconds]
milosn has quit [Ping timeout: 245 seconds]
hcarty has quit [Remote host closed the connection]
iago has joined #ocaml
milosn has joined #ocaml
kmc has quit [Quit: Leaving]
milosn has quit [Ping timeout: 244 seconds]
milosn has joined #ocaml
avsm1 has quit [Quit: Leaving.]
kmc has joined #ocaml
probst has joined #ocaml
milosn has quit [Ping timeout: 240 seconds]
milosn has joined #ocaml
milosn_ has joined #ocaml
milosn has quit [Ping timeout: 252 seconds]
buriedhead has joined #ocaml
ulfdoz has quit [Quit: kernel-upgrade]
fantasticsid has quit [Ping timeout: 252 seconds]
ulfdoz has joined #ocaml
brooksbp has joined #ocaml
buriedhead has quit [Ping timeout: 252 seconds]
jamii has joined #ocaml
buriedhead has joined #ocaml
buriedhead has quit [Ping timeout: 240 seconds]
buriedhead has joined #ocaml
biotchplz has joined #ocaml
avsm has joined #ocaml
buriedhead has quit [Ping timeout: 248 seconds]
raichoo has joined #ocaml
buriedhead has joined #ocaml
<thelema> :( Archimedes has no ~base for Array.xy
drdo has left #ocaml []
avsm has quit [Quit: Leaving.]
ttamttam has left #ocaml []
buriedhead has quit [Ping timeout: 268 seconds]
buriedhead has joined #ocaml
brooksbp has quit [Quit: Leaving]
buriedhead has quit [Ping timeout: 252 seconds]
Drup has joined #ocaml
buriedhead has joined #ocaml
buriedhead has quit [Quit: Leaving.]
letrec has quit [Ping timeout: 252 seconds]
Drakken has joined #ocaml
BiDOrD has joined #ocaml
emmanuelux has joined #ocaml
BiDOrD_ has quit [Ping timeout: 248 seconds]
tnguyen12 has quit [Remote host closed the connection]
<flux> hm, I didn't even know OCaml Metrics existed
<thelema> flux: yup, I was intrigued by a reference I found to it, and was pleased that it compiled.
lamawithonel has quit [Ping timeout: 240 seconds]
biotchplz has quit [Ping timeout: 240 seconds]
ttamttam has joined #ocaml
sebz has joined #ocaml
tnguyen12 has joined #ocaml
sebz has quit [Quit: Computer has gone to sleep.]
rwmjones has joined #ocaml
tomprince has quit [Ping timeout: 244 seconds]
<bobry> is there a list of projects using type-conv available anywhere?
tomprince has joined #ocaml
jamii has quit [Ping timeout: 248 seconds]
ttamttam has left #ocaml []
jamii has joined #ocaml
ChristianS has quit [Quit: Terminated with extreme prejudice - dircproxy 1.0.5]
milosn_ has quit [Read error: Connection reset by peer]
milosn has joined #ocaml
milosn has quit [Read error: Connection reset by peer]
milosn has joined #ocaml
philtor has joined #ocaml
mnabil has quit [Remote host closed the connection]
oriba has joined #ocaml
Schadenfreude has joined #ocaml
<sgnb> bobry: on Debian, "build-rdeps libtype-conv-camlp4-dev"
<sgnb> it returns: obus, janest-core, fieldslib, bin-prot, xen-api, xen-api-libs, ocaml-deriving-ocsigen, sexplib310, ocaml-data-notation
Kakadu has quit [Quit: Konversation terminated!]
Cyanure has quit [Read error: Operation timed out]
raichoo has quit [Quit: leaving]
<thelema> bobry: also, since odn is a dependency of oasis, count oasis on that list
Snark has quit [Quit: Quitte]
<bobry> thanks! i'll check them out -- also, didn't know xapi uses it
<bobry> one more question -- is there a way to recover an abstract type from a module?
<bobry> i'm using Map.Make(), which (strangely enough) defines `key` as abstract type
<bobry> how can i make it concerete? or is it possible, even
<thelema> Map.Make has no type for 'key' Map.Make(Foo) uses Foo.t as key
<thelema> if you know Foo.t, you know the type for key
<thelema> it looks abstract in the interface, but the result is actually extended with key=Ord.t
<thelema> module Make:
<thelema> functor (Ord : OrderedType) -> S with type key = Ord.t
<bobry> oh! my bad, i thought i can't just pass a module to the functor and used first-class modules syntax, which gave a different result
<bobry> why is it so? http://paste.in.ua/3677/
twittard has joined #ocaml
<twittard> So OCaml has a GIL?
<twittard> I read that on a blog and wanted to find out more about it
<twittard> Anyone have some RTFM's / "yes/no"'s for me, maybe?
<thelema> bobry: interesting... got me.
<thelema> twittard: yes, there's a global interpreter lock, I don't think there's much documentation for it - the source is well written, so may be readable enough for you
<bobry> twittard: GIL sounds like a natural solution for an interpreted language
<twittard> Doesn't OCaml compile into native code, also?
<thelema> twittard: yes, byte and native
<twittard> I imagine the native code also has a GIL? Sorry for the pedantic questioning.
<twittard> I like the OCaml language. The lack of parallelism is disheartening, though :(
<thelema> well, maybe GIL isn't the right term - the GC is non-concurrent, so all threads must stop when it runs a major collection
<_habnabit> there's always Unix.fork and MPI
<twittard> ahh
<thelema> there's some good libraries that allow one a shared memory segment between multiple processes
<twittard> Hmm, ok. Thank you :). I'll keep trucking along with OCaml.
<_habnabit> oh hey there's even MPI bindings for ocaml
<thelema> yes, those have been around forever
<thelema> written by Xavier Leroy, iirc
<thelema> does anyone know how to put text (labels) onto archimedes plots?
<thelema> aha, Viewport.text
tnguyen12 has quit [Ping timeout: 240 seconds]
edwin has quit [Remote host closed the connection]
ikaros has quit [Quit: Ex-Chat]
probst has quit [Quit: probst]
sepp2k has quit [Quit: Leaving.]
<bobry> how should i compare two maps? simply m1 = m2?
<thelema> no
<bobry> why? it seems to work on simple examples
<thelema> Map.compare
<thelema> Map uses balanced binary trees to store the keys and values
<thelema> these trees can be constructed differently for the same set of keys and values
<thelema> So sometimes, (=) will return false, when the maps are actually equal
<bobry> randomized binary trees?
<thelema> not randomized - if the order of insertion is the same, the trees will be the same
<bobry> ah, right
<thelema> but if the order of insertion is different, the tree structure can be different
<bobry> yup, thank you once again :)
twittard has quit [Quit: twittard]
Morphous_ has quit [Ping timeout: 240 seconds]
<Drakken> thelema what are you doing with archimedes text?
<Drakken> is it on the bench plot?
<thelema> yes
<thelema> I think it's pushed to github
<thelema> Here's an example of what I'm outputting:
<thelema> I still need to improve both axis tics
Morphous_ has joined #ocaml
letrec has joined #ocaml
<thelema> Drakken: ping?
lusory has quit [Remote host closed the connection]
jamii has quit [Ping timeout: 255 seconds]
oriba has quit [Quit: oriba]
<Drakken> thelema those colors look good. I didn't know they would add like that. I thought the later ones would mask earlier ones.
<Drakken> I've been working on a color key. I'm waiting for the archimedes ppl to answer a support request about computing the dimensions of a label.
<Drakken> I've also been having trouble installing Batteries on my OS.
wmeyer has joined #ocaml
<wmeyer> hello
<wmeyer> anybody alive?
<Drakken> yep
<wmeyer> hi
<NaCl> Just Drakken and us crickets
<wmeyer> :)
<wmeyer> I was just about start fiddling around with OCaml
<wmeyer> despite I need to get up tomorrow
<wmeyer> (fiddling again today)
philtor has quit [Ping timeout: 252 seconds]
<NaCl> glhf
letrec has quit [Ping timeout: 252 seconds]
bobzhang1988 has joined #ocaml
<thelema> Drakken: reading about batteries
<Drakken> thelema output is at 18:05:01: http://pastebin.com/GpEm9FXU
iago has quit [Quit: Leaving]
<thelema> this isn't related to batteries
<thelema> batteries doesn't care about tcl|tk
<thelema> It looks like godi is trying to install conf-tk, which is a virtual package that just checks whether tcl/tk is installed. I guess it's possible that ekstrand messed up making the godiva file, but I'd double check user error first (or get rid of godi and use odb)
<thelema> (odb with ocamlbrew)
Drup has quit [Quit: Leaving.]
<Drakken> thelema nevermind, it's installed. I deselected all the selected packages and re-selected batteries. It worked fine.
<Drakken> thelema godi seems to be the best way to get ocamlnet and (maybe) yojson.
<Drakken> I have no idea why conf-tk was selected (if it was; i didn't check).
ulfdoz_ has joined #ocaml
ulfdoz has quit [Ping timeout: 260 seconds]
ulfdoz_ is now known as ulfdoz
<Drakken> thelema would you like a separate color key for benchplot, or are you happy with your end labels?