authentic has quit [Read error: 54 (Connection reset by peer)]
authentic has joined #ocaml
authentic has quit [Success]
authentic has joined #ocaml
<maxote>
ghc 6.10.3 surprisily is faster than ocaml :)
<maxote>
how is possible that this lazy evaluator is faster than the eager evaluator? hehehe
authentic has quit [Connection reset by peer]
authentic has joined #ocaml
authentic has quit [Remote closed the connection]
authentic has joined #ocaml
seafood has joined #ocaml
authentic has quit [Connection reset by peer]
authentic has joined #ocaml
^authentic has joined #ocaml
authentic has quit [Operation timed out]
^authentic has quit [Connection reset by peer]
authentic has joined #ocaml
authentic has quit [Remote closed the connection]
authentic has joined #ocaml
authentic has quit [Remote closed the connection]
authentic has joined #ocaml
authentic has quit [Connection reset by peer]
authentic has joined #ocaml
authentic has quit [Connection reset by peer]
authentic has joined #ocaml
thrasibule has joined #ocaml
Jedai has joined #ocaml
authentic has quit [Remote closed the connection]
authentic has joined #ocaml
^authentic has joined #ocaml
^authentic has quit [Connection reset by peer]
^authentic has joined #ocaml
^authentic has quit [Connection reset by peer]
^authentic has joined #ocaml
^authentic has quit [Read error: 54 (Connection reset by peer)]
^authentic has joined #ocaml
thrasibule has quit [Read error: 60 (Operation timed out)]
Mr_Awesome has quit ["aunt jemima is the devil!"]
thrasibule has joined #ocaml
^authentic has quit [Connection reset by peer]
^authentic has joined #ocaml
authentic has quit [Connection timed out]
^authentic has quit [Remote closed the connection]
authentic has joined #ocaml
authentic has quit [Remote closed the connection]
authentic has joined #ocaml
authentic has quit [Connection reset by peer]
authentic has joined #ocaml
authentic has quit [Remote closed the connection]
thrasibule_ has joined #ocaml
authentic has joined #ocaml
thrasibule has quit [Read error: 104 (Connection reset by peer)]
authentic has quit [Read error: 60 (Operation timed out)]
authentic has joined #ocaml
M| has joined #ocaml
<maxote>
OCaml can't compete against Haskell in speed if it's not through MetaOCaml.
authentic has quit [Connection reset by peer]
authentic has joined #ocaml
M| has quit [Client Quit]
M| has joined #ocaml
authentic has quit [Remote closed the connection]
authentic has joined #ocaml
authentic has quit [Read error: 54 (Connection reset by peer)]
authentic has joined #ocaml
Pepe_ has quit [No route to host]
thrasibule_ has quit [Read error: 110 (Connection timed out)]
authentic has quit [Remote closed the connection]
authentic has joined #ocaml
seafood has quit [Read error: 60 (Operation timed out)]
seafood has joined #ocaml
authentic has quit [Success]
authentic has joined #ocaml
authentic has quit [Remote closed the connection]
authentic has joined #ocaml
M| has quit [Remote closed the connection]
M| has joined #ocaml
seafood_ has joined #ocaml
authentic has quit [Remote closed the connection]
authentic has joined #ocaml
seafood__ has joined #ocaml
komar__ has joined #ocaml
seafood has quit [Read error: 104 (Connection reset by peer)]
seafood_ has quit [Read error: 60 (Operation timed out)]
authentic has quit [Remote closed the connection]
authentic has joined #ocaml
jeddhaberstro has quit [Read error: 110 (Connection timed out)]
authentic has quit [Remote closed the connection]
komar_ has quit [Read error: 113 (No route to host)]
authentic has joined #ocaml
authentic has quit [Connection reset by peer]
authentic has joined #ocaml
authentic has quit [Connection reset by peer]
Palace_Chan has joined #ocaml
mlh has left #ocaml []
authentic has joined #ocaml
authentic has quit [Success]
Palace_Chan has quit [Client Quit]
Palace_Chan has joined #ocaml
komar___ has joined #ocaml
komar__ has quit [Read error: 113 (No route to host)]
julm_ is now known as julm
Jedai has quit [Read error: 110 (Connection timed out)]
^authentic has joined #ocaml
^authentic has quit [Remote closed the connection]
^authentic has joined #ocaml
^authentic has quit [Remote closed the connection]
^authentic has joined #ocaml
^authentic has quit [Success]
authentic has joined #ocaml
authentic has quit [Remote closed the connection]
Palace_Chan has quit [Read error: 110 (Connection timed out)]
thrasibule has joined #ocaml
^authentic has joined #ocaml
^authentic has quit [Remote closed the connection]
^authent1c has joined #ocaml
^authent1c has quit [Remote closed the connection]
^authentic has joined #ocaml
^authentic has quit [Connection reset by peer]
Palace_Chan has joined #ocaml
authentic has joined #ocaml
authentic has quit [Remote closed the connection]
thrasibule has quit [Read error: 110 (Connection timed out)]
authentic has joined #ocaml
authentic has quit [Read error: 60 (Operation timed out)]
authentic has joined #ocaml
authentic has quit [Remote closed the connection]
authentic has joined #ocaml
authentic has quit [Connection reset by peer]
authentic has joined #ocaml
mishok13 has joined #ocaml
authentic has quit [Connection reset by peer]
authentic has joined #ocaml
authentic has quit [Remote closed the connection]
authentic has joined #ocaml
authentic has quit [Success]
authentic has joined #ocaml
authentic has quit [Remote closed the connection]
authentic has joined #ocaml
julm has quit [Read error: 60 (Operation timed out)]
julm has joined #ocaml
verte has joined #ocaml
authentic has quit [Remote closed the connection]
authentic has joined #ocaml
Palace_Chan has quit [Client Quit]
authentic has quit [Remote closed the connection]
authentic has joined #ocaml
authentic has quit [Success]
authentic has joined #ocaml
^authentic has joined #ocaml
^authentic has quit [Connection reset by peer]
^authentic has joined #ocaml
^authentic has quit [Remote closed the connection]
^authentic has joined #ocaml
^authentic has quit [Remote closed the connection]
^authentic has joined #ocaml
authentic has quit [Connection timed out]
^authentic has quit [Remote closed the connection]
authentic has joined #ocaml
eevar2 has joined #ocaml
<qwr>
uh, seems i have to make irssi ignore JOINS/QUITS here
authentic has quit [Remote closed the connection]
authentic has joined #ocaml
authentic has quit [Success]
authentic has joined #ocaml
<verte>
no way, they are the most exciting part!
authentic has quit [Remote closed the connection]
authentic has joined #ocaml
authentic has quit [Remote closed the connection]
authentic has joined #ocaml
Jedai has joined #ocaml
seafood__ has quit []
authentic has quit [Remote closed the connection]
authentic has joined #ocaml
authentic has quit [Success]
authentic has joined #ocaml
authentic has quit [Read error: 104 (Connection reset by peer)]
authentic has joined #ocaml
^authentic has joined #ocaml
authentic has quit [Operation timed out]
Jedai has quit [Connection timed out]
maul2803 has joined #ocaml
maul2803 has left #ocaml []
^authentic has quit [Remote closed the connection]
authentic has joined #ocaml
authentic has quit [Remote closed the connection]
authentic has joined #ocaml
authentic has quit [Remote closed the connection]
authentic has joined #ocaml
naufraghi has joined #ocaml
authentic has quit [Connection reset by peer]
komar___ has quit [Remote closed the connection]
komar___ has joined #ocaml
authentic has joined #ocaml
authentic has quit [Connection reset by peer]
authentic has joined #ocaml
authentic has quit [Remote closed the connection]
authentic has joined #ocaml
xcthulhu_ has quit ["Ex-Chat"]
authentic has quit [Connection reset by peer]
authentic has joined #ocaml
komar___ has quit [Remote closed the connection]
authentic has quit [Connection reset by peer]
authentic has joined #ocaml
<maxote>
the Haskell committee did the best works, now it only needs a good maintainance doing more perfections to the language and to the libraries to reduce to the minimum the number of broken projects (with backward and forward compatibility), the OCaml committee is going stuck now that can't do ocaml faster than haskell unless it does a reconversion to metaocaml committee, :)
pwned has joined #ocaml
authentic has quit [Connection reset by peer]
authentic has joined #ocaml
julm_ has joined #ocaml
komar___ has joined #ocaml
authentic has quit [Read error: 104 (Connection reset by peer)]
ertai has joined #ocaml
authentic has joined #ocaml
authentic has quit [Read error: 60 (Operation timed out)]
authentic has joined #ocaml
julm has quit [Read error: 110 (Connection timed out)]
LeCamarade|Away is now known as LeCamarade
Pepe___ has joined #ocaml
<flux>
maxote, well, I'm just happy I don't have to write code like the haskell code that can be seen in the shootout to get the performance :)
<maxote>
ebian.org/gp4/benchmark.php?test=all&lang=ghc&lang2=ocaml&box=1 ; in Pentium4, GHC-6.8.2 doesn't score better than OCaml-3.10.2 .
Pepe___ is now known as Pepe__
authentic has quit [Read error: 54 (Connection reset by peer)]
authentic has joined #ocaml
^authentic has joined #ocaml
authentic has quit [Read error: 60 (Operation timed out)]
julm_ is now known as julm
^authentic has quit [Success]
authentic has joined #ocaml
authentic has quit [Read error: 54 (Connection reset by peer)]
authentic has joined #ocaml
verte has quit [Read error: 104 (Connection reset by peer)]
verte has joined #ocaml
authentic has quit [Remote closed the connection]
komar___ has quit [Read error: 113 (No route to host)]
authentic has joined #ocaml
Submarine has joined #ocaml
^authentic has joined #ocaml
komar___ has joined #ocaml
^authentic has quit [Connection reset by peer]
^authentic has joined #ocaml
^authent1c has joined #ocaml
authentic has quit [Connection timed out]
^authentic has quit [Success]
Cromulent has joined #ocaml
qwr has quit [Remote closed the connection]
itewsh has joined #ocaml
Palace_Chan has joined #ocaml
Cromulent has quit []
hkBst has joined #ocaml
komar___ has quit [Read error: 113 (No route to host)]
komar___ has joined #ocaml
BiDOrD has quit [Read error: 110 (Connection timed out)]
Palace_Chan has quit [Client Quit]
_andre has joined #ocaml
seafood has joined #ocaml
naufraghi has quit []
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
seafood has quit []
naufraghi has joined #ocaml
komar___ has quit [Read error: 113 (No route to host)]
komar___ has joined #ocaml
naufraghi has quit [Client Quit]
<kaustuv>
maxote: what on earth is the "OCaml committee"? And MetaOcaml is just a bad idea, full stop.
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
<flux>
metaocaml seemed interesting to me :/
<flux>
although as far as I can understand it just gave performance enhancements
rAphael has joined #ocaml
<kaustuv>
flux: yes, on the bytecode interpreter. Who cares about bytecode?
<flux>
kaustuv, how do you mean 'on the bytecode interpreter'? doesn't the native code support work?
<flux>
or are the performance advantages too small?
<flux>
apparently there is only support for 32-bit native x86, so that's a bit of a downer
<flux>
in any case, the concept is interesting. I don't really use it :).
<flux>
a quotation for C code (with code generation) could be more interesting, actually..
<flux>
s/interesting/useful/
<flux>
(with dynamlic linking of such code)
verte has quit ["~~~ Crash in JIT!"]
<kaustuv>
flux: yes, the performance gain is not very significant in native code except for very contrived examples (eg. the exponentiation one that seems to be a favourite)
BiDOrD has joined #ocaml
julm has quit ["leaving"]
hkBst has quit [Read error: 104 (Connection reset by peer)]
komar___ has quit [Remote closed the connection]
komar___ has joined #ocaml
itewsh has quit [Read error: 60 (Operation timed out)]
itewsh has joined #ocaml
bombshelter13_ has joined #ocaml
Amorphous has quit [Read error: 110 (Connection timed out)]
Amorphous has joined #ocaml
komar___ has quit [Read error: 104 (Connection reset by peer)]
komar___ has joined #ocaml
yurug has joined #ocaml
yurug has quit [Client Quit]
yurug has joined #ocaml
yurug has quit [Client Quit]
yurug has joined #ocaml
yurug has quit [Client Quit]
yurug has joined #ocaml
yurug has quit [Remote closed the connection]
yurug_ has joined #ocaml
yurug_ has quit [Client Quit]
yurug has joined #ocaml
jimmyb2187 has left #ocaml []
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
jimmyb2187 has joined #ocaml
itewsh has quit [Read error: 60 (Operation timed out)]
itewsh has joined #ocaml
naufraghi has joined #ocaml
naufraghi has quit [Client Quit]
naufraghi has joined #ocaml
yurug has quit [Remote closed the connection]
yurug has joined #ocaml
<yurug>
Hi there.
<thelema>
hi
itewsh has quit [Read error: 110 (Connection timed out)]
komar___ has quit [Read error: 104 (Connection reset by peer)]
itewsh has joined #ocaml
komar___ has joined #ocaml
slash_ has joined #ocaml
<thelema>
has anyone implemented timsort in ocaml?
komar___ has quit [Remote closed the connection]
komar___ has joined #ocaml
eevar2 has quit ["This computer has gone to sleep"]
lutter has joined #ocaml
<flux>
were you thinking of doing it?
<thelema>
very possibly.
<thelema>
I don't think ocaml has the same problem as python of slow compares
<thelema>
but it seems a useful bit of code. Apparently Java is adopting it as their primary sort.
<flux>
one can't tell before benchmarking, can one :)
<thelema>
I know no better way.
LeCamarade is now known as LeCamarade|Away
<flux>
maybe one could modify existing code to report back the number of comparisons, which I imagine is highly correlated with the work done, and compare that to the number of comparsions with List.sort
<thelema>
apparently timsort is especially good in python because swaps are cheaper than comparisons.
<thelema>
and it minimizes comparisons
<flux>
you can have expensive comparators in ocaml too
<flux>
say, when sorting lists
<thelema>
true.
komar___ has quit [Remote closed the connection]
komar___ has joined #ocaml
Proteus_ has joined #ocaml
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
komar___ has quit [Read error: 104 (Connection reset by peer)]
komar___ has joined #ocaml
<kaustuv>
swaps are expensive in ocaml -- each swap potentially adds two entries to the modified list if mediated by a temporary in the minor heap
<kaustuv>
actually, I take that back, I'm drawing the pointers the wrong way
<kaustuv>
as a simple midsummer exercise, figure out how to rewrite the last loop so that it doesn't cause any allocation
komar___ has quit [Remote closed the connection]
komar___ has joined #ocaml
komar___ has quit [Remote closed the connection]
komar___ has joined #ocaml
Pepe__ has quit [wolfe.freenode.net irc.freenode.net]
M| has quit [wolfe.freenode.net irc.freenode.net]
bernardofpc has quit [wolfe.freenode.net irc.freenode.net]
bernardofpc has joined #ocaml
Pepe__ has joined #ocaml
M| has joined #ocaml
itewsh has quit [Connection timed out]
itewsh has joined #ocaml
Modius has quit ["I'm big in Japan"]
komar___ has quit [wolfe.freenode.net irc.freenode.net]
Amorphous has quit [wolfe.freenode.net irc.freenode.net]
mellum has quit [wolfe.freenode.net irc.freenode.net]
bartiosze has quit [wolfe.freenode.net irc.freenode.net]
thelema has quit [wolfe.freenode.net irc.freenode.net]
bacam has quit [wolfe.freenode.net irc.freenode.net]
cmeme has quit [wolfe.freenode.net irc.freenode.net]
svenl has quit [wolfe.freenode.net irc.freenode.net]
animist has quit [wolfe.freenode.net irc.freenode.net]
komar___ has joined #ocaml
Amorphous has joined #ocaml
thelema has joined #ocaml
bacam has joined #ocaml
animist has joined #ocaml
cmeme has joined #ocaml
svenl has joined #ocaml
mellum has joined #ocaml
bartiosze has joined #ocaml
itewsh has quit [Read error: 60 (Operation timed out)]
itewsh has joined #ocaml
itewsh has quit [Connection timed out]
itewsh has joined #ocaml
yurug has quit ["KVIrc Insomnia 4.0.0, revision: , sources date: 20090115, built on: 2009/03/07 00:45:02 UTC http://www.kvirc.net/"]
Narrenschiff has joined #ocaml
komar_ has joined #ocaml
ulfdoz has joined #ocaml
komar___ has quit [No route to host]
<thelema>
kaustuv: the 3 million calls to caml_modify are all your Array.unsafe_sets - you can't modify an array without caml_modify
robocop1 has joined #ocaml
itewsh has quit ["There are only 10 kinds of people: those who understand binary and those who don't"]
Narrenschiff has quit []
Narrenschiff has joined #ocaml
<kaustuv>
thelema: not entirely correct. If the array contents are immediate (unallocated) values, then caml_modify isn't called. Moreover, if the update doesn't cause the major heap to point into the minor heap, nothing extra is recorded.
<kaustuv>
Anyway, I was just pointing out that swaps are not quite as cheap in ocaml as in languages without an incremental GC. I think Java will have the same issue if run with -Xincgc
<thelema>
ah, now I get the point of your benchmark.
<thelema>
maybe the ocaml compiler could improve performance of swaps by special-casing that in caml_modify
<kaustuv>
It can be done easily enough in C using direct field accesses (i.e., not using Store_field())
robocop1 has quit [Remote closed the connection]
thelema has quit [Read error: 110 (Connection timed out)]
aij_ is now known as aij
Jedai has joined #ocaml
poucet has left #ocaml []
Mr_Awesome has joined #ocaml
Narrenschiff has quit []
kaustuv has quit [Read error: 104 (Connection reset by peer)]
naufraghi has quit []
tomaw has quit [Read error: 104 (Connection reset by peer)]
tomaw has joined #ocaml
M| has quit ["Don't follow me"]
_andre has quit ["Lost terminal"]
jeddhaberstro has joined #ocaml
rAphael has quit ["leaving"]
komar__ has joined #ocaml
komar_ has quit [Read error: 113 (No route to host)]
M| has joined #ocaml
seafood has joined #ocaml
M| has quit ["Nice Scotty, now beam my clothes up too!"]
jeddhaberstro has quit [Client Quit]
ulfdoz has quit [Read error: 110 (Connection timed out)]
komar__ has quit ["WeeChat 0.2.6.3-ohshi"]
Pepe__ is now known as Pepe_
Skolem has joined #ocaml
naufraghi has joined #ocaml
bombshelter13_ has quit []
seafood_ has joined #ocaml
jeddhaberstro has joined #ocaml
M| has joined #ocaml
seafood has quit [Read error: 110 (Connection timed out)]