TeXitoi has quit [Read error: 60 (Operation timed out)]
Sonarman has joined #ocaml
mattam has quit [Read error: 54 (Connection reset by peer)]
mattam has joined #ocaml
Sonarman has quit [Read error: 104 (Connection reset by peer)]
Sonarman has joined #ocaml
cognominal has quit [Remote closed the connection]
cognominal has joined #ocaml
cognominal has quit [Remote closed the connection]
cognominal has joined #ocaml
cognominal has quit ["Leaving"]
cognominal has joined #ocaml
cjohnson has quit [Remote closed the connection]
ulfdoz_ has joined #ocaml
ulfdoz has quit [Read error: 60 (Operation timed out)]
<mflux_>
araujo, there are monad libraries for ocaml and a language extension making their use similar to haskell, but the lack of type classes somewhat hinders that capability
vivek has joined #ocaml
Sonarman_ has joined #ocaml
vdrab has joined #ocaml
Sonarman has quit [Read error: 110 (Connection timed out)]
Submarine has joined #ocaml
Banana has joined #ocaml
araujo has quit ["Programs must be written for people to read, and only incidentally for machines to execute"]
pango is now known as pangoafk
araujo has joined #ocaml
Sonarman_ has quit ["leaving"]
Snark has joined #ocaml
dottedmag has joined #ocaml
dottedmag has left #ocaml []
<ulfdoz_>
re
Submarine has quit [Read error: 145 (Connection timed out)]
Submarine has joined #ocaml
<mflux_>
good morning
vodka-goo has joined #ocaml
Herrchen has joined #ocaml
Submarine has quit ["Leaving"]
vdrab has quit ["bye"]
slashvar has joined #ocaml
<slashvar>
Hi there
Submarine has joined #ocaml
Snark has quit ["Leaving"]
Snark has joined #ocaml
vivek has quit [Remote closed the connection]
tintin has quit [Remote closed the connection]
tintin has joined #ocaml
_shawn has joined #ocaml
slashvar has quit ["leaving"]
shawn_ has quit [Read error: 110 (Connection timed out)]
Skal has joined #ocaml
<araujo>
Morning
Tachyon76 has joined #ocaml
Snark has quit ["Leaving"]
Tachyon76 has quit ["Leaving"]
nlv11757_ has joined #ocaml
_JusSx_ has joined #ocaml
pangoafk has quit [Remote closed the connection]
haakonn_1 has joined #ocaml
<nlv11757_>
are Int64 in two's Complement Representation?
__DL__ has quit [Read error: 131 (Connection reset by peer)]
<mflux_>
I would imagine that depends on the platform, but otoh I can't name any one's complement platform
haakonn_ has quit [Read error: 113 (No route to host)]
<nlv11757_>
Int64 doesnt abstract away from the underlying representation on the platform?
<nlv11757_>
cause otherwise, you can't be very convinced about you're code on other platforms
<mflux_>
Int64 guarantees only that all arithmetic operations are taken module 2^63
<mflux_>
hm, but of course some unportable behavior could be exhibited by using bitwise and on negative numbers
<mflux_>
I64_add is defined natively to do c's a + b
__DL__ has joined #ocaml
<mflux_>
I'm not sure if ocaml even supports a platform with one's comlement integers..
<nlv11757_>
me neither
Submarine has quit ["Leaving"]
<nlv11757_>
this two's complementary representation is quite misleading when using shift_right that keeps the sign
<nlv11757_>
let's just say you need to pay attention
<nlv11757_>
hmm why is 'Int64.shift_right (Int64.of_int (-1)) 32' still -1L ?
<nlv11757_>
Int64.of_int (-1) is in bit representation 64 ones
<nlv11757_>
right?
<mellum>
nlv11757_: yes
<nlv11757_>
in my head is see shift_right .. 32 shifting all the 64 ones to the right.....reproducing the minus sign in the vaccant bits is something i cant visualize
<nlv11757_>
its not just putting a 1 in the most significant bit, because that wouldnt make Int64.of_int (-1)
pango has joined #ocaml
Herrchen has quit [Read error: 110 (Connection timed out)]
tintin has quit [Read error: 60 (Operation timed out)]
cjohnson has joined #ocaml
vezenchio has joined #ocaml
cjohnson has quit [Read error: 104 (Connection reset by peer)]
Gueben has joined #ocaml
nlv11757_ has left #ocaml []
smimou has joined #ocaml
TeXitoi_ has quit [Read error: 131 (Connection reset by peer)]
TeXitoi has joined #ocaml
pango has quit ["bbl"]
mflux has joined #ocaml
vodka-goo has quit [sterling.freenode.net irc.freenode.net]
mflux_ has quit [sterling.freenode.net irc.freenode.net]
vodka-goo has joined #ocaml
mflux_ has joined #ocaml
mflux_ has quit [Connection reset by peer]
__DL__ has quit [Remote closed the connection]
haakonn has joined #ocaml
cjohnson has joined #ocaml
haakonn_1 has quit [Read error: 113 (No route to host)]
det is now known as hRvoNdHSjPlppYa9
hRvoNdHSjPlppYa9 is now known as det
Demitar has joined #ocaml
vodka-goo has quit []
<ulfdoz_>
cya
araujo has quit ["Programs must be written for people to read, and only incidentally for machines to execute"]
<vincenz>
hi
Gueben has quit ["Leaving"]
<vincenz>
mflux: ping
araujo has joined #ocaml
<araujo>
Hello O'Camlers
<vincenz>
hi
araujo has quit ["Programs must be written for people to read, and only incidentally for machines to execute"]