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/
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
smimou has quit ["bli"]
_JusSx_ has quit ["leaving"]
Sylvain has joined #ocaml
Kerjean has joined #ocaml
<Kerjean> scuse for the savage disconnection
khaladan has joined #ocaml
<dylan> "Savages! I bet they're not even garbage-collected." "Yeah, and their pointers dangle..."
<Kerjean> lol i think i did some thing like concurrent garbage collecting ;)
Kerjean is now known as Anarchos
<Anarchos> i wonder if all the multithreading chips will make the caml team change their minds about concurrent GC ...
<Schmurtz> i think the caml team doesn't have very much time :(
<Schmurtz> a good workaround is to use severy process and communicate between themselves with pipes
<Schmurtz> (several)
khaladan_ has joined #ocaml
Sylvain has quit [Read error: 110 (Connection timed out)]
Anarchos has quit [Read error: 110 (Connection timed out)]
khaladan has quit [Read error: 110 (Connection timed out)]
erik has left #ocaml []
Schmurtz has quit [Read error: 104 (Connection reset by peer)]
Skal has quit [Remote closed the connection]
mauke has quit [Read error: 104 (Connection reset by peer)]
mauke has joined #ocaml
khaladan_ is now known as khaladan
pango__ has joined #ocaml
pango_ has quit [Read error: 110 (Connection timed out)]
khaladan has quit [Read error: 110 (Connection timed out)]
polux has joined #ocaml
Sylvain has joined #ocaml
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
<Sylvain> why nobody speaks in the forum ^
<Sylvain> ?
polux has quit ["Konversation terminated!"]
khaladan has joined #ocaml
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
Sylvain has quit ["Vision[0.8.5-0418]: i've been blurred!"]
slipstre1m has joined #ocaml
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
slipstream has quit [Connection timed out]
bigbabyjesusfoo has quit [Read error: 104 (Connection reset by peer)]
bigbabyjesusfoo has joined #ocaml
Smerdyakov has quit ["Leaving"]
slipstre1m is now known as slipstream
__DL__ has joined #ocaml
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
slipstream has quit ["leaving"]
khaladan has quit [Read error: 110 (Connection timed out)]
khaladan has joined #ocaml
malc_ has joined #ocaml
khaladan has quit [Read error: 110 (Connection timed out)]
_DL_ has joined #ocaml
_DL_ has quit ["Bye Bye"]
__DL__ has quit [Read error: 110 (Connection timed out)]
__DL__ has joined #ocaml
__DL__ has quit [Read error: 104 (Connection reset by peer)]
__DL__ has joined #ocaml
__DL__ has quit [Read error: 104 (Connection reset by peer)]
pango__ is now known as pango
Submarine has quit [Remote closed the connection]
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
Submarine has joined #ocaml
Revision17 has joined #ocaml
revision17_ has quit [Read error: 110 (Connection timed out)]
__DL__ has joined #ocaml
Raziel has quit ["Yo soy goma. Tú eres cola."]
Raziel has joined #ocaml
smimou has joined #ocaml
_JusSx_ has joined #ocaml
Tachyon76 has joined #ocaml
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
slipstream has joined #ocaml
Skal has joined #ocaml
vezenchio has joined #ocaml
_JusSx_ has quit ["leaving"]
bigbabyjesusfoo has quit [Read error: 110 (Connection timed out)]
Schmurtz has joined #ocaml
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
Tachyon76 has quit ["Leaving"]
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
vezenchio has quit ["\\o sora wa hate shinai, kokoro no kagami dakara ne \o/ mainichi iro wo kaeteku utsushidasu you ni o//"]
vezenchio has joined #ocaml
Smerdyakov has joined #ocaml
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
zigong has joined #ocaml
slipstream-- has joined #ocaml
slipstream has quit [Connection reset by peer]
_JusSx_ has joined #ocaml
slipstream has joined #ocaml
slipstream has quit [Read error: 104 (Connection reset by peer)]
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
slipstream has joined #ocaml
zigong has quit ["using sirc version 2.211+KSIRC/1.3.12"]
pango has quit ["bbl"]
slipstream-- has quit [Success]
Demitar has joined #ocaml
pango has joined #ocaml
Snark has joined #ocaml
slipstream-- has joined #ocaml
vodka-goo has quit ["Connection reset by by pear"]
malc_ has quit ["leaving"]
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
slipstream has quit [Connection timed out]
Submarine has left #ocaml []
malc_ has joined #ocaml
__DL__ has quit [Remote closed the connection]
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
Raziel has quit [Remote closed the connection]
descender has joined #ocaml
Raziel has joined #ocaml
Raziel has quit [Client Quit]
Raziel has joined #ocaml
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
zigong has joined #ocaml
vezenchio has quit ["\\o sora wa hate shinai, kokoro no kagami dakara ne \o/ mainichi iro wo kaeteku utsushidasu you ni o//"]
zigong has quit [Excess Flood]
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
Schmurtz has quit [Read error: 113 (No route to host)]
rillig has joined #ocaml
Schmurtz has joined #ocaml
Snark has quit ["Leaving"]
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
rillig has quit ["exit(EXIT_SUCCESS)"]
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
xerox has joined #ocaml
<xerox> Hi.
<xerox> I have a question; how does OCaml differentiate between type aliases and datatypes? (I'm referring to Haskell's "type" and "data" keywords, for instance)
<Smerdyakov> What do you mean by "differentiate"?
<xerox> Smerdyakov: do you imply there is no difference?
<Smerdyakov> xerox, no. I think your description already makes it clear that they are different things.
<xerox> So what about 'differentiate' ?
<Smerdyakov> So what about it? I'm asking you to define the word.
_JusSx_ has quit ["leaving"]
<xerox> Anybody else knows?
<Smerdyakov> xerox, this isn't something that I don't know. This is a flaw in your question.
<xerox> What is the flaw, if I may ask?
<xerox> (I'm very interested)
<Smerdyakov> xerox, the flaw is that "differentiate" doesn't have a common, well-defined meaning that fits in your question.
<xerox> I think it's pretty straightforward
<xerox> I put the Haskell example, in which two different semantics have two different syntaxes.
<xerox> My question is about how does it work in OCaml.
<Smerdyakov> So are you asking about what syntax to use for those two sorts of type definitions in OCaml?
<xerox> Yes, exactly.
gim_ has joined #ocaml
<xerox> Thank you for the pointer.
<xerox> So, the difference between those two sorts of type definitions is what you put in the '=' right hand side
<Smerdyakov> Yes.
gim_ has quit ["dodo"]
<xerox> Is there any other reason than eye-pleasing ones to use 'data' and 'type' instead on only 'type', then?
<xerox> (Which, admittedly, are quite a reasons too)
<Smerdyakov> Beats me.
<xerox> Thank you for the help.
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
vincenz has quit [Remote closed the connection]
smimou has quit ["bli"]