Banana changed the topic of #ocaml to: OCaml 3.08.1 available! | Archive of Caml Weekly News: http://sardes.inrialpes.fr/~aschmitt/cwn/ | A tutorial: http://merjis.com/richj/computers/ocaml/tutorial/ | 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/
gim has quit [Read error: 110 (Connection timed out)]
jeff2 has joined #ocaml
gim has joined #ocaml
pacroon_ has joined #ocaml
pacroon has quit [Read error: 54 (Connection reset by peer)]
Godeke has quit [Remote closed the connection]
gim has quit [Read error: 113 (No route to host)]
SchizoIV has joined #ocaml
<drz> is there a standard function that does 'a option -> 'a ? (ie Some('a') -> 'a', and excepts if it's None)
<Smerdyakov> I don't know of one.
<drz> np. Thanks for answering.
mlh has joined #ocaml
pacroon_ has quit [Read error: 60 (Operation timed out)]
<pango> drz: what would it do for None ?
det_ has quit [Read error: 60 (Operation timed out)]
pacroon has joined #ocaml
pango is now known as pangon8
<Riastradh> It would raise an exception.
det has joined #ocaml
tautologico has joined #ocaml
GreyLensman has joined #ocaml
SchizoIV has left #ocaml []
Nutssh has joined #ocaml
tyler_ has joined #ocaml
<tyler_> Is there any harm in copying the optimized binaries over the bytecode ones? (that is, cp ocamlc.opt ocamlc, etc)
GreyLensman has left #ocaml []
<Riastradh> Yes: you won't be able to generate byte code.
<Riastradh> ...oh.
<Riastradh> Never mind.
<Riastradh> Probably not.
<tyler_> Well, the compilers are probably the only ones that are worth it
<tyler_> since the toplevels are running bytecode anyways..
<Nutssh> The native code compilers start up a little bit slower, I think.
<avlondono> once I found a bug in the assembly generator (for itanium). I would prefer to keep them separated always.
<tyler_> okay, fair enough
tautologico has quit []
tyler_ has quit ["leaving"]
hangman4 has joined #ocaml
Nutssh has quit ["Client exiting"]
Herrchen_ has joined #ocaml
Herrchen has quit [Read error: 60 (Operation timed out)]
<vincenz> drz: Easy to make
Submarine has joined #ocaml
<det> IMO, it is silly ocaml genertates a bytecode (that is compiled to bytecode) compiler at all
<Riastradh> ...what's silly about having a byte code compiler?
<mrvn> Having a byte code and asm optimized compiler usualy means one is unused.
<mrvn> ocaml should have ocamopt.byte and ocamlopt.opt and an ocamlopt linking to one of them, .opt if available prefered. (at least in debian)
<Riastradh> Not necessarily. Byte code is still useful on architectures unsupported by the native code compiler and in applications that involve mobile code.
<mrvn> architectures not supported by the native code compiler would have neither ocamlopt flavour
<mrvn> The only reason I see for ocamlopt (bytecode) is when ocamlopt.opt fails or to verify its results.
<det> Riastradh: I mean, having a native compiler compiled *to* bytecode
<Riastradh> Oh, I see.
<mrvn> Riastradh: I think noone thinks of abandoning ocamlc.
<mrvn> Is there an ocamlc.opt?
<Riastradh> Yes.
<mrvn> Same story for ocamlc then, ocamlc.byte and ocamlc.opt and ocamlc linked to the best available.
<mrvn> Or is ocamlc.opt ever slower for reasonable big programs?
<vincenz> why would it be slower?
<vincenz> ocamlc.opt is the same as ocamlc.byte except that it's native compiled
<mrvn> Someone mentioned startup could be slower but that should amortize for bigger programs.
monochrom has quit ["hello"]
vezenchio has joined #ocaml
mrvn_ has joined #ocaml
mrvn has quit [Read error: 110 (Connection timed out)]
pangon8 is now known as pangoafk
rossberg_ has joined #ocaml
haakonn has joined #ocaml
rossberg has quit [Read error: 110 (Connection timed out)]
haakonn_ has quit [Connection timed out]
smimou has joined #ocaml
mlh has quit ["bling!"]
kinners has joined #ocaml
mlh has joined #ocaml
pango has joined #ocaml
noj has quit ["leaving"]
noj has joined #ocaml
gim has joined #ocaml
haakonn has quit [Read error: 104 (Connection reset by peer)]
kinners has quit [Read error: 110 (Connection timed out)]
haakonn has joined #ocaml
Submarine has quit ["Leaving"]
haakonn has quit [Read error: 104 (Connection reset by peer)]
haakonn has joined #ocaml
eugos has joined #ocaml
haakonn has quit [Read error: 110 (Connection timed out)]
gim has quit [Read error: 113 (No route to host)]
gim has joined #ocaml
haakonn has joined #ocaml
CapNemo has joined #ocaml
<CapNemo> hey :)
<CapNemo> anyone knows a scriptic language to embed in ocaml : like executing python code inside ocaml subs ?
Godeke has joined #ocaml
eugos has quit ["Leaving"]
eugos has joined #ocaml
mlh has quit [Client Quit]
CapNemo has left #ocaml []
gim has quit [Read error: 110 (Connection timed out)]
gim has joined #ocaml
karryall has joined #ocaml
rifleman has joined #ocaml
gim has quit [Read error: 110 (Connection timed out)]
gim has joined #ocaml
Submarine has joined #ocaml
gim has quit [Read error: 113 (No route to host)]
gim has joined #ocaml
gim has quit [Read error: 113 (No route to host)]
Herrchen_ has quit ["bye"]
gim has joined #ocaml
<vincenz> ^_^
<eugos> japanese smilies? ;)
<eugos> they are nice
CosmicRay has joined #ocaml
eugos has quit ["Leaving"]
<vincenz> No I'm raising my eyebrows at CapNemo's comments
<karryall> anyone know of the new meta format strings in ocaml CVS ?
<karryall> hmm, apparently no
<karryall> nevermind
karryall has quit ["seeya"]
pangoafk has quit ["Client exiting"]
pango has quit [Nick collision from services.]
pango has joined #ocaml
petchema_ has joined #ocaml
petchema_ has quit [Client Quit]
pango has quit [Client Quit]
pango has joined #ocaml
gim has quit [Read error: 110 (Connection timed out)]
gim has joined #ocaml
pango has quit [Nick collision from services.]
pango has joined #ocaml
karryall has joined #ocaml
haakonn has quit [Read error: 110 (Connection timed out)]
haakonn has joined #ocaml
haakonn has quit [Remote closed the connection]
haakonn has joined #ocaml
haakonn has quit [Read error: 104 (Connection reset by peer)]
haakonn has joined #ocaml
haakonn has quit [Read error: 104 (Connection reset by peer)]
haakonn has joined #ocaml
haakonn has quit [Read error: 104 (Connection reset by peer)]
malc_ has joined #ocaml
monochrom has joined #ocaml
Kevin__ has joined #ocaml
Riastradh has quit ["restarting"]
Riastradh has joined #ocaml
Submarine has quit ["Leaving"]
karryall has quit ["leave"]
vezenchio has quit ["smile, Rakka ..."]
malc_ has quit [Read error: 60 (Operation timed out)]
richb has joined #ocaml
smimou has quit ["?"]
kinners has joined #ocaml
richb has quit ["Leaving"]
Hadaka has quit [Read error: 110 (Connection timed out)]
Naked has joined #ocaml
Naked is now known as Hadaka
Hadaka has quit [Remote closed the connection]
Naked has joined #ocaml
Naked is now known as Hadaka