flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.00.1 http://bit.ly/UHeZyT | http://www.ocaml.org | Public logs at http://tunes.org/~nef/logs/ocaml/
ben_zen has joined #ocaml
introom has joined #ocaml
ben_zen has quit [Ping timeout: 264 seconds]
mfp has quit [Ping timeout: 276 seconds]
madroach has quit [Ping timeout: 264 seconds]
yacks has quit [Read error: Connection reset by peer]
madroach has joined #ocaml
Simn has joined #ocaml
Simn has quit [Client Quit]
introom has quit [Remote host closed the connection]
Drup has quit [Quit: Leaving.]
introom has joined #ocaml
zachrab has joined #ocaml
zachrab has left #ocaml []
zRecursive has joined #ocaml
q66 has quit [Quit: Leaving]
lifeng has quit [Ping timeout: 264 seconds]
lifeng has joined #ocaml
carleastlund has joined #ocaml
darkf has joined #ocaml
dnm has quit [Ping timeout: 260 seconds]
ashleyis has joined #ocaml
zRecursive has left #ocaml []
n06rin has joined #ocaml
Myk267 has joined #ocaml
<n06rin> guys, somebody use utop?
ashleyis has quit [Quit: WooChat 0.4.2-dev]
ygrek has joined #ocaml
<bernardofpc> lots of people here
yacks has joined #ocaml
ben_zen has joined #ocaml
<n06rin> I don't understand. What difference between ocaml enterpreteur and utop
<n06rin> only syntax highlight?
<n06rin> or somethink like that?
<bernardofpc> i guess completion also
introom has quit [Remote host closed the connection]
<bernardofpc> btw, I guess it's a strange idea to bind Alt-Tab for "accept completion", as it's very common for task-switch
<bernardofpc> (and also I don't see "enter" producing an "accept" but mostly "newline"...
<n06rin> so, how can make enter? Not new line?
n06rin1 has joined #ocaml
dnm has joined #ocaml
n06rin has quit [Ping timeout: 246 seconds]
pkrnj has quit [Quit: Textual IRC Client: www.textualapp.com]
introom has joined #ocaml
n06rin1 has quit [Quit: Leaving.]
dnm has quit [Ping timeout: 240 seconds]
introom has quit [Remote host closed the connection]
Snark has joined #ocaml
<whitequark> I'm probably going to regret asking this, but: is there a way to cross-compile ocaml code from *nix to windows?
<whitequark> (and to OS X)
<ousado> adrien is working on the windows part
<ousado> IIRC he recently either commited or updated some compiler patches
<whitequark> interesting
n06rin has joined #ocaml
cdidd has quit [Read error: Connection reset by peer]
cdidd has joined #ocaml
<n06rin> anybody live?
shinnya has quit [Ping timeout: 248 seconds]
<whitequark> how do you call a type representing a module in ocaml? 'module' is taken, 'mod' too
<whitequark> and 'unit' is dumb
<carleastlund> whitequark: do you mean signatures?
<whitequark> carleastlund: I have an entity in my program which corresponds to a module, in my domain, not ocaml itself
<whitequark> and I cannot make a `type module' neither `type mod'
<carleastlund> Oh, I see. You need a name for a datatype representing a module.
<whitequark> yep
<carleastlund> Is it a module expression? A module implementation? A module instantiation? You can always go with mod-exp or mod-type or whatever.
<whitequark> it's basically a collection of functions
<carleastlund> "component"?
<carleastlund> "md"?
<carleastlund> You can always just give up and call it "thing". :)
<whitequark> "component" may be OK
<whitequark> though, the dictionary offers "capsule" as a synonym
<carleastlund> True, though I've never seen capsule used as a synonym in the programmatic sense of module.
<carleastlund> Dunno if that makes it better or worse. :)
<whitequark> it's probably less confusing, since the meaning won't conflict with anything
yacks has quit [Ping timeout: 264 seconds]
osho0000 has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
carleastlund has quit [Quit: carleastlund]
ollehar has joined #ocaml
yacks has joined #ocaml
ben_zen has quit [Ping timeout: 264 seconds]
testcocoon has quit [Quit: Coyote finally caught me]
testcocoon has joined #ocaml
yacks has quit [Ping timeout: 245 seconds]
mcclurmc has joined #ocaml
ygrek has joined #ocaml
gautamc has quit [Read error: Connection reset by peer]
gautamc has joined #ocaml
zRecursive has joined #ocaml
<gasche> whitequark: when an id I want to use conflicts with an OCaml keyword, I append an underscore at the end
<gasche> (not to be confused with having an underscore at the beginning to signal knowingly-unused variables)
<whitequark> that's ugly :/
ulfdoz has joined #ocaml
ggole has joined #ocaml
mfp has joined #ocaml
zRecursive has quit [Remote host closed the connection]
yacks has joined #ocaml
<osho0000> hello, this loop go alway till the end or in some cases finish before? http://pastebin.com/31hnRbGb
<gasche> osho0000: always go to the end
<gasche> if you want to stop early, use exceptions, or move to a recursive function
<gasche> try (for .. do .. raise Exit .. done; end_stuff) with Exit -> early_exit_stuff
<osho0000> thanks! no its ok, i didn't understand what happens if the if condition doesn't happen
introom has joined #ocaml
<osho0000> in this funtion the while will terminate even if only one of the two condition is false right? http://pastebin.com/3cR9iUmh
introom has quit [Remote host closed the connection]
ollehar has quit [Ping timeout: 245 seconds]
introom has joined #ocaml
<osho0000> true && false -> false
ocp has joined #ocaml
tobiasBora has joined #ocaml
n06rin has quit [Quit: Leaving.]
ygrek has quit [Ping timeout: 276 seconds]
Xom has quit [Remote host closed the connection]
Xom has joined #ocaml
<mrvn> osho0000: if has an implizit "else ()"
<osho0000> aha ok :)
introom has quit [Remote host closed the connection]
Agd_Scorp has joined #ocaml
yacks has quit [Ping timeout: 246 seconds]
tobiasBora has quit [Read error: Operation timed out]
Agd_Scorp has quit [Quit: i'll be back in a moment, just gotta do some stuff...]
Drup has joined #ocaml
yacks has joined #ocaml
ocp has quit [Read error: Operation timed out]
weie_ has joined #ocaml
q66 has joined #ocaml
weie has quit [Ping timeout: 256 seconds]
tane has joined #ocaml
<whitequark> so I wrote an autocompletion plugin for sublime text! https://github.com/whitequark/sublime-ocp-index
<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]
travisbrady has joined #ocaml
bhggdd has joined #ocaml
bhggdd has quit [Quit: AndroIRC - Android IRC Client ( http://www.androirc.com )]
travisbrady has quit [Quit: travisbrady]
ben_zen has joined #ocaml
ggole_ has quit []
dnm has joined #ocaml
pkrnj has joined #ocaml
travisbrady has joined #ocaml
dnm has quit [Ping timeout: 268 seconds]
gnuvince has joined #ocaml
gnuvince has quit [Changing host]
gnuvince has joined #ocaml
travisbrady has quit [Quit: travisbrady]
tani has joined #ocaml
tane has quit [Read error: Operation timed out]
gautamc has quit [Ping timeout: 264 seconds]
Snark has quit [Quit: leaving]
troydm has joined #ocaml
ben_zen has quit [Ping timeout: 245 seconds]
ulfdoz has quit [Ping timeout: 245 seconds]
Drup has quit [Quit: Leaving.]
Drup has joined #ocaml
Nahra has quit [Quit: leaving]
osa1 has quit [Ping timeout: 256 seconds]
osa1 has joined #ocaml
jmbto has joined #ocaml
osa1 has quit [Ping timeout: 256 seconds]
jmbto has quit [Remote host closed the connection]
Agd_Scorp has joined #ocaml
<chris2> amazing how much the gc makes a difference in compile time if all you do is open Core.Std...
<def-lkb> the compiler do a lot of useless work on "open" statements. for small files, this can dominate the compilation time.
walter has joined #ocaml
<chris2> ah, nice
<chris2> does ocamlfind ocamlc run ocamlc.opt?
<chris2> apparently yes
<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#
<Anarchos> troydm i find this one : http://lambda-diode.com/resources/ocaml/unify.ml
<troydm> Anarchos: no idea, probably someone already tried implementing it
<troydm> also if u decide to implement it
zpe has joined #ocaml
<troydm> here is a good book about it http://wambook.sourceforge.net/
<Anarchos> troydm what is wam ?
<Anarchos> i just want to unify terms of first order logic, nothing else
<troydm> Warren abstract machine
<troydm> Anarchos: then you probably have to implement it some limited form
<troydm> *in*
zpe has quit [Ping timeout: 256 seconds]
dnm has joined #ocaml
shinnya has quit [Read error: Operation timed out]