shawn has quit ["This computer has gone to sleep"]
shawn has joined #ocaml
Submarine has quit [Remote closed the connection]
Smerdyakov has quit ["Leaving"]
khaladan has joined #ocaml
benedikt_ has joined #ocaml
benedikt_ has left #ocaml []
mikeX has joined #ocaml
pango is now known as pangoafk
pangoafk is now known as pango
dark_light has quit [Remote closed the connection]
Skal has joined #ocaml
mikeX has quit ["later"]
Snark has joined #ocaml
Tachyon76 has joined #ocaml
pauldia has joined #ocaml
benedikt_ has joined #ocaml
PierreTramo has joined #ocaml
Tachyon76 has quit [Read error: 113 (No route to host)]
PierreTramo has quit [Read error: 113 (No route to host)]
Revision17 has quit [Read error: 110 (Connection timed out)]
PierreTramo has joined #ocaml
HatchBack176 has quit []
ppsmimou has quit ["Leaving"]
ppsmimou has joined #ocaml
_JusSx_ has joined #ocaml
<_JusSx_>
hi does anyone use smlnj too?
<_JusSx_>
i have a question about profiling with smlnj
<_JusSx_>
can you help me?
<vincenz>
what's up
slipstream has quit [Read error: 104 (Connection reset by peer)]
slipstream has joined #ocaml
chimikal has quit [Read error: 110 (Connection timed out)]
chimikal has joined #ocaml
chimikal_ has joined #ocaml
chimikal has quit [Read error: 110 (Connection timed out)]
_fab has joined #ocaml
Smerdyakov has joined #ocaml
mrsolo_ has joined #ocaml
khaladan has quit [Read error: 104 (Connection reset by peer)]
mrsolo__ has quit [No route to host]
bluestorm has joined #ocaml
vincenz has quit ["leaving"]
pango is now known as pangoafk
Revision17 has joined #ocaml
smimou has joined #ocaml
Snark has quit [Read error: 110 (Connection timed out)]
Snark has joined #ocaml
pangoafk is now known as pango
mikeX has joined #ocaml
ramkrsna is now known as ramki
shawn has quit [Connection timed out]
shawn has joined #ocaml
bluestorm has quit [Remote closed the connection]
Submarine has joined #ocaml
z|away has joined #ocaml
<z|away>
Can I redefine "=" for a specific type?
<pango>
there's no operator overloading. In fact, there's no overloading in ocaml
<zmdkrbou>
you can redefine "="
<zmdkrbou>
but not for just one type
<mikeX>
how can you do that zmdkrbou ?
<zmdkrbou>
let (=) a b = blabla
<mikeX>
hmm, how will that differ from the = as a syntactic constract?
<mikeX>
hmm, it works, nice
<zmdkrbou>
after redifining it, you can't use = on any type if you blabla is not polymorphic
<zmdkrbou>
there's a givent list of operators that can be redefined (and even defined, as there are extra symbols if i remember well)
<zmdkrbou>
-t
<flux__>
for your own data types you can use operator names like ===
<flux__>
or =/%^
<flux__>
:-)
<z|away>
Well, if I have a type X, and type Y = bla of X, and it is the X's equality I need redefined. Comparing two Y's with "=" wouldn't pick up the "===" ... I need to redefine structural equality of all Xs since it results in OutOfMemory.
<flux__>
I can't think of a solution for that
<z|away>
Yup.. ocaml seems a bit deficient in this area..
<pango>
type inference + overloading = indecidable (at least, way too often ;) )
<flux__>
well, there's gcaml
* pango
nods
<flux__>
and then there are typeclasses
<z|away>
Yup, but ocaml lacks type classes..
<zmdkrbou>
ocaml lacks more important things than typeclasses ...
<flux__>
like?
<zmdkrbou>
a concurrent gc, first-class modules ...
<flux__>
I'm not sure I'd rather have those than typeclasses :)
<zmdkrbou>
then use haskell
<pango>
looks like you can forget about concurrent gc already
<flux__>
pango, ?
<flux__>
you refer to that that at present there are no plans to do concurrent gc?
<pango>
no, that it won't happen, unless they change their mind
<flux__>
I'm not sure what plans there are for ocaml, though
<flux__>
well, one can always hope that the rise of multicore machines could do just that ;)
<pango>
they already implemented concurrent gc in the past (caml light), so it's not like they can't do it
<flux__>
oh, right, there's one feature which I might rate even more interesting than typeclasses: ocaml shared libraries (that is: no need to rebuild everything when a dependency changes)
<flux__>
well, it might not be important to many
<flux__>
but I don't like being able to build only, basically, static binaries ;).
z|away has left #ocaml []
<mikeX>
so what about the concurrent gc, why was it dropped?