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]
<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