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>
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?
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
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
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>
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?
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]