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_>
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
<
Smerdyakov>
Stronger than a pony?
<
systems>
never met a pony
<
Smerdyakov>
You are about to meet one thousand very mean ponies.
<
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>
because algorithms to solve that are really complicated
<
yinnte>
and not polynomial in least case
<
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)
<
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?
<
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.
<
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.
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?
<
drWorm>
hm, sml :)
<
drWorm>
hm, thanks
pattern has quit [Read error: 110 (Connection timed out)]