mbishop changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | Grab Ocaml 3.10.0 from http://caml.inria.fr/ocaml/release.html (featuring new camlp4 and more!)
gaja_ has joined #ocaml
seafood_ has quit []
Yoric[DT] has joined #ocaml
gaja has quit [Read error: 110 (Connection timed out)]
gaja has joined #ocaml
gaja_ has quit [Read error: 110 (Connection timed out)]
gaja_ has joined #ocaml
gaja has quit [Read error: 110 (Connection timed out)]
dbueno has left #ocaml []
gaja has joined #ocaml
ita has quit ["Hasta luego!"]
gaja_ has quit [Read error: 110 (Connection timed out)]
Yoric[DT] has quit ["Ex-Chat"]
gaja_ has joined #ocaml
gaja has quit [Read error: 110 (Connection timed out)]
gaja has joined #ocaml
gaja_ has quit [Read error: 110 (Connection timed out)]
gaja_ has joined #ocaml
seafood has quit [Remote closed the connection]
smimou has quit ["bli"]
gaja has quit [Read error: 110 (Connection timed out)]
pango has quit [Remote closed the connection]
pango has joined #ocaml
hsuh has quit [Remote closed the connection]
gaja has joined #ocaml
seafood has joined #ocaml
gaja_ has quit [Read error: 110 (Connection timed out)]
gaja_ has joined #ocaml
gaja has quit [Read error: 110 (Connection timed out)]
gaja has joined #ocaml
context has joined #ocaml
<context> does ocaml support network sockets without a third party library ?
gaja_ has quit [Read error: 110 (Connection timed out)]
<kmeyer> context: yes, I think so.
<context> kk where would i get like a complete api reference for core functions and modules
<context> the module list i see
<context> not core functions though
<context> im guessing id use Unix. for everthing
<kmeyer> yeah.
<kmeyer> there's also ocamlnet
<kmeyer> but it's third party
<kmeyer> I think
<context> yeah
<kmeyer> sorry I'm a newbie :-)
<context> same
gaja_ has joined #ocaml
JohnnyL has quit ["Leaving"]
gaja has quit [Read error: 110 (Connection timed out)]
mordaunt has quit [Read error: 104 (Connection reset by peer)]
gaja has joined #ocaml
gaja_ has quit [Read error: 110 (Connection timed out)]
pango has quit [Remote closed the connection]
pango has joined #ocaml
gaja_ has joined #ocaml
gaja has quit [Read error: 110 (Connection timed out)]
gaja has joined #ocaml
gaja_ has quit [Read error: 110 (Connection timed out)]
gaja_ has joined #ocaml
gaja has quit [Read error: 110 (Connection timed out)]
Jedai has quit [Read error: 104 (Connection reset by peer)]
gaja has joined #ocaml
gaja_ has quit [Read error: 110 (Connection timed out)]
Zzompp has joined #ocaml
gaja_ has joined #ocaml
Associat0r has quit []
gaja has quit [Read error: 110 (Connection timed out)]
gaja has joined #ocaml
gaja_ has quit [Read error: 110 (Connection timed out)]
gaja_ has joined #ocaml
pattern has quit [Remote closed the connection]
jganetsk__ has joined #ocaml
<jganetsk__> question about the ocaml garbage collector
<jganetsk__> caml_empty_minor_heap() potentially doesn't oldify every live object
<jganetsk__> in the minor heap
<jganetsk__> considering major heap objects could point to minor heap objects
<tsuyoshi> they could?
<jganetsk__> mutable data structures
<tsuyoshi> I thought the whole idea behind the major heap was that nothing in it pointed to the minor heap
<tsuyoshi> on mutation, it's supposed to be moved to the minor heap
<tsuyoshi> iirc
<jganetsk__> that would be problematic
<jganetsk__> wait, let me think
<jganetsk__> so, if i have an 'a ref
<jganetsk__> the 'a ref is itself a heap object which contains a value
<jganetsk__> in this case, i have to move the 'a ref to the minor heap
<tsuyoshi> I think so
<jganetsk__> but that's impossible
<tsuyoshi> is it?
gaja has quit [Read error: 110 (Connection timed out)]
<flux> tsuyoshi, how would that work, if you have a megabyte of interconnected mutable nodes, and you modify one of them; they won't all be brought back to minor heap?-o
<tsuyoshi> isn't that what the field set macro does.. what is it called
<tsuyoshi> Store_field()
<jganetsk__> it's not just that, but the semantics are impossible
<jganetsk__> here let me think of some code
<jganetsk__> let update x y =
<jganetsk__> x := y;;
<jganetsk__> then i say
<jganetsk__> i have some old ref
<jganetsk__> z : string ref
<jganetsk__> z is in the major heap
<jganetsk__> and i call
<jganetsk__> update z "hello"
<jganetsk__> "hello" is a string in the minor heap
<jganetsk__> z is in the major heap
<jganetsk__> but, when i make teh assignment
<jganetsk__> i have no idea what root is pointing to z
<jganetsk__> if a root at all
<jganetsk__> so i can't move the actual ref cell
<tsuyoshi> hmm.. lemme look at the source for Store_field
<jganetsk__> does my argument make sense?
<tsuyoshi> Store_field calls caml_modify
<tsuyoshi> comment for caml_modify says
<tsuyoshi> You must use [caml_modify] to change a field of an existing shared block, unless you are sure the value being overwritten is not a shared block and the value being written is not a young block.
<tsuyoshi> maybe it's the reverse
<tsuyoshi> i.e. "hello" would be moved to the major heap
<jganetsk__> i feel like you can't move somethnig from one heap to another unless you trace from the roots
<jganetsk__> because moving something from one heap to another requires you to update all references to it
<tsuyoshi> well, look at Modify() in memory.h
<tsuyoshi> it places the block in caml_ref_table_block
<tsuyoshi> er
<tsuyoshi> caml_ref_table_ptr
<jganetsk__> i see
<jganetsk__> hmm
<jganetsk__> fascinating
<jganetsk__> ok, so that guarantees that when a minor collection happens
<jganetsk__> it will trace through these things in the minor heap
<jganetsk__> that are being pointed to from the major heap
<tsuyoshi> yeah
<jganetsk__> that's beautiful
<jganetsk__> ocaml is beautiful
<jganetsk__> ok, thank you!
asmanur has joined #ocaml
<tsuyoshi> the ocaml gc is very complicated.. but it seems to be faster than e.g. boehm
gaja has joined #ocaml
<jganetsk__> is boehm the one for c++ ?
<jganetsk__> because if it is, it has much less to work with than ocaml
<tsuyoshi> boehm works with anything
<tsuyoshi> I think they use it with most of the java runtimes
<jganetsk__> how does boehm guarantee that the major heap doesn't point to the minor heap
<jganetsk__> the same way?
<jganetsk__> i don't think java is trapping destructive updates like this
<tsuyoshi> boehm doesn't have separate heaps
<tsuyoshi> boehm doesn't place any constraints on your code.. you can just replace malloc() with the boehm malloc() and it works
<tsuyoshi> so I was just saying.. the ocaml gc places more constraints but I guess it's worth it
<jganetsk__> it's not just constraints from the gc
<jganetsk__> it's good functional programming
<jganetsk__> making immutable default makes this ref_table thing work well
<jganetsk__> immutability*
gaja_ has quit [Read error: 110 (Connection timed out)]
kreaturr has quit [Read error: 110 (Connection timed out)]
kreaturr has joined #ocaml
Snark has joined #ocaml
gaja_ has joined #ocaml
opening` has joined #ocaml
gaja__ has joined #ocaml
jganetsk__ has quit ["Ex-Chat"]
<tsuyoshi> that's true.. it would probably be a lot slower in a less functional language
gaja has quit [Read error: 110 (Connection timed out)]
buluca has joined #ocaml
seafood_ has joined #ocaml
gaja_ has quit [Read error: 110 (Connection timed out)]
opening has quit [Read error: 110 (Connection timed out)]
gaja has joined #ocaml
gaja_ has joined #ocaml
kreaturr has quit [Read error: 110 (Connection timed out)]
kreaturr has joined #ocaml
gaja__ has quit [Read error: 110 (Connection timed out)]
gaja has quit [Read error: 110 (Connection timed out)]
gaja has joined #ocaml
gaja__ has joined #ocaml
gaja_ has quit [Read error: 110 (Connection timed out)]
Snark has quit ["Quitte"]
ygrek has joined #ocaml
gaja has quit [Read error: 110 (Connection timed out)]
kreaturr_ has joined #ocaml
kreaturr has quit [Read error: 110 (Connection timed out)]
Snark has joined #ocaml
gaja has joined #ocaml
gaja_ has joined #ocaml
thesnowdog has joined #ocaml
gaja__ has quit [Read error: 110 (Connection timed out)]
ttamttam has joined #ocaml
ttamttam has left #ocaml []
ttamttam has joined #ocaml
gaja has quit [Read error: 110 (Connection timed out)]
gaja has joined #ocaml
buluca has quit [Read error: 113 (No route to host)]
gaja__ has joined #ocaml
bringert has joined #ocaml
gaja_ has quit [Read error: 110 (Connection timed out)]
hkBst has joined #ocaml
gaja has quit [Read error: 110 (Connection timed out)]
buluca has joined #ocaml
gaja has joined #ocaml
bringert has quit []
gaja_ has joined #ocaml
Snark has quit ["Quitte"]
gaja__ has quit [Read error: 110 (Connection timed out)]
gaja has quit [Read error: 110 (Connection timed out)]
ikaros_ has joined #ocaml
ikaros has quit [Read error: 110 (Connection timed out)]
Yoric[DT] has joined #ocaml
gaja has joined #ocaml
<Yoric[DT]> hi
bluestorm_ has joined #ocaml
olleolleolle has joined #ocaml
gaja_ has quit [Read error: 110 (Connection timed out)]
bringert has joined #ocaml
gaja_ has joined #ocaml
olleolleolle has quit [Remote closed the connection]
gaja has quit [Read error: 110 (Connection timed out)]
jonathanv has joined #ocaml
bluestorm_ has quit [Remote closed the connection]
Tetsuo has joined #ocaml
gaja has joined #ocaml
jonafan has quit [Read error: 110 (Connection timed out)]
bongy has joined #ocaml
gaja_ has quit [Read error: 110 (Connection timed out)]
bringert has quit []
pango has quit [Remote closed the connection]
gaja_ has joined #ocaml
jonathanv has quit [calvino.freenode.net irc.freenode.net]
opening` has quit [calvino.freenode.net irc.freenode.net]
jlouis_ has quit [calvino.freenode.net irc.freenode.net]
mrsolo has quit [calvino.freenode.net irc.freenode.net]
netx has quit [calvino.freenode.net irc.freenode.net]
det has quit [calvino.freenode.net irc.freenode.net]
Sparkles has quit [calvino.freenode.net irc.freenode.net]
cygnus_ has quit [calvino.freenode.net irc.freenode.net]
gaja has quit [calvino.freenode.net irc.freenode.net]
kreaturr_ has quit [calvino.freenode.net irc.freenode.net]
sadmac has quit [calvino.freenode.net irc.freenode.net]
Amorphous has quit [calvino.freenode.net irc.freenode.net]
tsuyoshi has quit [calvino.freenode.net irc.freenode.net]
seafood has quit [calvino.freenode.net irc.freenode.net]
Oatskool has quit [calvino.freenode.net irc.freenode.net]
bzzbzz has quit [calvino.freenode.net irc.freenode.net]
rogo has quit [calvino.freenode.net irc.freenode.net]
bebui has quit [calvino.freenode.net irc.freenode.net]
richardw has quit [calvino.freenode.net irc.freenode.net]
mattam has quit [calvino.freenode.net irc.freenode.net]
context has quit [calvino.freenode.net irc.freenode.net]
bongy has quit [calvino.freenode.net irc.freenode.net]
ikaros_ has quit [calvino.freenode.net irc.freenode.net]
buluca has quit [calvino.freenode.net irc.freenode.net]
jeremiah has quit [calvino.freenode.net irc.freenode.net]
jdavis_ has quit [calvino.freenode.net irc.freenode.net]
kmeyer has quit [calvino.freenode.net irc.freenode.net]
zmdkrbou has quit [calvino.freenode.net irc.freenode.net]
thesnowdog has quit [calvino.freenode.net irc.freenode.net]
|Catch22| has quit [calvino.freenode.net irc.freenode.net]
gunark has quit [calvino.freenode.net irc.freenode.net]
Smerdyakov has quit [calvino.freenode.net irc.freenode.net]
unfo- has quit [calvino.freenode.net irc.freenode.net]
ygrek has quit [calvino.freenode.net irc.freenode.net]
Zzompp has quit [calvino.freenode.net irc.freenode.net]
authentic has quit [calvino.freenode.net irc.freenode.net]
bla has quit [calvino.freenode.net irc.freenode.net]
Yoric[DT] has quit [calvino.freenode.net irc.freenode.net]
hkBst has quit [calvino.freenode.net irc.freenode.net]
svenl has quit [calvino.freenode.net irc.freenode.net]
gim has quit [calvino.freenode.net irc.freenode.net]
hcarty has quit [calvino.freenode.net irc.freenode.net]
tsuyoshi has joined #ocaml
sadmac has joined #ocaml
kreaturr_ has joined #ocaml
gaja has joined #ocaml
pango has joined #ocaml
hkBst has joined #ocaml
bongy has joined #ocaml
jonathanv has joined #ocaml
Yoric[DT] has joined #ocaml
ikaros_ has joined #ocaml
buluca has joined #ocaml
thesnowdog has joined #ocaml
ygrek has joined #ocaml
opening` has joined #ocaml
Zzompp has joined #ocaml
jlouis_ has joined #ocaml
jeremiah has joined #ocaml
kmeyer has joined #ocaml
jdavis_ has joined #ocaml
zmdkrbou has joined #ocaml
det has joined #ocaml
Sparkles has joined #ocaml
mrsolo has joined #ocaml
netx has joined #ocaml
cygnus_ has joined #ocaml
authentic has joined #ocaml
|Catch22| has joined #ocaml
gunark has joined #ocaml
svenl has joined #ocaml
gim has joined #ocaml
bla has joined #ocaml
Smerdyakov has joined #ocaml
unfo- has joined #ocaml
hcarty has joined #ocaml
kelaouchi has quit [Read error: 104 (Connection reset by peer)]
context has joined #ocaml
seafood has joined #ocaml
Oatskool has joined #ocaml
bzzbzz has joined #ocaml
rogo has joined #ocaml
bebui has joined #ocaml
richardw has joined #ocaml
mattam has joined #ocaml
Amorphous has joined #ocaml
Morphous has joined #ocaml
Morphous has quit [Read error: 104 (Connection reset by peer)]
Amorphous has quit [Read error: 104 (Connection reset by peer)]
Amorphous has joined #ocaml
kelaouchi has joined #ocaml
gaja__ has joined #ocaml
bringert has joined #ocaml
gaja has quit [Connection timed out]
bongy has quit ["Leaving"]
gaja_ has quit [Read error: 110 (Connection timed out)]
ikaros_ has quit [Remote closed the connection]
gaja has joined #ocaml
smimou has joined #ocaml
gaja_ has joined #ocaml
buluca has quit [Read error: 113 (No route to host)]
gaja__ has quit [Read error: 110 (Connection timed out)]
hkBst has quit [Remote closed the connection]
hkBst has joined #ocaml
rogo has quit [calvino.freenode.net irc.freenode.net]
Oatskool has quit [calvino.freenode.net irc.freenode.net]
seafood has quit [calvino.freenode.net irc.freenode.net]
mattam has quit [calvino.freenode.net irc.freenode.net]
context has quit [calvino.freenode.net irc.freenode.net]
richardw has quit [calvino.freenode.net irc.freenode.net]
bzzbzz has quit [calvino.freenode.net irc.freenode.net]
bebui has quit [calvino.freenode.net irc.freenode.net]
gaja has quit [Read error: 110 (Connection timed out)]
piggybox has quit [Connection timed out]
context has joined #ocaml
seafood has joined #ocaml
Oatskool has joined #ocaml
bzzbzz has joined #ocaml
rogo has joined #ocaml
bebui has joined #ocaml
richardw has joined #ocaml
mattam has joined #ocaml
buluca has joined #ocaml
gaja has joined #ocaml
seafood_ has quit []
gaja_ has quit [Read error: 110 (Connection timed out)]
hkBst has quit [Remote closed the connection]
hkBst has joined #ocaml
Yoric[DT] has quit [Read error: 104 (Connection reset by peer)]
beschmi has joined #ocaml
gaja_ has joined #ocaml
Yoric[DT] has joined #ocaml
gaja has quit [Read error: 110 (Connection timed out)]
gaja has joined #ocaml
gaja__ has joined #ocaml
gaja_ has quit [Read error: 110 (Connection timed out)]
|Catch22| has quit []
buluca has quit [Read error: 113 (No route to host)]
Jedai has joined #ocaml
gaja has quit [Read error: 110 (Connection timed out)]
gaja has joined #ocaml
bluestorm_ has joined #ocaml
gaja__ has quit [Read error: 110 (Connection timed out)]
gaja_ has joined #ocaml
Amorphous has quit ["shutdown"]
Snark has joined #ocaml
Snark has quit [Read error: 104 (Connection reset by peer)]
Snark has joined #ocaml
gaja has quit [Read error: 110 (Connection timed out)]
gaja has joined #ocaml
gaja_ has quit [Read error: 110 (Connection timed out)]
gaja_ has joined #ocaml
jlouis has joined #ocaml
marmottine has joined #ocaml
gaja__ has joined #ocaml
gaja has quit [Read error: 110 (Connection timed out)]
buluca has joined #ocaml
jlouis_ has quit [Read error: 110 (Connection timed out)]
seafood has quit [Remote closed the connection]
ita has joined #ocaml
gaja_ has quit [Read error: 110 (Connection timed out)]
gaja has joined #ocaml
suppaman has joined #ocaml
<suppaman> hello
gaja__ has quit [Read error: 110 (Connection timed out)]
gaja_ has joined #ocaml
pango_ has joined #ocaml
pango has quit [Nick collision from services.]
pango_ is now known as pango
love-pingoo has joined #ocaml
gaja has quit [Read error: 110 (Connection timed out)]
gaja has joined #ocaml
pattern has joined #ocaml
gaja__ has joined #ocaml
gaja_ has quit [Read error: 110 (Connection timed out)]
Snark has quit [Read error: 104 (Connection reset by peer)]
Snark has joined #ocaml
beschmi has quit [Remote closed the connection]
gaja has quit [Read error: 110 (Connection timed out)]
jlouis_ has joined #ocaml
Snark has quit [Read error: 104 (Connection reset by peer)]
gaja has joined #ocaml
asmanur has quit [Read error: 110 (Connection timed out)]
bongy has joined #ocaml
Zzompp has quit [Read error: 110 (Connection timed out)]
jlouis has quit [Read error: 110 (Connection timed out)]
gaja__ has quit [Read error: 110 (Connection timed out)]
Jeff_123 has joined #ocaml
Snark has joined #ocaml
seafood has joined #ocaml
love-pingoo has quit ["Connection reset by pear"]
bongy has quit ["Leaving"]
gaja_ has joined #ocaml
marmottine has quit [Read error: 113 (No route to host)]
bringert has quit []
smimram has joined #ocaml
<suppaman> bye
suppaman has quit ["all your bye are belong to us"]
gaja has quit [Read error: 110 (Connection timed out)]
seafood has quit [Remote closed the connection]
smimou has quit [Read error: 110 (Connection timed out)]
gaja has joined #ocaml
asmanur has joined #ocaml
gaja__ has joined #ocaml
gaja_ has quit [Read error: 110 (Connection timed out)]
gaja_ has joined #ocaml
gaja has quit [Read error: 110 (Connection timed out)]
gaja__ has quit [Read error: 110 (Connection timed out)]
filp has joined #ocaml
gaja has joined #ocaml
gaja_ has quit [Read error: 110 (Connection timed out)]
bluestorm_ has quit [Remote closed the connection]
cmeme has quit [Read error: 104 (Connection reset by peer)]
cmeme has joined #ocaml
gaja_ has joined #ocaml
buluca has quit [Read error: 110 (Connection timed out)]
gaja has quit [Read error: 110 (Connection timed out)]
gaja has joined #ocaml
gaja_ has quit [Read error: 110 (Connection timed out)]
qwr has joined #ocaml
<qwr> let idref = ref (fun x -> x);;
<qwr> let id = !idref;;
<qwr> id print_endline (id "kala");;
<qwr> This expression has type string but is here used with type string -> unit
<qwr> is this just to make typechecking easier...
<qwr> or is there any way how polymorphism of that id could broke type soundness?
gaja_ has joined #ocaml
<qwr> s/broke/brake/
<qwr> s/broke/break/
asmanur has quit [Remote closed the connection]
asmanur has joined #ocaml
mordaunt has joined #ocaml
gaja has quit [Read error: 110 (Connection timed out)]
<qwr> hmm, ok, it breaks soundness
gaja has joined #ocaml
gaja__ has joined #ocaml
gaja_ has quit [Read error: 110 (Connection timed out)]
gaja has quit [Read error: 110 (Connection timed out)]
gaja has joined #ocaml
asmanur_ has joined #ocaml
seafood has joined #ocaml
gaja_ has joined #ocaml
tautologico has joined #ocaml
gaja__ has quit [Read error: 110 (Connection timed out)]
asmanur has quit [Read error: 110 (Connection timed out)]
gaja has quit [Read error: 110 (Connection timed out)]
asmanur_ has quit [Remote closed the connection]
gaja has joined #ocaml
JohnnyL has joined #ocaml
* JohnnyL waves to Smerdyakov
<Smerdyakov> If you keep saying my name just to bother me by triggering IRC client notifications, then I'll just ignore you.
<JohnnyL> Smerdyakov, yes, you are an important man!
gaja_ has quit [Read error: 110 (Connection timed out)]
<ita> JohnnyL: stop highlighting Smerdyakov, he does not deserve it
bringert has joined #ocaml
<JohnnyL> ita, I just like saying hi
<JohnnyL> ita
<ita> still :-)
Snark has quit ["Quitte"]
buluca has joined #ocaml
gaja_ has joined #ocaml
ttamttam has left #ocaml []
gaja has quit [Read error: 110 (Connection timed out)]
ttamttam has joined #ocaml
ttamttam has left #ocaml []
gaja has joined #ocaml
dirchh has joined #ocaml
gaja_ has quit [Read error: 110 (Connection timed out)]
gaja_ has joined #ocaml
gaja has quit [Read error: 110 (Connection timed out)]
filp has quit ["Bye"]
buluca has quit [Read error: 113 (No route to host)]
Mr_Awesome has joined #ocaml
Tetsuo has quit [Remote closed the connection]
Associat0r has joined #ocaml
gaja has joined #ocaml
pippijn has joined #ocaml
<pippijn> hi all
gaja_ has quit [Read error: 110 (Connection timed out)]
thesnowdog has quit [Read error: 110 (Connection timed out)]
gaja_ has joined #ocaml
<JohnnyL> pippijn, HELLO!
<JohnnyL> how are you?
gaja has quit [Read error: 110 (Connection timed out)]
<Yoric[DT]> Good night everyone.
* Yoric[DT] has done enough Camlp4 for the night.
Yoric[DT] has quit ["Ex-Chat"]
<pippijn> JohnnyL: great
tautologico has quit []
gaja has joined #ocaml
kral has joined #ocaml
kral has quit [Client Quit]
gaja_ has quit [Read error: 110 (Connection timed out)]
<Associat0r> are there any plans of including metaocaml runtime code generation to ocaml?
<Smerdyakov> I'd fall over if I learned that there were.
<Associat0r> you want it too?
gaja_ has joined #ocaml
<context> anyone know a good site for learning ocaml, im not finding ocaml-tutorial.org to readable :X
<Jeff_123> 1 sec
<context> and ocaml doesn't depend on whitespace like python correct ?
<ita> context: no, but you can if you want (ocaml+twt)
gaja has quit [Read error: 110 (Connection timed out)]
<context> jeff_123: thnx :)
<Jeff_123> yer welcome and good luck
<JohnnyL> Smerdyakov, where can I get channels logs?
gaja has joined #ocaml
<JohnnyL> pango, thanks
<pango> there's also http://tunes.org/~nef/logs/ocaml/ for raw logs
pants2 has joined #ocaml
pants3 has joined #ocaml
gaja__ has joined #ocaml
pants5 has joined #ocaml
bringert has quit []
pants6 has joined #ocaml
gaja_ has quit [Read error: 110 (Connection timed out)]
pants7 has joined #ocaml
pants3 has quit [Read error: 104 (Connection reset by peer)]
thesnowdog has joined #ocaml
pants5 has quit [Read error: 104 (Connection reset by peer)]
dirchh has left #ocaml []