mbishop changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | Grab Ocaml 3.10.0 from http://caml.inria.fr/ocaml/release.html (featuring new camlp4 and more!)
smimou has quit ["bli"]
vorago_ has joined #ocaml
vorago has quit ["leaving"]
vorago_ is now known as vorago
psnively has quit []
piggybox3 is now known as piggybox
benny has joined #ocaml
benny_ has quit [Read error: 110 (Connection timed out)]
malc_ has quit ["leaving"]
shawn_ has joined #ocaml
seafoodX has joined #ocaml
shawn_ has quit ["This computer has gone to sleep"]
shawn_ has joined #ocaml
visage has quit []
shawn_ has quit [Read error: 113 (No route to host)]
G has quit ["Kernel Upgrade"]
joshcryer has quit [Read error: 110 (Connection timed out)]
joshcryer has joined #ocaml
G has joined #ocaml
TFKv2 has joined #ocaml
bluestorm_ has joined #ocaml
TFK has quit [Read error: 110 (Connection timed out)]
pango has quit [Remote closed the connection]
pango has joined #ocaml
shawn_ has joined #ocaml
shawn_ has quit [Connection timed out]
shawn_ has joined #ocaml
ygrek has joined #ocaml
Clintach has joined #ocaml
smimou has joined #ocaml
lde has quit [Read error: 110 (Connection timed out)]
lde has joined #ocaml
smimou has quit ["bli"]
seafoodX has quit []
piggybox3 has joined #ocaml
piggybox has quit [Read error: 110 (Connection timed out)]
Alfred_ has joined #ocaml
mrael has quit [Read error: 110 (Connection timed out)]
Mr_Awesome has quit ["time to impregnate a moth"]
<fremo> FIFO stack in ocaml...
<rwmjones> ?
<fremo> .. I wonder who to do it... Arrays ? ...
<fremo> open Queues :)
<fremo> -s
<rwmjones> fremo, try two lists back to back, just a sec
<fremo> on to push and the other to pop and fill when pop list empty ?
<rwmjones> actually, OCaml has a Queue module
<rwmjones> but if you want a persistent structure, then the two-lists trick works
<fremo> persistent for marshaling ?
<fremo> what is this trick ? :)
<rwmjones> no persistent as in purely functional
<rwmjones> sorry, I'm sick as a pike today so brain not functioning .. I'll find that web page eventually .....
<fremo> ok, without arrays ?
<fremo> ok, thank you, dont bother, I'll find it
<rwmjones> and go down to:
<rwmjones> "Following is a simple example, taken from Chris Okasaki's excellent and readable PhD thesis, Purely Functional Data Structures ..."
<rwmjones> and continue reading from there
<rwmjones> that's an O(1) (amortised) persistent queue structure
<fremo> great :)
tty56 has joined #ocaml
tty56_ has quit [Read error: 110 (Connection timed out)]
<ygrek> is this document relevant to the current version of ocaml - http://caml.inria.fr/pub/old_caml_site/ocaml/numerical.html ?
<rwmjones> ygrek, yes I think so
<ygrek> no loop-irrelevant code elimination?
<rwmjones> not last time I looked ... I had to do code movement by hand
_blackdog has joined #ocaml
<ygrek> ok, thanks, it is a little bit surprising..
tty56 has quit [Read error: 104 (Connection reset by peer)]
np has joined #ocaml
_blackdog has quit [Remote closed the connection]
_blackdog has joined #ocaml
np has quit ["ChatZilla 0.9.78.1 [Firefox 2.0.0.4/2007051502]"]
_blackdog has left #ocaml []
yodafinger_ has joined #ocaml
yodafinger_ is now known as yodafinger
Modius has quit [Connection timed out]
Smerdy has joined #ocaml
smimou has joined #ocaml
Smerdyakov has quit [Read error: 110 (Connection timed out)]
pango has quit [Remote closed the connection]
slipstream has joined #ocaml
pango has joined #ocaml
kelaouchi has quit ["leaving"]
Smerdy is now known as Smerdyakov
Alfred_ is now known as Alfred___
Alfred___ is now known as Alfred____
ygrek has quit [Remote closed the connection]
ygrek has joined #ocaml
kelaouchi has joined #ocaml
kelaouchi has quit [Client Quit]
kelaouchi has joined #ocaml
screwt8 has quit [Read error: 104 (Connection reset by peer)]
visage has joined #ocaml
slipstream has quit ["leaving"]
love-pingoo has joined #ocaml
screwt8 has joined #ocaml
Modius has joined #ocaml
smimram has joined #ocaml
oxylin has joined #ocaml
kelaouchi has quit [Client Quit]
smimou has quit [Read error: 110 (Connection timed out)]
smimram is now known as smimou
visage has quit []
malc_ has joined #ocaml
oxylin has quit ["Ex-Chat"]
love-pingoo has quit ["Connection reset by pear"]
malc_ has quit ["leaving"]
kelaouchi has joined #ocaml
slipstream has joined #ocaml
Len1 has joined #ocaml
Mr_Awesome has joined #ocaml
descender has quit ["Elegance has the disadvantage that hard work is needed to achieve it and a good education to appreciate it. - E. W. Dijkstra"]
yodafinger has quit [Read error: 110 (Connection timed out)]
kelaouchi has quit [Client Quit]
qwwqe has joined #ocaml
piggybox has joined #ocaml
piggybox3 has quit [Success]
Submarine has joined #ocaml
Mr_Awesome has quit ["time to impregnate a moth"]
<fremo> Is it possible to get an exception backtrace in a try with bloc ?
Mr_Awesome has joined #ocaml
ygrek has quit []
slipstream has quit [Read error: 104 (Connection reset by peer)]
malc_ has joined #ocaml
<pango> fremo: not afaik, only on uncaught exceptions
<fremo> ok thanks :)
love-pingoo has joined #ocaml
revax has joined #ocaml
Smerdyakov has quit ["Leaving"]
Clintach has quit [Read error: 113 (No route to host)]
psnively has joined #ocaml
eu-prleu-peupeu has joined #ocaml
<eu-prleu-peupeu> hello
bohanlon has joined #ocaml
qwwqe has quit ["Leaving"]
qwwqe has joined #ocaml
<psnively> Howdy!
<eu-prleu-peupeu> :)
<eu-prleu-peupeu> are OCaml applications single-threaded ?
<psnively> Not necessarily; there's actually good thread support in the standard libraries.
<psnively> However, you should be aware that the garbage collector is not concurrent.
<eu-prleu-peupeu> hmm i see
<psnively> It's thread-safe, of course, but not concurrent.
<psnively> You may also be interested in http://jocaml.inria.fr
<eu-prleu-peupeu> ahh this seems very good
<eu-prleu-peupeu> :)
<eu-prleu-peupeu> is this an extension ?
<psnively> Yes, but the new system is making a valiant effort to track the OCaml mainline aggressively. Indeed, you'll see that the current JoCaml is based on the current OCaml, 3.10.0.
<eu-prleu-peupeu> nice :)
<eu-prleu-peupeu> i read about MetaOCaml
<eu-prleu-peupeu> is it easy ou possible to mix MetaOCaml with JOCaml ?
<psnively> Yes. Someday one hopes that we will see a combined ConCoqMetaJoCamlDuce (to string together the various modified systems I'm familiar with)...
<psnively> Not that I'm aware of.
<eu-prleu-peupeu> very good
<eu-prleu-peupeu> maybe in OCaml 4 :P
<eu-prleu-peupeu> heheh
<eu-prleu-peupeu> im planning on learning OCaml, for 3D demos
<eu-prleu-peupeu> i tried to strip down some executables, so i can reduce their size, but they insist on not running
<eu-prleu-peupeu> it prints out an error that no bytecode was found
<psnively> My inclination would be not to worry about binary size.
<eu-prleu-peupeu> i tried them with the simple "strip" command, and then with UPX, both didn't work
<psnively> In any case, I believe that OCaml is an excellent choice for work in 3D. I presume you're using lablgl?
<malc_> erm that was for eu-prleu-peupeu
bohanlon has quit ["ERC Version 5.2 (IRC client for Emacs)"]
<psnively> Oh, how interesting. Thanks, malc_. :-)
<malc_> hmm... that ML archive is peculiar
<malc_> Date: NaN-NaN-NaN (NaN:NaN)
<malc_> wow
<eu-prleu-peupeu> psnively, im using glcaml because of 2.1
<eu-prleu-peupeu> it not that i need it right now
<eu-prleu-peupeu> im only testing, and learning the basic stuff of the language
<psnively> Ah, I see.
Alfred____ has quit [Read error: 104 (Connection reset by peer)]
<eu-prleu-peupeu> also i liked their stub to the Ocaml Graphic package
<eu-prleu-peupeu> to open a window with a GL context without using any external lib
<psnively> Yes. I wish someone would update labgl, though... I appreciate lablgl's type safety.
<eu-prleu-peupeu> i think it would be a good thing to try and build a 3D 'engine' with these concepts JOCaml introduces
<eu-prleu-peupeu> do you know of any 3D engine in OCaml ?
<psnively> Someone did a Quake-ish engine in OCaml... very simplified thing, IIRC.
<eu-prleu-peupeu> :)
<eu-prleu-peupeu> and their implementation of the vector, with those operators overloaded is quite ugly :/
<psnively> Yes. Well, there's another extension for you: gcaml.
<eu-prleu-peupeu> isn't there a better way to do operator overloading ? like really redefining the '+' and '+.' ?
bohanlon has joined #ocaml
qwwqe has quit [Read error: 110 (Connection timed out)]
<eu-prleu-peupeu> i have to go now, its 24h...
<eu-prleu-peupeu> ill look into that
<eu-prleu-peupeu> thanks a lot :)
<psnively> Good luck!
<eu-prleu-peupeu> thanx, ocaml seems very good :)
<psnively> I like it a lot!
<eu-prleu-peupeu> hasta la pasta
eu-prleu-peupeu has left #ocaml []
<Len1> hello guys, when you write (f a)::(g b), is f called before g or should I think more functionnal ?
<pango> Len1: either think more functional, or use a construct whose evaluation order is defined in the language
<pango> Len1: like let v = e1 in e2 <= e1 is evaluated before e2
thorat has joined #ocaml
<psnively> Len1: Try not to care. :-)
<Len1> psnively: I need to care, that's the point
<Len1> pango, thanks :)
<psnively> Well, hence "try." But if you can't avoid it, then pango's got the answer.
<pango> np
<psnively> And ask yourself if you could restructure your code to avoid the order-of-evaluation dependency.
<Len1> the restructure is the best solution but I have less then 11h left to finish my work
<psnively> Ah. Then let is indeed your friend.
<Len1> yes, simple to write, simple to read
<psnively> And perhaps a refactoring opportunity will arise at some future date... so, note to self. :-)
<psnively> Indeed!
<Len1> :)
kelaouchi has joined #ocaml
qwwqe has joined #ocaml
qwwqe_ has joined #ocaml
thorat has left #ocaml []
qwwqe has quit [Nick collision from services.]
qwwqe_ is now known as qwwqe