flux changed the topic of #ocaml to: Yes, inria.fr is back up! | Discussions about the OCaml programming language | http://caml.inria.fr/ | 3.11.0beta1 available from http://caml.inria.fr/pub/distrib/ocaml-3.11/ | Or grab OCaml 3.10.2 from http://caml.inria.fr/ocaml/release.html
vixey has quit [Network is unreachable]
tomh has quit ["http://www.mibbit.com ajax IRC Client"]
willb has joined #ocaml
Camarade_Tux has quit [Read error: 104 (Connection reset by peer)]
Camarade_Tux has joined #ocaml
jlouis has quit [Remote closed the connection]
threeve has joined #ocaml
Camarade_Tux has quit ["Leaving"]
<rogo> ?
jknick has joined #ocaml
Smerdyakov has joined #ocaml
rhar has joined #ocaml
aryx has joined #ocaml
christos_ has joined #ocaml
aryx has left #ocaml []
|Jedai| has joined #ocaml
Amorphous has quit [Read error: 110 (Connection timed out)]
christos_ has quit []
Amorphous has joined #ocaml
rhar has quit [Read error: 60 (Operation timed out)]
Jedai has quit [Read error: 110 (Connection timed out)]
jeddhaberstro has quit []
jeddhaberstro has joined #ocaml
snhmib has joined #ocaml
snhmib has quit ["Good riddance!"]
jeddhaberstro has quit []
apples` has quit ["Leaving"]
pango has quit [Remote closed the connection]
pango has joined #ocaml
slash_ has quit [Client Quit]
threeve has quit []
code17 has joined #ocaml
code17 has quit [Client Quit]
mattam has quit [Read error: 110 (Connection timed out)]
pango has quit [Remote closed the connection]
pango has joined #ocaml
ygrek has joined #ocaml
Yoric[DT] has joined #ocaml
<Yoric[DT]> hi
<det> Hi
<det> Was it a conscious decision to use raise an exception style instead of return an option style in Batteries?
<det> I find exception style code more awkward to work with than option style. Also, it seems you must convert to an option in order to get proper tail recursion when using such functions in a loop.
<det> And I also noticed some "depreciated" exceptionless modules in Batteries.
sporkmonger has quit []
<Yoric[DT]> They need to be updated.
<Yoric[DT]> We hope to have complete support for both exception-style and option-style returns by release 1.
<det> Is exception style significantly more efficient or something (Is the allocation a big deal) ? If not, why not just use option style ?
<Yoric[DT]> Well, it's significantly faster -- and there's backwards compatibility with Extlib and/or the base library.
<Yoric[DT]> For more details on exception performance, see http://dutherenverseauborddelatable.wordpress.com/downloads/exception-monads-for-ocaml/ .
<det> K, thanks.
<flux> the exception style too can be convenient at times
<Yoric[DT]> There's certainly that, too.
det has quit [Remote closed the connection]
det has joined #ocaml
_zack has joined #ocaml
<Yoric[DT]> Time to catch a train.
<Yoric[DT]> Cheers.
Yoric[DT] has quit ["Ex-Chat"]
smimou has joined #ocaml
mishok13 has joined #ocaml
velco has joined #ocaml
ygrek has quit [Remote closed the connection]
ulfdoz has joined #ocaml
_zack has quit ["Leaving."]
velco has quit ["Ex-Chat"]
Camarade_Tux has joined #ocaml
ygrek has joined #ocaml
<flux> btw, regarding the |>-operator discussion from yesterday: I've used (@.) :)
Camarade_Tux has quit ["Leaving"]
filp has joined #ocaml
rwmjones has joined #ocaml
glondu has joined #ocaml
velco has joined #ocaml
rwmjones has quit ["Closed connection"]
Kerris4 has quit ["Leaving."]
Nutssh has joined #ocaml
code17 has joined #ocaml
OChameau has joined #ocaml
johnnowak has joined #ocaml
purple is now known as Guest94762
Spiwack has joined #ocaml
asabil has joined #ocaml
<asabil> hi all
jknick has quit ["leaving"]
_zack has joined #ocaml
Nutssh has quit ["Client exiting"]
sporkmonger has joined #ocaml
_zack has quit ["Leaving."]
_zack has joined #ocaml
snhmib has joined #ocaml
Yoric has joined #ocaml
mattam has joined #ocaml
<Yoric> hi again
tomh has joined #ocaml
johnnowak has quit []
vixey has joined #ocaml
sporkmonger has quit []
munga_ has joined #ocaml
hkBst has joined #ocaml
Snark has joined #ocaml
_zack has quit ["Leaving."]
_zack has joined #ocaml
sporkmonger has joined #ocaml
marmotine has joined #ocaml
l_a_m has joined #ocaml
xevz_ has joined #ocaml
xevz has quit [Read error: 54 (Connection reset by peer)]
xevz_ is now known as xevz
Kerris4 has joined #ocaml
damg has joined #ocaml
tomh has quit ["http://www.mibbit.com ajax IRC Client"]
tomh has joined #ocaml
tomh- has joined #ocaml
tomh has quit [Client Quit]
willb has quit ["Leaving"]
* _zack is having a first look at Batteries / Netchannels integration
<_zack> since I've to work on a project with Netchannels, why don't try to use it from Batteries? :)
willb has joined #ocaml
hkBst_ has joined #ocaml
hkBst has quit [Nick collision from services.]
hkBst_ is now known as hkBst
kattla has joined #ocaml
Associat0r has joined #ocaml
Snark has quit [Read error: 113 (No route to host)]
jeremiah has joined #ocaml
threeve has joined #ocaml
doy has left #ocaml []
damg has quit [Remote closed the connection]
pango has quit [Remote closed the connection]
asabil has quit ["Ex-Chat"]
Snark has joined #ocaml
pango has joined #ocaml
vixey has quit ["Ex-Chat"]
vixey has joined #ocaml
Yoric has quit [Remote closed the connection]
mishok13 has quit [Read error: 110 (Connection timed out)]
Camarade_Tux has joined #ocaml
filp has quit ["Bye"]
Axle has joined #ocaml
jlouis has joined #ocaml
ygrek has quit [Remote closed the connection]
Spiwack has quit [Remote closed the connection]
hkBst has quit [Remote closed the connection]
hkBst has joined #ocaml
hkBst has quit [Remote closed the connection]
hkBst has joined #ocaml
velco has quit ["Went wasting time elsewhere ..."]
dabd has joined #ocaml
<flux> apparently some people also use % for function composition
<flux> but its associtivity is wrong
<vixey> that's crazy
<vixey> % doesn't look like a ring
Axle has left #ocaml []
thelema has quit [Read error: 110 (Connection timed out)]
WatersOfOblivion has joined #ocaml
<det> |> and |- are fine to me
<det> just the associativity of their reverses is wrong
<det> I wouldn't mind a camlp4 solution
<vixey> I think that |> and |- are absolutely awful
dabd has quit [Remote closed the connection]
<flux> det, I suppose camlp4 is the way, although in a sense it does reduce the easiness ocaml code can now be understood; the associativity and priority of an operator is defined by its first character
Yoric[DT] has joined #ocaml
<det> what characters are available for the reverse associativity ?
<flux> you can see the table here: http://caml.inria.fr/pub/docs/manual-ocaml/expr.html
<Yoric[DT]> Still discussing infix operators?
<flux> (btw, if batteries were to make changes to that, it would be a good idea to provide a revised table)
<flux> sure
* Yoric[DT] ponders replacing -|, |-, <| and |> with <@, @>, <@@, @@>
<vixey> oh I don't think that's a good idea
<vixey> you don't rally want to have <@ <@@ or @@>
<flux> really?
<flux> vixey, what was the good idea again?
<vixey> only a function compose (c <- b) -> (b <- a) -> (c <- a)
<vixey> just adding in these other ones for completeness or something, it can be detremental I think
dabd has joined #ocaml
<Yoric[DT]> I have a question of English.
<Kerris4> Yoric[DT]: comedy Japanese option: <(^_^<),(>^_^)>,<(^_^<)^_^<),(>^_^(>^_^)>
<Yoric[DT]> Kerris4: :)
<Yoric[DT]> If you see the word "cum" in a paper about computer science, does that shock you?
<Yoric[DT]> (I was running out of synonyms for "catch", "with", etc.)
<Yoric[DT]> But one of my co-writers seem to believe that this may be ill-interpreted.
<vixey> lol Kerris4
<Yoric[DT]> s/seem/seems/
<vixey> Yoric[DT]: what is the intended meaning?
<Yoric[DT]> "with"
<Kerris4> Yoric[DT]: I think most academics will read that as latin
<vixey> really I did not know that is a latin word
<Yoric[DT]> Well, I certainly wrote that as latin.
<vixey> but why can't you use 'with'?
<Yoric[DT]> vixey: nope, need synonyms :)
<vixey> ohwell
<Yoric[DT]> (actually, it's a function name in OCaml, so I can't call it "with")
<flux> with'
<flux> with_
<flux> I do that sometimes ;)
<Yoric[DT]> I could call it "wth" or "_with" or anything such, but that doesn't look quite as nice as "cum", in my eyes.
<flux> class_ in c++, perhaps class' in ocaml
* Yoric[DT] would rather be implementing new features in Batteries Included than working on this paper.
<vixey> I think teh language ocaml is working against it.. not allowing unicode operators
<vixey> but then again, typing unicode symbols is something not everyone is used ot
<flux> I'm sure people would be happy with the ö-operator
<flux> it's unused and it has the ring
velco has joined #ocaml
<flux> plus I can type it conveniently
<vixey> lol
<flux> infact, if I'll ever write my own language, ö will be the function composition operator ;)
<mbacarella> i don't know how many times i've looked up the definition of powerset
<mbacarella> i can never write one cold
<mbacarella> i think i need to concoct some kind of life or death situation so i can force myself to learn it
<Yoric[DT]> I have your wife.
<Yoric[DT]> I want the powerset.
<Yoric[DT]> You have 15 minutes to deliver it.
<Yoric[DT]> (add spooky pseudo-Russian accent)
<Yoric[DT]> Or else...
<flux> I remember a story about a russian mathematician needing to prove that he indeed is a mathematician under the threat of his life, but I can't remember the specifics..
<mbacarella> you bastard!
<Yoric[DT]> Niahahahahahahahahaha.
<flux> (and for some reason my breadcrumbs extension in firefox which is supposed to store every page I visit, doesn't know it either)
<Yoric[DT]> (source: Jeremy Irons, _Dungeons and Dragons_)
<det> what about "using" (instead of cum)
OChameau has quit ["Leaving"]
filp has joined #ocaml
<Yoric[DT]> possibly
<Camarade_Tux> <Yoric[DT]> (actually, it's a function name in OCaml, so I can't call it "with")
<Camarade_Tux> so you actually write "let('s) cum" ? =D
<Yoric[DT]> tsss
<Yoric[DT]> No, I didn't.
<Yoric[DT]> It was the name of an argument to a function which happened to be a function itself.
<Camarade_Tux> hehe ;)
sporkmonger_ has joined #ocaml
sporkmonger has quit [Read error: 60 (Operation timed out)]
Camarade_Tux has quit ["Leaving"]
Kerris0 has joined #ocaml
thelema has joined #ocaml
filp has quit ["Bye"]
Camarade_Tux has joined #ocaml
Camarade_Tux has quit [Client Quit]
<mbishop> _zack: thanks for the i386 package of alpha 2 :D
* mbishop installs now
<_zack> mbishop: you're welcome
Camarade_Tux has joined #ocaml
ofaurax has joined #ocaml
_zack has quit ["Leaving."]
<mbishop> Ohhh, initialization of modules is neat, and the example for random is exactly what I would use it for heh
code17 has quit [Remote closed the connection]
<Yoric[DT]> :)
* Yoric[DT] is actually using these shuffle programs in class, to decide which students will get marks.
<mbishop> haha
code17 has joined #ocaml
vixey has quit [No route to host]
<mbishop> Hmm
<mbishop> what's the reasoning behind -- and --- being different only by the latter allowing reverse? why not allow -- to do both?
<Yoric[DT]> Note that there's a bug in -- (unless _zack took the snapshot after I've fixed it).
<Yoric[DT]> Well, sometimes you expect your interval [|a, b|] to be empty if b < a, sometimes not.
<Yoric[DT]> I can find uses for both.
<mbishop> Hmm, fair enough
apples` has joined #ocaml
<mbishop> Another question, why was mod renamed to modulo? I know that's the full name, but why not stick with mod?
<Yoric[DT]> mod is an operator
<Yoric[DT]> We can't redefine it.
<Yoric[DT]> mod is an operator *which we can't redefine* , that is
<mbishop> Ah, and modulo is different?
Snark has quit ["Ex-Chat"]
<mbishop> oh
<mbishop> yeah I see the difference heh
<Yoric[DT]> iirc, modulo is redefined for each numeric type
<mbishop> yeah, I see it in Complex and stuff
<mbishop> Anyway, great work, this is looking really neat :)
<Yoric[DT]> :)
_zack has joined #ocaml
rwmjones has joined #ocaml
vixey has joined #ocaml
sporkmonger has joined #ocaml
kg4qxk` has joined #ocaml
velco has quit [kornbluth.freenode.net irc.freenode.net]
hkBst has quit [kornbluth.freenode.net irc.freenode.net]
kattla has quit [kornbluth.freenode.net irc.freenode.net]
glondu has quit [kornbluth.freenode.net irc.freenode.net]
mehdid has quit [kornbluth.freenode.net irc.freenode.net]
Demitar has quit [kornbluth.freenode.net irc.freenode.net]
maxote has quit [kornbluth.freenode.net irc.freenode.net]
WatersOfOblivion has quit [kornbluth.freenode.net irc.freenode.net]
tsuyoshi has quit [kornbluth.freenode.net irc.freenode.net]
tab has quit [kornbluth.freenode.net irc.freenode.net]
mehdid has joined #ocaml
ecc_ has joined #ocaml
snhmib has quit ["Good riddance!"]
snhmib has joined #ocaml
snhmib has quit [Remote closed the connection]
ecc has quit [Read error: 60 (Operation timed out)]
snhmib has joined #ocaml
snhmib has quit [Client Quit]
sporkmonger_ has quit [Read error: 110 (Connection timed out)]
ofaurax has quit [Client Quit]
snhmib has joined #ocaml
kg4qxk has quit [Connection timed out]
<mbacarella> is there a better interface than opendir/readdir for getting a list of files in a directory?
velco has joined #ocaml
hkBst has joined #ocaml
kattla has joined #ocaml
glondu has joined #ocaml
Demitar has joined #ocaml
maxote has joined #ocaml
<gildor> mbacarella: you can use ocaml-fileutils
<gildor> the "ls" function
WatersOfOblivion has joined #ocaml
tsuyoshi has joined #ocaml
tab has joined #ocaml
snhmib has quit [Client Quit]
snhmib has joined #ocaml
sporkmonger has quit [Read error: 60 (Operation timed out)]
<Yoric[DT]> gildor: is ocaml-fileutils packaged for Debian, Fedora, GODI?
* Camarade_Tux finally found out that the order in readdir was the order in which files had been created and can be obtained with 'ls -f' :)
psnively has joined #ocaml
<Yoric[DT]> Camarade_Tux: your GODI package, does it require Batteries?
rwmjones has quit ["Closed connection"]
<Camarade_Tux> Yoric[DT], it was not me on the godi mailing-list, more probably det but I don't know if implemented more than file listing in the end
<Yoric[DT]> Oh, sorry, my bad.
<Camarade_Tux> np, I'll work on that on tomorrow hopefully :)
WatersOfOblivion has quit []
<gildor> Yoric[DT]: for the three i think
<gildor> debian for sure
<gildor> godi also
<gildor> and fedora
_zack has quit ["Leaving."]
<Yoric[DT]> good
<gildor> Yoric[DT]: I have checked the three distro and they all seems there
<Yoric[DT]> afk
<gildor> Yoric[DT]: but I have a better version standing in my svn with doc improvement and bug fix
<Camarade_Tux> well, good night
Camarade_Tux has quit ["Leaving"]
Kerris0 has quit [Read error: 60 (Operation timed out)]
marmotine has quit ["mv marmotine Laurie"]
velco has quit ["Ex-Chat"]
<Yoric[DT]> gildor: ok, I'll need to take a look at this library.
<Yoric[DT]> Looks like it would fit nicely within Batteries.
<gildor> Yoric[DT]: the documentation is messy
<gildor> and some interface
<gildor> I have reworked that in the soon to come version
<Yoric[DT]> Ok.
<Yoric[DT]> Anyway, time to call it a nnight.
<gildor> but I cannot release before ending my actual work
<Yoric[DT]> Cheers.
<Yoric[DT]> Sure.
<gildor> night
Yoric[DT] has quit ["Ex-Chat"]
<mbishop> oh that reminds me
<mbishop> any chance of getting coThreads into Batteries?
jeddhaberstro has joined #ocaml
threeve has quit ["Leaving"]
willb has quit [Read error: 113 (No route to host)]
snhmib has quit ["Good riddance!"]
vixey has quit ["Ex-Chat"]