<whitequark>
that would be the first ever ocaml-related plugin in ST
tobiasBora has joined #ocaml
testcocoon has quit [Quit: Coyote finally caught me]
clog has quit [^C]
clog has joined #ocaml
<rixed>
osho0000: having a look...
<osho0000>
thanks :)
<rixed>
osho0000: well, (i+j)*(!k) is allowed to be outside v array from your computation of k.
<rixed>
osho0000: at first sight, you should not compute jump as (v length)/(u length), but as (v length - i)/(u length)
<rixed>
since you start from i
n06rin has quit [Ping timeout: 248 seconds]
mort___ has joined #ocaml
<osho0000>
hm
<osho0000>
one moment
<rixed>
anyway, once this is done and working, I'd advise rewriting this with simpler recursive functions
introom_ has joined #ocaml
ontologiae has joined #ocaml
ontologiae has quit [Client Quit]
walter has quit [Read error: Connection reset by peer]
walter has joined #ocaml
introom has quit [Ping timeout: 260 seconds]
<osho0000>
yes thanks i will do it with recursion :)
<rixed>
osho0000: you should find a way to write all this with recursive functions and no refs. Once done you will see the result is much shorter _and_ easier to read and understand.
happy4crazy has quit [Remote host closed the connection]
introom_ has quit [Ping timeout: 245 seconds]
walter has quit [Quit: This computer has gone to sleep]
introom has joined #ocaml
isBEKaml has joined #ocaml
ben_zen has quit [Read error: Operation timed out]
mort___ has quit [Quit: Leaving.]
clog has joined #ocaml
ygrek has joined #ocaml
iZsh has quit [Quit: Coyote finally caught me]
Agd_Scorp has joined #ocaml
Xom has quit [Ping timeout: 268 seconds]
ygrek has quit [Ping timeout: 245 seconds]
troydm has quit [Ping timeout: 264 seconds]
hinayana has quit [Quit: Quitte]
iZsh has joined #ocaml
iZsh has quit [Excess Flood]
iZsh has joined #ocaml
tobiasBora has quit [Ping timeout: 260 seconds]
Xom has joined #ocaml
carleastlund has joined #ocaml
Agd_Scorp has quit [Quit: i'll be back in a moment, just gotta do some stuff...]
osa1 has joined #ocaml
pranavrc has quit [Ping timeout: 264 seconds]
osho0000 has quit [Quit: Page closed]
watermind has quit [Quit: Konversation terminated!]
ggole_ has joined #ocaml
ggole has quit [Ping timeout: 268 seconds]
gnuvince has quit [Remote host closed the connection]
<chris2>
def-lkb: but even a single one is expensive
<chris2>
or rather, ocamlc is damn fast so you notice it :)
<def-lkb>
:), yes, even with the patch some useless work is done… it's not perfect, I hope there will be new improvements to this behavior
<def-lkb>
ocamlfind printconf, then checkout findlib.conf to see actual binary used by ocamlfind ocamlc
<chris2>
i straced it :P
<chris2>
but yep
<def-lkb>
nice :)
Yoric has joined #ocaml
<chris2>
yeah, i was wondering why corebuild was rather slow
<chris2>
1.5s for a hello world
<def-lkb>
:/
<def-lkb>
compare with an "hello world" not doing "open Core.Std" but using completely qualified names
<chris2>
i get down to 0.5s with OCAMLRUNPARAM=s=32M
<chris2>
yeah, then it's instant
<def-lkb>
still using core ?
<chris2>
oh
<def-lkb>
with for instance, Core.Std.printf "hello world"
<chris2>
0.2s
<chris2>
with gc tweak. 0.4s else
<chris2>
with print_endline pervasive its instant :P
<def-lkb>
interesting… reading from disk is negligible, it's really opening that cost a lot.
<chris2>
it's a ssd
<chris2>
and cached anyway
<def-lkb>
yeah, by reading from disk I meant unmarshalling the interface
<chris2>
-g builds end up with 50mb anyway :>
<whitequark>
core is huge
<chris2>
it would still be nice to only pay for what you use :)
osa1 has joined #ocaml
Yoric has quit [Ping timeout: 246 seconds]
walter has quit [Quit: This computer has gone to sleep]
Agd_Scorp has quit [Quit: i'll be back in a moment, just gotta do some stuff...]
Yoric has joined #ocaml
ollehar has quit [Ping timeout: 260 seconds]
gasche has quit [Ping timeout: 264 seconds]
zpe has joined #ocaml
gasche has joined #ocaml
tani has quit [Quit: Verlassend]
zpe has quit [Read error: No route to host]
zpe has joined #ocaml
osa1 has quit [Ping timeout: 256 seconds]
<Anarchos>
Are there some packages to do unification of terms within ocaml ?
TDJACR has joined #ocaml
Yoric has quit [Ping timeout: 264 seconds]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe has quit [Ping timeout: 264 seconds]
<troydm>
Anarchos: you want something like prolog's logical unification?
<troydm>
Anarchos: not heard of any packages that do that, but probably you can implement your WAM engine yourself if you really need it thou, or port one already implemented for languages like Python or Java or C#