zigong has quit ["using sirc version 2.211+KSIRC/1.3.12"]
mfurr has quit ["Client exiting"]
vezenchio has quit ["\\o sora wa hate shinai, kokoro no kagami dakara ne \o/ mainichi iro wo kaeteku utsushidasu you ni o//"]
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
zigong has joined #ocaml
malc_ has quit ["leaving"]
Raziel has joined #ocaml
clog has joined #ocaml
mauke has joined #ocaml
det has joined #ocaml
vincenz has joined #ocaml
chimikal has joined #ocaml
danly has joined #ocaml
Revision17 has joined #ocaml
tristram has quit [Remote closed the connection]
tristram has joined #ocaml
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
zigong has quit [Remote closed the connection]
lispy has joined #ocaml
rillig has joined #ocaml
zigong has joined #ocaml
Submarine has joined #ocaml
zigong has quit [Read error: 110 (Connection timed out)]
Smerdyakov has quit ["Leaving"]
khaladan has joined #ocaml
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
vodka-goo has joined #ocaml
Submarine has quit ["Leaving"]
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
Skal has joined #ocaml
revision17_ has joined #ocaml
Revision17 has quit [Read error: 110 (Connection timed out)]
vezenchio has joined #ocaml
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
_fab has joined #ocaml
Raziel has quit ["Yo soy goma. Tú eres cola."]
zigong has joined #ocaml
Schmurtz has quit [Read error: 104 (Connection reset by peer)]
Raziel has joined #ocaml
RazZzielmine has joined #ocaml
RazZzielmine has quit [Read error: 104 (Connection reset by peer)]
RazZzielmine has joined #ocaml
RazZzielmine has quit [Read error: 104 (Connection reset by peer)]
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
zigong has quit [Read error: 104 (Connection reset by peer)]
malc_ has joined #ocaml
zigong has joined #ocaml
xerox has left #ocaml []
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
<Hadaka>
anyone here used sml/nj and ocaml?
<flux__>
I've used ocaml.. ;)
<Hadaka>
I was interested in the benefits of smlnj over ocaml, besides continuations
<vodka-goo>
what do you mean ? you *can* program with continuations in OCaml..
__DL__ has joined #ocaml
<vodka-goo>
unless I'm missing something
<vodka-goo>
Hadaka: OCaml is faster, has objects and a few other fancy stuff like labels, etc
<Hadaka>
vodka-goo: you are - smlnj has first class continuations, where as ocaml only has closures (so to speak)
<flux__>
and ocaml has camlp4o, which has quite a few nice modules written for it
<flux__>
though it sexplib appears to have a bug. has anyone tried type foo = bar list with sexp and bar = C with sexp? it apparently fails to compile..
<vodka-goo>
Hadaka: OK I see (I was suspecting something like that).. but what's the gain ? is it so much better ?
<Hadaka>
flux__: is sexplib sexy? it looked nice when I took a peek at it
<flux__>
yes
<flux__>
I've used it to store a type pwd = Pwd of string :-)
<Hadaka>
vodka-goo: continuations can be used for a *lot* of things and make programming many things simpler and more straightforward
<flux__>
(and load!)
<Hadaka>
heh
<flux__>
but atleast it has space to expand, with remarkable ease
<flux__>
not much unlike java reflection I guess
<flux__>
except that the produced stuff is human-readable/writable
<Hadaka>
I think I shall have to dabble in camlp4
<vodka-goo>
Hadaka: I mean, what's the gain compared to using closures ? syntax may be a bit lighter, performance a bit better, but is it worth ?
<flux__>
I would've used that recursive thing for software inspection purposes, it's a shame it doesn't work :/
<Hadaka>
vodka-goo: closures only encapsulate the one stack frame at that single level - it creates a lot of baggage to write closure calls at every level
<vodka-goo>
Well, I guess I should take a look at some examples.. I don't use continuations so much, the Caml way has never been too heavy
<vodka-goo>
unfortunately I've got to leave now
<vodka-goo>
later, guys
mauke has quit [Read error: 104 (Connection reset by peer)]
mauke has joined #ocaml
ramkrsna is now known as rk_afk_pecos
Yorick has joined #ocaml
khaladan has quit [Read error: 104 (Connection reset by peer)]
Skal has quit [Remote closed the connection]
rk_afk_pecos has quit [Connection timed out]
ramkrsna has joined #ocaml
Smerdyakov has joined #ocaml
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
Snark has joined #ocaml
kmagdsick has left #ocaml []
zigong has quit ["using sirc version 2.211+KSIRC/1.3.12"]
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
smimou has joined #ocaml
wegts has joined #ocaml
vezenchio has quit [Read error: 110 (Connection timed out)]
khaladan has joined #ocaml
Schmurtz has joined #ocaml
Smerdyakov has quit [Read error: 110 (Connection timed out)]
Smerdyakov has joined #ocaml
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
gim__ is now known as gim
zigong has joined #ocaml
Yorick has quit ["nu fåre va nog"]
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
__DL__ has quit [Remote closed the connection]
Raziel has quit ["Yo soy goma. Tú eres cola."]
noj has joined #ocaml
oxygene has joined #ocaml
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
zigong has quit [Remote closed the connection]
khaladan has quit [Read error: 110 (Connection timed out)]
zigong has joined #ocaml
Snark has quit ["Leaving"]
zigong has quit ["using sirc version 2.211+KSIRC/1.3.12"]
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
vodka-goo has quit [Read error: 110 (Connection timed out)]
khaladan has joined #ocaml
zigong has joined #ocaml
smimou has quit ["bli"]
wegts has quit ["\\o sora wa hate shinai, kokoro no kagami dakara ne \o/ mainichi iro wo kaeteku utsushidasu you ni o//"]