kaustuv changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | 3.11.1 out now! Get yours from http://caml.inria.fr/ocaml/release.html
<bluestorm> they're not inlined, but method lookup is cached iirc, wich lessen the long term overhead
<bluestorm> (and what do we care about inlining ? you could use any object wrapper you want, it'll still be faster than Python)
<kaustuv> I think beating Python at anything is as irrelevant as it is readily achievable, but you're probably jesting.
travisbrady has joined #ocaml
deavid has quit [Read error: 60 (Operation timed out)]
deavid has joined #ocaml
aldebrn has joined #ocaml
<brendan> is it safe to call Hashtbl.replace inside a function called by Hashtbl.iter on the same table? I'd assume that the set of keys is fixed when iter starts?
<brendan> sorry for lowering the level of discussion :)
<brendan> nm, google knows
<bluestorm> brendan: and what is the answer ?
<bluestorm> (I wouldn't try that)
Amorphous has quit [Read error: 110 (Connection timed out)]
<brendan> the answer is that the hashtable will not be corrupted, but there is no guarantee whether you'll see the update or not while iterating
<bluestorm> I would consider mutation a structure during iteration bad code
<brendan> I'd agree, but I also hate buffering things :)
Amorphous has joined #ocaml
<Camarade_Tux> brendan: was the thread you read called "Hashtbl.remove legal within Hashtbl.iter for the same hash table?"
<brendan> it was called 'Hashtbl iter semantics'
<bluestorm> brendan: why do you hate that ?
<brendan> and the answer was from Xavier, so I trust it
<bluestorm> it can be done quite simply in ocaml
<bluestorm> (and Xavier is certainly right about the stdlib but what if you port your code to another lib ?)
<brendan> it's not that it's complex, it's that I like to avoid copying and allocating
<bluestorm> bleh, low-level concerns
* brendan is tearing through many gigs of data
<Camarade_Tux> brendan: ok, just checking because the thread with the name I mentionned hadn't had a definite answer from any devel
<Camarade_Tux> well, good night now :)
<brendan> night
mlak has quit [Ping timeout: 180 seconds]
bluestorm has quit [Remote closed the connection]
Modius has quit [Read error: 110 (Connection timed out)]
lutter1 has quit [Read error: 110 (Connection timed out)]
lutter has joined #ocaml
Submarine has quit [Read error: 110 (Connection timed out)]
Modius has joined #ocaml
kaustuv has quit [Remote closed the connection]
verte has joined #ocaml
julm has quit [Read error: 110 (Connection timed out)]
julm has joined #ocaml
rbancrof1 is now known as rbancroft
verte has quit [Read error: 60 (Operation timed out)]
ski__ has quit [hubbard.freenode.net irc.freenode.net]
ski__ has joined #ocaml
holmak has joined #ocaml
verte has joined #ocaml
willb has joined #ocaml
holmak has quit ["Leaving"]
Submarine has joined #ocaml
kaustuv has joined #ocaml
angerman has joined #ocaml
jli_ has quit [Read error: 110 (Connection timed out)]
marteo has joined #ocaml
smimou has joined #ocaml
jli has joined #ocaml
Yoric[DT] has joined #ocaml
Yoric[DT] has quit ["Ex-Chat"]
smimou has quit ["bli"]
smimou has joined #ocaml
BiDOrD has joined #ocaml
maskd has quit [Read error: 60 (Operation timed out)]
maskd has joined #ocaml
BiDOrD has quit [Remote closed the connection]
^authentic has joined #ocaml
seafood has quit []
hkBst has joined #ocaml
authentic has quit [Read error: 110 (Connection timed out)]
LeCamarade|Away is now known as LeCamarade
angerman has quit []
bernardo1pc has joined #ocaml
bernardofpc has quit [Read error: 104 (Connection reset by peer)]
julm has quit [Read error: 60 (Operation timed out)]
julm has joined #ocaml
bernardo1pc is now known as bernardofpc
|Jedai| has joined #ocaml
angerman has joined #ocaml
_Jedai_ has quit [Read error: 110 (Connection timed out)]
BiDOrD has joined #ocaml
vpalle has joined #ocaml
dabd has joined #ocaml
dabd has quit [Client Quit]
Yoric[DT] has joined #ocaml
vpalle has quit [Read error: 104 (Connection reset by peer)]
smimou has quit [Read error: 110 (Connection timed out)]
Yoric[DT] has quit ["Ex-Chat"]
lutter1 has joined #ocaml
jm has joined #ocaml
julm has quit [Read error: 113 (No route to host)]
jm has quit ["Genetic engineering: no thanks!"]
jm has joined #ocaml
jm has quit [Read error: 54 (Connection reset by peer)]
lutter1 has quit ["Leaving."]
lutter has quit [Read error: 113 (No route to host)]
julm has joined #ocaml
lutter has joined #ocaml
Submarine has quit [Read error: 60 (Operation timed out)]
Lomono has quit ["Don't even think about saying Candlejack or else you wi"]
nego has joined #ocaml
Submarine has joined #ocaml
rwmjones_ has quit [Remote closed the connection]
angerman has quit []
bombshelter13_ has joined #ocaml
Elive_user7_fr has joined #ocaml
Elive_user7_fr has quit [Client Quit]
filp has joined #ocaml
^authentic is now known as authentic
angerman has joined #ocaml
_zack has joined #ocaml
holgr has joined #ocaml
holgr_ has quit [Read error: 104 (Connection reset by peer)]
smimou has joined #ocaml
amuck_ has joined #ocaml
travisbrady has quit []
verte has quit ["~~~ Crash in JIT!"]
filp has quit ["Bye"]
kaustuv has quit [Remote closed the connection]
travisbrady has joined #ocaml
angerman has quit []
postalchris4 has joined #ocaml
<postalchris4> I want to create a rational value using the Num module, which would seem to call for a value of type Ratio.ratio... but I can't find a Ratio module anywhere in the stdlib... Anybody know where I should be looking?
_zack has quit ["Leaving."]
<postalchris4> OK, I found ratio.ml in my std-lib directory... Why isn't it in the API docs? And how do I create a Ratio.ratio for, say, 1/2?
spez1 has joined #ocaml
smimou has quit [Read error: 104 (Connection reset by peer)]
smimram has joined #ocaml
<brendan> from ratio.mli: val create_ratio : big_int -> big_int -> ratio
<brendan> no idea why the module isn't in the docs
<postalchris4> brendan: Thanks! No way to do it with ints instead of big_ints?
<brendan> don't see it, but that'd be a pretty trival wrapper function
<postalchris4> brendan: True that. Not sure why Ratio has to both secretive and inconvenient...
* brendan shrugs
<brendan> you could also do div_ratio (ratio_of_int 1) (ratio_of_int 2) I suppose
_zack has joined #ocaml
LeCamarade has quit ["Gone."]
ulfdoz has joined #ocaml
_zack has quit ["Leaving."]
julm has quit ["Genetic engineering: no thanks!"]
<postalchris4> brendan: that's competitive with create_ratio (big_int_of_int 1) (big_int_of_int 2)
julm has joined #ocaml
jimmyb2187 has quit [Read error: 104 (Connection reset by peer)]
leyndurmal has joined #ocaml
franksalim has left #ocaml []
bombshelter13_ has quit [Read error: 104 (Connection reset by peer)]
<leyndurmal> Hi, I'm trying to create an Array of Arrays, but I *don't* want the sub-arrays to be equal. (So that I can modify one without modifying the others.) How do I do this?
|Jedai| has quit [Connection reset by peer]
|Jedai| has joined #ocaml
angerman has joined #ocaml
leyndurmal has quit []
bombshelter13_ has joined #ocaml
ulfdoz has quit ["deprecated"]
ulfdoz has joined #ocaml
jeddhaberstro has joined #ocaml
jonafan has quit [Read error: 104 (Connection reset by peer)]
kmicinski has joined #ocaml
kmicinski has quit [Read error: 54 (Connection reset by peer)]
bluestorm has joined #ocaml
jimmyb21871 has joined #ocaml
ulfdoz has quit [Read error: 110 (Connection timed out)]
Lomono has joined #ocaml
jeddhaberstro has quit [Client Quit]
smimram has quit [Read error: 110 (Connection timed out)]
smimou has joined #ocaml
willb has quit ["Leaving"]
postalchris4 has quit ["Leaving."]
Lomono has quit ["Don't even think about saying Candlejack or else you wi"]
bombshelter13_ has quit []
jimmyb21871 has quit [Read error: 104 (Connection reset by peer)]
bluestorm has quit [Remote closed the connection]
willb has joined #ocaml
_Jedai_ has joined #ocaml
jeddhaberstro has joined #ocaml
|Jedai| has quit [Read error: 110 (Connection timed out)]
smimou has quit ["bli"]
angerman has quit []
Associat0r has joined #ocaml
Associat0r has quit [Client Quit]
seafood has joined #ocaml
marteo has quit ["Debian GNU/Hurd is Good."]
jeddhaberstro has quit [Client Quit]
hkBst has quit [Read error: 104 (Connection reset by peer)]
jeddhaberstro has joined #ocaml
_Jedai_ has quit [Read error: 113 (No route to host)]
jm has joined #ocaml
julm has quit [Read error: 110 (Connection timed out)]
jm is now known as julm
seafood has quit []
verte has joined #ocaml
amuck_ has quit []