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
dax has quit [Read error: 110 (Connection timed out)]
maihem has quit ["Client exiting"]
dax has joined #ocaml
The-Fixer has joined #ocaml
jdmarshall has joined #ocaml
_JusSx_ has quit ["BitchX: no this is NOT a cybersex client"]
wuuru has joined #ocaml
cjohnson has quit ["Got to be good lookin' 'cause he's so hard to see."]
cmeme has quit [Remote closed the connection]
cmeme has joined #ocaml
cmeme has quit [Read error: 104 (Connection reset by peer)]
cmeme has joined #ocaml
wiml has joined #ocaml
dax has quit [Read error: 60 (Operation timed out)]
buggs has joined #ocaml
wiml has left #ocaml []
dax has joined #ocaml
dax has quit [Read error: 110 (Connection timed out)]
dax has joined #ocaml
_JusSx_ has joined #ocaml
dax has quit [Read error: 110 (Connection timed out)]
tomasso has quit [Read error: 110 (Connection timed out)]
tomasso has joined #ocaml
dax has joined #ocaml
systems has joined #ocaml
<_JusSx_> l
<_JusSx_> wuuru : heya
<_JusSx_> wuuru : are u there?
<_JusSx_> HAPPY NEW YEAR to all the #channel
<Smerdyakov> Why do you feel the need to say that so often?
<_JusSx_> for letting ppl like you saying somthing like that
<Smerdyakov> Ah. Then it all comes full circle. Thank you for this opportunity.
<systems> ocaml ownzor all programmin langz
<systems> YEA BABY YEA
* Smerdyakov Drops The Bomb on systems.
<systems> i am stonger
<systems> i rule
<Smerdyakov> Stronger than a pony?
<systems> never met a pony
<Smerdyakov> You are about to meet one thousand very mean ponies.
<systems> only one
<Smerdyakov> You are wrong.
<systems> block your mind, become blind
<systems> am not wrong, am too strong
<Smerdyakov> I'm sorry, Dave, but I cannot do that.
<systems> why are you bringing dave in this
<Smerdyakov> Why are you using "in" where "into" belongs?
<systems> dave is out
<Smerdyakov> Well, I can answer _that_ one for you.
<Smerdyakov> It is because you are subhuman scum.
<systems> no am not
<systems> and calling me names doesn't make me worse, it makes you worse
<Smerdyakov> Stating a fact isn't intended to make it true. It already is true.
<Smerdyakov> Now why don't you... go get some Advanced Linux Certification!
<systems> i don't believe in certifications
<Smerdyakov> Go get some, you big baby!
<systems> you are so mean
systems has left #ocaml []
buggs|afk has joined #ocaml
buggs has quit [Read error: 110 (Connection timed out)]
mattam_ has joined #ocaml
buggs|afk has quit [Read error: 60 (Operation timed out)]
mattam has quit [Read error: 110 (Connection timed out)]
owll has joined #ocaml
owll has quit [Client Quit]
dax has quit [Read error: 60 (Operation timed out)]
mattam_ is now known as mattam
cjohnson has joined #ocaml
yinnte has joined #ocaml
<drWorm> is there a date type defined anywhere in ocaml?
<yinnte> there is no one in standard library
<drWorm> ok, i'll just write my own
<yinnte> it'll be faster than search for one
<drWorm> int * int * int :)
<yinnte> yes exactly
<drWorm> is there any way to restrict the range of values in types, so that dates like 32. december 2003 is impossible?
<yinnte> you have to do that in your constructor
<yinnte> because ocaml typer doesn't support subtyping
<drWorm> yes i figured, but that doesn't really solve the problem
<drWorm> ah, so that's what subtyping is
<yinnte> it cannot make difference between 1--10 and int
<drWorm> that would be really cool though :/
<drWorm> any functional languages that has subtyping? (stupid question maybe)
<yinnte> afaik no
<yinnte> because algorithms to solve that are really complicated
<drWorm> ah yeah
<yinnte> and not polynomial in least case
<yinnte> :/
<yinnte> s/least/hardest
<Smerdyakov> Subtyping is a general idea, where all values of one type are also values of another more general type.
<Smerdyakov> OCaml itself has subtyping for classes.
<yinnte> yes but you can't do that with core types
<Smerdyakov> Sure, though it is very easy to do with core types if you adopt a clear convention, like using modular arithmetic.
<Smerdyakov> (Speaking about the ranged integer types mentioned earlier)
<yinnte> right
<drWorm> subtyping for classes is the same as inheritance, i assume?
<Smerdyakov> Not in OCaml.
<Smerdyakov> It is in Java, C++, and such.
<Smerdyakov> Class subtyping in OCaml is purely structural.
<drWorm> but ocaml has inheritance in addition?
<Smerdyakov> No.
<drWorm> interesting :)
<Smerdyakov> There's an "inherit" keyword that is analogous to "open."
<drWorm> i haven't played with classes yet
<Smerdyakov> But it has no special role.. it's just a convenience.
<drWorm> ok
<Smerdyakov> Well, I guess it's a bit more complicated than "open." But the fact that it was used makes no difference in the type of a class.
<drWorm> i see
cmeme has quit [Read error: 104 (Connection reset by peer)]
cmeme has joined #ocaml
cmeme has quit [Remote closed the connection]
cmeme has joined #ocaml
dax has joined #ocaml
yinnte has quit ["leaving"]
tomasso has quit [Read error: 60 (Operation timed out)]
tomasso has joined #ocaml
pattern has joined #ocaml
<drWorm> haha, very important to know when to group statements (like; so) with paranthesis, or it can have some extremely unexpected bugs :)
<Smerdyakov> Yes. I find the OCaml precedence rules inconsistent.
<Smerdyakov> Like different rules for match vs. if.
<drWorm> suddenly my function wasn't tail recursive anylonger, very slow and seemed to recurse *backwards* sometimes :)
<drWorm> Smerdyakov: exactly
<drWorm> this was an if
_JusSx_ has quit ["BitchX-1.0c19 -- just do it."]
tomasso has quit [Read error: 60 (Operation timed out)]
tomasso has joined #ocaml
<drWorm> i'm looking at doing some CGI with ocaml, are there any libraries for this?
<Smerdyakov> No, but if you like SML see my http://smlweb.sf.net/ :-)
<drWorm> hm, sml :)
<Maddas> google finds http://www.lri.fr/~filliatr/ftp/ocaml/cgi/ , but it seems a bit outdated
<drWorm> hm, thanks
pattern has quit [Read error: 110 (Connection timed out)]