dylan changed the topic of #ocaml to: OCaml 3.09.1 available! Archive of Caml Weekly News: http://sardes.inrialpes.fr/~aschmitt/cwn/ | A free book: http://cristal.inria.fr/~remy/cours/appsem/ | Mailing List: http://caml.inria.fr/bin/wilma/caml-list/ | Cookbook: http://pleac.sourceforge.net/
Submarine has quit ["Leaving"]
Submarine has joined #ocaml
mrsolo__ has joined #ocaml
dark_light has joined #ocaml
dark_light has quit [SendQ exceeded]
dark_light has joined #ocaml
dark_light has quit [SendQ exceeded]
mrsolo_ has quit [Read error: 113 (No route to host)]
dark_light has joined #ocaml
dark_light has quit [SendQ exceeded]
dark_light has joined #ocaml
dark_light has quit [SendQ exceeded]
dark_light has joined #ocaml
shawn has quit [Connection timed out]
shawn has joined #ocaml
khaladan has quit [" Want to be different? HydraIRC -> http://www.hydrairc.com <-"]
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?
<mikeX> thanks pango
Schmurtz has joined #ocaml
Submarine has quit ["Leaving"]
Snark has quit ["Leaving"]
benedikt_ has quit ["Download Gaim: http://gaim.sourceforge.net/"]
_JusSx_ has quit ["leaving"]
pauldia has quit [Read error: 110 (Connection timed out)]
Skal has quit [Remote closed the connection]
_fab has quit [Remote closed the connection]
smimou has quit ["bli"]
mikeX has quit ["zzzz"]
Submarine has joined #ocaml
khaladan has joined #ocaml
tspier2 has joined #ocaml
<tspier2> pango, are you here?
<tspier2> I want to work on a new project, but I need some assistance.
<tspier2> And I have lots of time for this one.
Submarine has quit [Remote closed the connection]
Sysop_fb has quit [Remote closed the connection]
Sysop_fb has joined #ocaml
Submarine has joined #ocaml
asymptote has joined #ocaml
<tspier2> pango,
<asymptote> down with pango...
<asymptote> oh, wait, pango is a person
<tspier2> :/ Pango usually helps me with my latest projects, but he isn't responding.
<tspier2> (Because I am a n00b at OCaml)
<tspier2> Gah! Ich brauch pango jetzt.