dylan changed the topic of #ocaml to: OCaml 3.09.1 available! Archive of Caml Weekly News: http://sardes.inrialpes.fr/~aschmitt/cwn/ | A free book: http://cristal.inria.fr/~remy/cours/appsem/ | Mailing List: http://caml.inria.fr/bin/wilma/caml-list/ | Cookbook: http://pleac.sourceforge.net/
cookoo has left #ocaml []
Schmurtz has quit ["Plouf !"]
Bigbang is now known as Bigb[a]ng
dylan has quit [Read error: 104 (Connection reset by peer)]
dylan has joined #ocaml
sabetts has left #ocaml []
Smerdyakov has joined #ocaml
Smerdyakov has quit [Remote closed the connection]
Smerdyakov has joined #ocaml
m3ga has joined #ocaml
rillig has quit ["exit(EXIT_SUCCESS)"]
pango is now known as pangoafk
pangoafk is now known as pango
gim has quit []
dark_light has joined #ocaml
mrsolo has quit [Read error: 104 (Connection reset by peer)]
Smerdyakov has quit ["Leaving"]
mikeX has quit ["zzz"]
m3ga has quit ["disappearing into the sunset"]
kryptt has joined #ocaml
bronaugh has joined #ocaml
<bronaugh> how do you compare two strings for equality? ==?
<fluxx> =
<bronaugh> oh. duh.
<fluxx> == is for physical equality
<bronaugh> == checks ref.
ski has quit [Read error: 110 (Connection timed out)]
ski has joined #ocaml
pango is now known as pangoafk
mrsolo_ has quit [Read error: 104 (Connection reset by peer)]
mrsolo_ has joined #ocaml
pangoafk is now known as pango
dark_light has quit [Remote closed the connection]
_JusSx_ has joined #ocaml
Bigb[a]ng is now known as Bigbang
bronaugh has left #ocaml []
Revision17 has quit [Read error: 110 (Connection timed out)]
kryptt has left #ocaml []
jo_l_apache has joined #ocaml
jo_l_apache has quit [Client Quit]
pango is now known as pangoafk
pangoafk is now known as pango
vodka-goo has joined #ocaml
Anarchos has joined #ocaml
jo_l_apache has joined #ocaml
pango is now known as pangoafk
pangoafk is now known as pango
Smerdyakov has joined #ocaml
_JusSx_ has quit ["leaving"]
Smerdyakov has quit ["Leaving"]
jo_l_apache has quit [".ei mi cliva .i co'o"]
Schmurtz has joined #ocaml
Anarchos has quit ["Vision[0.8.5-0418]: i've been blurred!"]
sieni_ has joined #ocaml
sieni has quit [Read error: 104 (Connection reset by peer)]
kryptt has joined #ocaml
mikeX has joined #ocaml
Mussorgsky has joined #ocaml
<Mussorgsky> quick question: are ocaml threads able to run in multiple processors?
<pango> there's a big lock around memory manager, so basically, no
<Mussorgsky> that's what I feared then... thanks
<Mussorgsky> that's a good read
jo_l_apache has joined #ocaml
<fluxx> the bits that interest me are: Shared-memory multiprocessors havenever really "taken off", at least in the general public. [as an argument for why to not do it]
<fluxx> which might chance in next four years or so
<fluxx> although, "In summary: there is no SMP support in OCaml, and it is very veryunlikely that there will ever be. If you're into parallelism, betterinvestigate message-passing interfaces."
<Mussorgsky> now, I don't know much about pentium 4 HT, but would caml threads take advantage of it?
<fluxx> no
<fluxx> at present
<fluxx> "What about hyperthreading? Well, I believe it's the last convulsive movement of SMP's corpse :-) We'll see how it goes market-wise. At any rate, the speedups announced for hyperthreading in the Pentium 4 are below a factor of 1.5; probably not enough to offset the overhead of making the OCaml runtime system thread-safe."
<fluxx> but, that analysis of what ht is might be wrong
<Mussorgsky> if multicore processors get common, this would be a problem
<fluxx> I admit that message passing is a great model for writing parallel software, but it won't give you the top performance on an smp host
<fluxx> obviously the sharing of memory still needs to be designed for that purpose
<fluxx> you could still me passing messages, but you only need to pass references to messages, no copying
<fluxx> s/ me/ be/
<fluxx> one of the problems they mention is the difficulties of writing a concurrent gc..
<fluxx> but I think even a one with stop-the-world-gc, but on multiple cpu's, could be useful
<Mussorgsky> yes, concurrent gc is exactly what I am interested about
<pango> actually, they designed SMP safe gcs before... it's just that they reverted to something simpler with ocaml
<Mussorgsky> I know
<Mussorgsky> Why was Concurrent Caml Light abandoned? Too complex; too hard to debug
<Mussorgsky> (despite the existence of a machine-checked proof of correctness);
<Mussorgsky> and dubious practical interest.
<Mussorgsky> the part "dubious practical interest" is something that can change
rillig has joined #ocaml
DarkFader has joined #ocaml
<DarkFader> hi, I'm new to this language... I have a string 's' which contains a '?' character... but the following gives me a '?' character: (if Str.string_match (Str.regexp "\\?") s 0 then '&' else '?');
<DarkFader> perhaps someone can help
<pango> I'm not sure I understand the problem you have...
<pango> btw, you could have used String.contains instead of using regexps...
<DarkFader> oh :)
<DarkFader> well.. it's for mldonkey ya know
<pango> yes, I know ;)