Yurik changed the topic of #ocaml to: http://icfpcontest.cse.ogi.edu/ -- OCaml wins | http://www.ocaml.org/ | http://caml.inria.fr/oreilly-book/ | http://icfp2002.cs.brown.edu/ | SWIG now supports OCaml| Early releases of OCamlBDB and OCamlGettext are available
Kinners has left #ocaml []
lament has quit [Read error: 54 (Connection reset by peer)]
mattam_ has quit ["leaving"]
<mellum> Does anybody have experience with the performance of Int64? is it well-optimized?
Kinners has joined #ocaml
Kinners has left #ocaml []
lament has joined #ocaml
engstad has left #ocaml []
stepcut has quit [Remote closed the connection]
TimFreeman has joined #ocaml
TimFreeman has left #ocaml []
jemfinch has joined #ocaml
skylan has quit ["Reconnecting"]
skylan has joined #ocaml
mattam has joined #ocaml
lament has quit ["Did you know that God's name is ERIS, and that He is a girl?"]
matkor has joined #ocaml
lyn has joined #ocaml
matkor has quit ["Client Exiting"]
jemfinch has quit [Read error: 60 (Operation timed out)]
jemfinch has joined #ocaml
rox|fastasleep is now known as rox
lyn has quit [Read error: 60 (Operation timed out)]
mellum has quit [Read error: 60 (Operation timed out)]
mellum has joined #ocaml
TachYon26 has joined #ocaml
esabb has quit ["Client Exiting"]
jemfinch has quit [Read error: 60 (Operation timed out)]
esabb has joined #ocaml
mattam_ has joined #ocaml
mattam has quit [Read error: 60 (Operation timed out)]
malc has joined #ocaml
Dalroth has joined #ocaml
mrvn_ is now known as mrvn
<mrvn> moin
<mrvn> I want to define a * operator for a skalar mutiplication with a tuple:
<mrvn> let ( *!) (x, y) s = (x *.s , y *. s)
<mrvn> let ( *!) s (x, y) = (x *.s , y *. s)
<mrvn> Can i combine those two with polimorphism that both work?
<smkl> nope
malc has quit [Read error: 110 (Connection timed out)]
<Smerdyakov> mrvn, and why not just have separate *! and !* ?
<mellum> How can I do a shift? as in 1 << x?
<mrvn> Isn't !* unary?
<mellum> ah, it's lsl
<Smerdyakov> mrvn, I actually know OCaml myself.... that would work fine in SML ;-)
<Smerdyakov> s/actually/actually don't
<mellum> Hm, and how do I do binary and?
__sushi_ has joined #ocaml
<smkl> land
asqui has quit [Read error: 110 (Connection timed out)]
<mellum> smkl: thanks
<Smerdyakov> Hm... I prefer how SML has bitwise operations defined on a separate word type, not int.
<Smerdyakov> After all, int could be infinite precision!
<Smerdyakov> How do you bitwise negate it? =)
asqui has joined #ocaml
TachYon26 has quit ["bez ki³y nie ma zaliczenia (z prawd studentek AM)"]
nkoza has joined #ocaml
<mellum> Smerdyakov: well, there are Int32 and Int64 types... although unfortunately ocaml generates crappy code for operations on them
lament has joined #ocaml
<mrvn> Smerdyakov: int is defined to have 30 or 62 bit precision in ocaml.
<Smerdyakov> How nice to have only one compiler ;-)
<mrvn> As soon as you port it to a 16 or 128 Bit cpu I'm sure that could change.
<mrvn> But 14 bit ints are realy limiting.
graydon has quit ["xchat exiting.."]
<Smerdyakov> The issue I brought up is infinite precision ints....
<Smerdyakov> Not 14 bit =D
<mrvn> 1 or 2th complement?
<mrvn> For bitwise operations you would have to compackt leading zeros and ones to make the type finite.
<Smerdyakov> Yes, this is why SML defines separate int and word types.
<mrvn> Wouldn't be hard to do, jst costs you another bit.
polin8 has quit [Read error: 60 (Operation timed out)]
systems has joined #ocaml
matkor has joined #ocaml
redcrosse has joined #ocaml
redcrosse has quit []
systems has quit [Read error: 60 (Operation timed out)]
<mattam_> got a weird bug, at least i think:
mattam_ is now known as mattam
<mattam> hm ?
matkor has quit ["Client Exiting"]
<mattam> damn X11 copy/paste not working...
<mattam> match highest with
<mattam> a::l -> asqui
<mattam> | [] -> failwith ("Weird BUG!!!")
<mattam> (there is at least one element in the list)
<mattam> This expression has type xsl_template * Xpath.primary_type
<mattam> but is here used with type 'a list
<mattam> now,
<mattam> highest;;
<mattam> gives This expression has type (xsl_template * Xpath.primary_type) list
<mattam> but is here used with type 'a * 'b
<mattam> it should at least choose one definitively, don't you think ?
<mattam> oops, recursive call :)
<mrvn> So you found the bug?
<mattam> yep
redcrosse has joined #ocaml
<mrvn> If in doubt add types at some strageic places
<mattam> the call was just some ~7 lines before...
emu has joined #ocaml
<asqui> How does "Richard" get abbreviated to "Dick"?
Dalroth has quit []
asquii has joined #ocaml
__sushi_ has quit [Connection timed out]
asqui has quit [Read error: 110 (Connection timed out)]
asquii has quit [Read error: 110 (Connection timed out)]
nkoza has quit ["Client Exiting"]
redcrosse has quit []
mrvn_ has joined #ocaml
asqui has joined #ocaml
esabb has left #ocaml []
lament has quit [Remote closed the connection]