mfp changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.11.2 released | Inscription for OCaml Meeting 2010 is opened http://wiki.cocan.org/events/europe/ocamlmeetingparis2010
yakischloba has joined #ocaml
yakischloba has quit [Ping timeout: 265 seconds]
xcthulhu has joined #ocaml
xcthulhu has quit [Ping timeout: 265 seconds]
joewilliams is now known as joewilliams_away
joewilliams_away is now known as joewilliams
jeddhaberstro has joined #ocaml
avsm has joined #ocaml
jeddhaberstro has quit [Quit: jeddhaberstro]
travisbrady has quit [Quit: travisbrady]
enthymene has joined #ocaml
dark has joined #ocaml
joewilliams is now known as joewilliams_away
philtor has joined #ocaml
philtor has quit [Ping timeout: 265 seconds]
avsm1 has joined #ocaml
avsm has quit [Ping timeout: 265 seconds]
sepp2k has quit [Quit: Leaving.]
enthymene has quit [Quit: rcirc on GNU Emacs 23.1.1]
enthymene has joined #ocaml
drk-sd has quit [Quit: {'EXIT', Drk-Sd, "bye"}]
Drk-Sd has joined #ocaml
bzzbzz has joined #ocaml
yakischloba has joined #ocaml
bzzbzz has quit [Quit: leaving]
yakischloba has quit [Quit: Leaving.]
travisbrady has joined #ocaml
quelqun_dautre has quit [Ping timeout: 245 seconds]
Alpounet has quit [Quit: ``Do what you think you can't do.'']
Alpounet has joined #ocaml
bmp has quit [Quit: bmp]
bmp has joined #ocaml
sfuentes has quit [Ping timeout: 260 seconds]
avsm1 has quit [Quit: Leaving.]
Alpounet has quit [Quit: WeeChat 0.3.1.1]
Alpounet has joined #ocaml
dark has quit [Ping timeout: 248 seconds]
dark has joined #ocaml
travisbrady has quit [Quit: travisbrady]
sfuentes has joined #ocaml
enthymene has quit [Quit: rcirc on GNU Emacs 23.1.1]
Submarine has joined #ocaml
oc13 has joined #ocaml
jamamooga has joined #ocaml
jamamooga has left #ocaml []
ygrek has joined #ocaml
rothwell has joined #ocaml
enthymene has joined #ocaml
avsm has joined #ocaml
<rothwell> 'lo. i'm considering migrating to ocaml but can't get a clear picture on the state of concurrency support and/or tool support for formal verification of ocaml code
<rothwell> i've had a very brief look at jocaml, but it looks a bit immature at this stage
<rothwell> i can also see plenty of formal verification tools for other languages that are written in ocaml, but can't seem to find any that actually attempt to verify ocaml code
<mrvn> rothwell: The official ocaml can only run one ocaml thread at a time. There are some patches for true multi core support but that is all experimental.
<rothwell> mrvn: hm, ok
<rothwell> that's what i suspected
<mrvn> For many cases you can run multiple ocamls and use mmap to create some shared memory or simply coonect themvia a socket though.
<mrvn> Only works well if you need little communications between the computing threads though.
<mrvn> On the plus side you can run the same code on multiple systems as well as multiple local cores.
<mrvn> (with sockets)
<rothwell> yeah, it's an option
<rothwell> the test program would be a small networked game server
<rothwell> overhead might be too high for that
<rothwell> lots of reading and writing of shared state
xcthulhu has joined #ocaml
<mrvn> Unless you can split the game area in seperate regions with little communication between regions you might run into problems with concurrency anyway. Locking might cost you more than you gain from more cores.
<mrvn> Any AIs you need to run?
<rothwell> hundreds :)
<mrvn> Then run them as seperate processes. One process for the server and then one AI process on every remaining core.
ulfdoz has joined #ocaml
avsm has quit [Quit: Leaving.]
ttamttam has joined #ocaml
avsm has joined #ocaml
dark has quit [Remote host closed the connection]
pimmhogeling has joined #ocaml
Alpounet has quit [Quit: ``Do what you think you can't do.'']
Alpounet has joined #ocaml
enthymene has quit [Quit: rcirc on GNU Emacs 23.1.1]
bluestorm has joined #ocaml
bluestorm has quit [Read error: Connection reset by peer]
xcthulhu has quit [Ping timeout: 265 seconds]
xcthulhu has joined #ocaml
avsm has quit [Quit: Leaving.]
ttamttam has quit [Quit: Leaving.]
mutewit has quit [Ping timeout: 248 seconds]
Submarine has quit [Ping timeout: 256 seconds]
bmp has quit [Quit: bmp]
Submarine has joined #ocaml
xcthulhu has quit [Ping timeout: 252 seconds]
ttamttam has joined #ocaml
avsm has joined #ocaml
ttamttam has quit [Quit: Leaving.]
avsm has quit [Client Quit]
rothwell has left #ocaml []
sepp2k has joined #ocaml
_unK has joined #ocaml
Associat0r has joined #ocaml
boscop_ has joined #ocaml
boscop has quit [Ping timeout: 264 seconds]
Yoric has joined #ocaml
ofaurax has joined #ocaml
kaustuv has joined #ocaml
Yoric has quit [Quit: Yoric]
tmaedaZ has quit [Quit: Quit Nadoka 0.7.1-trunk (rev: 187) - http://www.atdot.net/nadoka/]
tmaedaZ has joined #ocaml
mutewit has joined #ocaml
Associat0r has quit [Quit: Associat0r]
matthieu_ has joined #ocaml
maattd has quit [Ping timeout: 264 seconds]
quelqun_dautre has joined #ocaml
<quelqun_dautre> hi
{newbie} has joined #ocaml
{newbie} has quit [Client Quit]
albacker has joined #ocaml
Alpounet has quit [Ping timeout: 265 seconds]
maskd has joined #ocaml
Drk-Sd has quit [Quit: j're]
ygrek has quit [Ping timeout: 245 seconds]
avsm has joined #ocaml
Drk-Sd has joined #ocaml
ulfdoz_ has joined #ocaml
ygrek has joined #ocaml
albacker has quit [Quit: Leaving]
ulfdoz has quit [Ping timeout: 265 seconds]
xcthulhu has joined #ocaml
ulfdoz_ has quit [Quit: Reconnecting]
ulfdoz has joined #ocaml
Drk-Sd is now known as drk-sd
travisbrady has joined #ocaml
pimmhogeling has quit [Ping timeout: 246 seconds]
enthymene has joined #ocaml
hcarty has joined #ocaml
Yoric has joined #ocaml
smimou has quit [Ping timeout: 246 seconds]
smimou has joined #ocaml
derdon has joined #ocaml
<derdon> rwmjones: ping
pimmhogeling has joined #ocaml
brooksbp has joined #ocaml
brooksbp has quit [Quit: Leaving...]
brooksbp has joined #ocaml
kaustuv has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
albacker has joined #ocaml
mooglenorph has joined #ocaml
<mooglenorph> Hello? Is there a "standard and good" book for learning Ocaml, preferebly something with a bunch of examples?
<mooglenorph> Or should I just read the official docs?
<brooksbp> Check this out...
<mooglenorph> Perfect, thanks. I know functional programming, and I've been led to believe that ocaml can be a high-performance solution for fp.
<mooglenorph> Is there a central repository of libraries that I can study?
<hcarty> mooglenorph: forge.ocamlcore.org hosts a large number of OCaml libraries
<hcarty> mooglenorph: The Caml Hump has a fairly large list as well - http://caml.inria.fr//cgi-bin/hump.en.cgi
<hcarty> mooglenorph: SF.net and Google Code both also have several projects hosted
<mooglenorph> Nice. I like to learn by reading code (after enough tutorials)
<hcarty> mooglenorph: The Cal Tech book from Jason Hickey is also an excellent learning tool and reference - http://www.cs.caltech.edu/courses/cs134/cs134b/book.pdf
<hcarty> Or, rather, the Jason Hickey (Cal Tech) book
<mooglenorph> This book does indeed look really good. I think I'll start here.
<xcthulhu> mooglenorph, just out of random curiosity, are you a logician?
<mooglenorph> xcthulhu: Heh. I'm trying to become one, why?
<xcthulhu> (if so, I'd recommend Harrison's book "The Handbook of Practical and Automated Reasoning")
pimmhogeling has quit [Ping timeout: 265 seconds]
<mooglenorph> More specifically, I'm an undergrad studying finite model theory, which is relevent to computational complexity theory.
yakischloba has joined #ocaml
<mooglenorph> And I want a high-performance FP language for numeric code. Thus, learning ocaml.
krankkatze` has quit [Quit: Caught sigterm, terminating...]
<eldragon> mooglenorph, for numeric code, SML is better than OCaml
<hcarty> eldragon: Really? I had heard the opposite
<eldragon> due to the misalignment of the float and doubles in ocaml's memory
<hcarty> At least for (double precision) floating point
avsm1 has joined #ocaml
travisbrady has quit [Quit: travisbrady]
avsm has quit [Ping timeout: 260 seconds]
ttamttam has joined #ocaml
Yoric has quit [Quit: Yoric]
Modius has joined #ocaml
Modius has quit [Max SendQ exceeded]
Modius has joined #ocaml
matthieu has joined #ocaml
matthieu_ has quit [Ping timeout: 258 seconds]
Alpounet has joined #ocaml
thrasibule has joined #ocaml
brooksbp has left #ocaml []
avsm1 has quit [Quit: Leaving.]
thrasibule has quit [Remote host closed the connection]
xcthulhu has quit [Ping timeout: 265 seconds]
CcSsNET has quit [Read error: Connection reset by peer]
CcSsNET has joined #ocaml
thrasibule has joined #ocaml
ttamttam has quit [Quit: Leaving.]
CcSsNET has quit [Quit: User disconnected]
CcSsNET has joined #ocaml
inkbottle has joined #ocaml
CcSsNET has quit [Quit: User disconnected]
gareth_000 has joined #ocaml
<gareth_000> test
<gareth_000> hello, i am attempting to use ocamlbuild to build a camlp4 extension and use the extension on a test file
<gareth_000> the extension .cmo seems to build ok, but when the extension is used to preprocess the test file, camlp4 complains about references to other modules that are used by the extension not being found
<gareth_000> the _tags file and the ocamlbuild invocation are here: http://pastebin.com/N9vGzTSj
<gareth_000> can anybody please help me?
<Camarade_Tux> and what is the error message?
<gareth_000> Camarade_Tux, this now includes the error message: http://pastebin.com/wf8rrWy3
<Camarade_Tux> hmm, I don't know, hope someone will
<gareth_000> ok, so i got it to compile - i manually put all my modules and all required libraries in the path of camlp4of
inkbottle has quit [Quit: Leaving]
<gareth_000> but there must be a way to do that automatically?
<gareth_000> ...the second exact same invocation failed!
dark has joined #ocaml
xcthulhu has joined #ocaml
inkbottle has joined #ocaml
oc13 has quit [Ping timeout: 246 seconds]
Submarine has quit [Quit: Leaving]
inkbottle has quit [Ping timeout: 260 seconds]
robocop has joined #ocaml
<gareth_000> what is a cma file?
<Camarade_Tux> it's a caml library
<Camarade_Tux> like .a files in C
<gareth_000> (i dont know c)
<gareth_000> what does it contain?
<gareth_000> multiple modules?
<gareth_000> is it directly executable?
<Camarade_Tux> well, collection of object files (.cmo) which in turn contain functions
<Camarade_Tux> bytecode btw
<Camarade_Tux> no, not directly executable
<gareth_000> ok, thanks
gareth_0 has joined #ocaml
gareth_000 has quit [Ping timeout: 260 seconds]
gareth_0 has quit [Ping timeout: 264 seconds]
robocop has quit [Remote host closed the connection]
ygrek has quit [Ping timeout: 245 seconds]
xcthulhu has quit [Ping timeout: 265 seconds]
enthymene has quit [Quit: brb]
albacker has quit [Ping timeout: 252 seconds]
Amorphous has quit [Ping timeout: 265 seconds]
marteo has joined #ocaml
Modius has quit [Quit: I'm big in Japan]
Amorphous has joined #ocaml
marteo has quit [Quit: Debian GNU/Hurd is Good.]