vect changed the topic of #ocaml to: OCaml 3.07 ! -- Archive of Caml Weekly News: http://pauillac.inria.fr/~aschmitt/cwn, ICFP'03 http://www.icfpcontest.org/, A tutorial: http://merjis.com/richj/computers/ocaml/tutorial/, A free book: http://cristal.inria.fr/~remy/cours/appsem, Mailing List (best ml ever for any computer language): http://caml.inria.fr/bin/wilma/caml-list
Etaoin has quit ["Client exiting"]
Kinners has left #ocaml []
Xolution has quit ["The riot be the rhyme of the unheard."]
Vincenz has joined #ocaml
rox has quit [Read error: 60 (Operation timed out)]
rox has joined #ocaml
brwill is now known as brwill_food
Smerdy has joined #ocaml
Smerdyakov has quit [Nick collision from services.]
Smerdy is now known as Smerdyakov
mattam_ is now known as mattam
<carm> ugh
<ayrnieu> carm ?
wazze has joined #ocaml
buggs|afk has joined #ocaml
buggs has quit [Nick collision from services.]
buggs|afk is now known as buggs
smimou has quit ["I like core dumps"]
gim has left #ocaml []
gim has joined #ocaml
gim has left #ocaml []
gim has joined #ocaml
buggs is now known as buggs|afk
gim has left #ocaml []
gim has joined #ocaml
brwill_food is now known as brwill
Etaoin has joined #ocaml
Herrchen has quit [Read error: 110 (Connection timed out)]
brwill is now known as brwill_zzz
Herrchen has joined #ocaml
lms has joined #ocaml
Vincenz has quit []
lms has quit ["bye"]
ayrnieu has quit ["new kernel"]
ayrnieu has joined #ocaml
_JusSx_ has joined #ocaml
Kinners has joined #ocaml
mimosa has joined #ocaml
<_JusSx_> hi mimosa
maihem has joined #ocaml
<mimosa> hi
<_JusSx_> you has got a flower name.
<_JusSx_> you have got a flower name.
<_JusSx_> are u a girl?
<mimosa> ahahah no I'm not
<mimosa> it's just a stupid pseudo-anagram on my name
<mimosa> anyway if I were a gril I would not be on #ocaml :)
<_JusSx_> mimosa: ?
<mimosa> girls are not usually intersted in programming languges and it's a shame
<_JusSx_> well i found an ocaml book written by 2 girls
<mimosa> I am studying computer science and there is not even a gril in my class...
<_JusSx_> lol
<_JusSx_> are u french?
<mimosa> yes
<_JusSx_> how old are u?
<drWorm> i'm probably the only non-french here, oh well
<_JusSx_> i'm not frenchù
<_JusSx_> i'm not french
<drWorm> oh :)
<_JusSx_> wuuru is russian
<_JusSx_> drWorm where are u from?
<drWorm> but it is a little curious that ocaml has such a large french following
<drWorm> _JusSx_: norway
<_JusSx_> ocaml is french
<drWorm> but it's usable outside france too
<_JusSx_> lol
<_JusSx_> yeah
<_JusSx_> mimosa do u have any exercise u make at school?
<_JusSx_> mimosa do u have any exercisesù u make at school?
<_JusSx_> mimosa do u have any exercises* u make at school?
<_JusSx_> drWorm : from oslo?
<drWorm> bergen
<_JusSx_> is it cold?
<mellum> reportedly, it rains all the time :)
<drWorm> it just stopped snowing now
<drWorm> mellum: yeah, except when it drops below zero :)
eternite_0 has joined #ocaml
<eternite_0> hi!
<mimosa> _JusSx_: sorry I was away
<mimosa> yes we do work at school....
<_JusSx_> mimosa how old are you?
<mimosa> 21
<_JusSx_> what kind of work u make at school?
<mimosa> well: prog, complexity, logics, algorithmics, etc
<_JusSx_> what's the project?
<mimosa> savonet.sourceforge.net
<_JusSx_> wow
<mimosa> you can checkout the cvs if you want
<_JusSx_> even a project registered at sourceforge
<mimosa> (there's no file release yet)
<_JusSx_> yeah
<_JusSx_> humm
<_JusSx_> i can download with cvs
<_JusSx_> are students at the ÉNS Lyon [I removed the link because the new site is really too ugly] in computer science)
<mimosa> it's just kinda joke
<mimosa> the new website is really ugly
<_JusSx_> ok
<_JusSx_> this is funny
<_JusSx_> you code in ocaml and your school can't afford a nice web site
<_JusSx_> don't worry. it's better programming with ocaml that programming with html
<mimosa> :)
<_JusSx_> so u use emacs for editing?
Kinners has left #ocaml []
<mimosa> yes
Maddas has joined #ocaml
buggs|afk is now known as buggs
<_JusSx_> wuuru : hey
wazze is now known as lus|wazze
<wuuru> _JusSx_: :-)
<_JusSx_> still alive? i think so. It's cold here
<wuuru> _JusSx_: quite a warm weather here, for December, like -3 C :-)
<mimosa> _JusSx_: are you part of the coding of infector (sub7) ?
<_JusSx_> i never coded infector or sub7
<_JusSx_> i tested infector for fc
<mimosa> ok
<_JusSx_> why?
<mimosa> just to know...
<_JusSx_> have u googled my mane?
<_JusSx_> have u googled my name?
<mimosa> of course :)
<_JusSx_> however i'm using linux not windows
<_JusSx_> so i don't use those stuff
<mimosa> <_JusSx_> VERSION mIRC32 v6.02 K.Mardam-Bey
<mimosa> linux ?
<_JusSx_> lol
<_JusSx_> yeah
<_JusSx_> it's fake
<mimosa> hum...
<_JusSx_> try now
<mimosa> ok
<mimosa> I did not know bitchX did that
<_JusSx_> you can scripting
<_JusSx_> i coded 4 progs (little projects) for windows. And stupid antivirus say those are viruses
<mimosa> héhé
<_JusSx_> wuuru ?
<wuuru> !
<_JusSx_> wuuru : why?
<wuuru> don't ask stupid questions :-)
<_JusSx_> ?
owll has joined #ocaml
owll has left #ocaml []
systems has joined #ocaml
Hipo has left #ocaml []
systems has left #ocaml []
eternite_0 has quit [Read error: 110 (Connection timed out)]
<drWorm> html isn't really programming either, strictly speaking
<drWorm> gah, disregard that, i was reading the backlog and not realizing it :P
drWorm has quit ["Lost terminal"]
systems has joined #ocaml
brwill_zzz is now known as brwill
brwill is now known as brwill_out
systems has quit [Read error: 60 (Operation timed out)]
teratorn has quit [Read error: 110 (Connection timed out)]
_JusSx__ has joined #ocaml
mattam_ has joined #ocaml
mattam has quit [Read error: 60 (Operation timed out)]
_JusSx_ has quit [Read error: 110 (Connection timed out)]
lus|wazze has quit ["If we don't believe in freedom of expression for people we despise, we don't believe in it at all -- Noam Chomsky"]
drWorm has joined #ocaml
<drWorm> the last argument to a function cannot be made optional, am i right?
<ayrnieu> I don't really know what you mean, worm.
<ayrnieu> worm - if you do not pass all arguments to a function, currying gives a new function that accepts the remaining arguments. If you pass no arguments to a function, you get that function again.
<drWorm> optional arguments as in 'let add x ?(y=10) = x + y'
<drWorm> ayrnieu: yes i know, but ocaml supports explicitly optional arguments :)
<ayrnieu> Ah.
<drWorm> my theory is if the last argument is made optional as in my example, that would conflict with currying
<ayrnieu> I# let add ?(x = 10) ?(y = -10) = x + y;;
<ayrnieu> Warning: This optional argument cannot be erased
<ayrnieu> val add : ?x:int -> ?y:int -> int = <fun>
<ayrnieu> But I don't know how you'd call that with no arguments =) Interesting.
<drWorm> yes, if you apply that function with only one argument, you get a function accepting the second
<ayrnieu> I know little about O'Caml, yet.
<drWorm> i'm just getting started too :)
<ayrnieu> Does O'Caml have an 'apply' function to call a function with a list of arguments?
<drWorm> you can easily write it yourself, anyway
<ayrnieu> Hoping for one that had already figured out this magic, but OK.
JX_ has quit [Read error: 110 (Connection timed out)]
JX has joined #ocaml
<mellum> actually, you cannot write an "apply" function in Ocaml, since it is not typeable within its type system
buggs has quit [Remote closed the connection]
<ayrnieu> ah, OK.
<Riastradh> Optional arguments in general conflict with currying. The label and optional argument mechanism in OCaml is a piece of crud that should be thrown out; use record arguments instead.
<mellum> Riastradh: how can you fake optional arguments with records?
<Riastradh> mellum, records with fields that have default values.
* Riastradh isn't sure if OCaml supports them.
<ayrnieu> It does.
<ayrnieu> The O'Caml Book describes it a point, IIRC.
<mellum> really? What's the syntax?
<ayrnieu> I don't have it handy, sorry.
<Riastradh> type foo = { bar : baz = quux } (* ? *)
<mellum> ain't compiling
<ayrnieu> What a horrible syntax, anyway.
<mellum> Well, it would've been the obvious syntax IMHO :)
<ayrnieu> No, I seem to have confused copying records and only changing certain fields with default arguments.
<ayrnieu> mellum - indeed? type foo = { age : int = 10 } ?
<Riastradh> [riastradh@Slate ~]% ledit ocaml
<Riastradh> Objective Caml version 3.07+1
<Riastradh> # type foo = { bar : int = 5 };;
<Riastradh> Syntax error
<mellum> ayrnieu: Uhm, what are you saing? That it works for you?
<ayrnieu> mellum - no, I respond to your "Well, it would've been the obivous syntax IMHO :)"
<Riastradh> ayrnieu, what would be obvious to you?
<ayrnieu> Something that didn't read as 'int = 10'
<smkl> there already is let a : int = 10 ...
<Riastradh> Obviously you haven't come up with a more obvious one; if you had, you'd have stated it.
<Riastradh> Therefore 'type foo = { bar : baz = quux }' is the most obvious. Hah!
gim_ has joined #ocaml
rox has quit ["Client exiting"]
rox has joined #ocaml
systems has joined #ocaml
systems has quit ["Client Exiting"]
brwill_out is now known as brwill
brwill has quit [Read error: 104 (Connection reset by peer)]
brwill has joined #ocaml
brwill is now known as brwill_out
_JusSx__ has quit ["BitchX Official WWW Site -- http://www.bitchx.com"]
gim_ has quit ["dodo"]
mimosa has quit ["I like core dumps"]
teratorn has joined #ocaml