<_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)]