flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | 3.11.0 out now! Get yours from http://caml.inria.fr/ocaml/release.html
Yoric[DT] has quit ["Ex-Chat"]
alexyk has quit []
alexyk has joined #ocaml
slash_ has quit [Client Quit]
Amorphous has quit [Read error: 110 (Connection timed out)]
Amorphous has joined #ocaml
feydr has joined #ocaml
Ched has quit [Read error: 60 (Operation timed out)]
vpalle has joined #ocaml
vpalle has quit [Client Quit]
Ched has joined #ocaml
alexyk has quit []
alexyk has joined #ocaml
Camarade_Tux has quit ["Leaving"]
alexyk has quit []
_JFT_ has joined #ocaml
_JFT_ has quit [Client Quit]
alexyk has joined #ocaml
shortcircuit has joined #ocaml
Associat0r has joined #ocaml
jamii has quit [Read error: 110 (Connection timed out)]
Associat0r has quit []
sporkmonger has quit []
alexyk has quit []
verte has joined #ocaml
Associat0r has joined #ocaml
naufraghi has joined #ocaml
monadic_kid has joined #ocaml
naufraghi has quit []
Snark has joined #ocaml
<flux> good morning.
itewsh has joined #ocaml
vithos has joined #ocaml
vithos_ has joined #ocaml
vithos has quit [Read error: 110 (Connection timed out)]
kobook has quit [Remote closed the connection]
itewsh has quit [Connection timed out]
kobook has joined #ocaml
itewsh has joined #ocaml
itewsh has quit [Read error: 60 (Operation timed out)]
itewsh has joined #ocaml
kobook has quit [Remote closed the connection]
ikaros has joined #ocaml
kobook has joined #ocaml
m3ga has joined #ocaml
verte_ has joined #ocaml
verte has quit [Nick collision from services.]
verte_ is now known as verte
itewsh has quit [Connection timed out]
itewsh has joined #ocaml
Yoric[DT] has joined #ocaml
angerman has joined #ocaml
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
ztfw has joined #ocaml
kobook is now known as komar_
komar_ has quit [Remote closed the connection]
kobook has joined #ocaml
Ched has quit [Remote closed the connection]
seafood has quit []
xevz has quit ["Changing IRC shell"]
xevz has joined #ocaml
itewsh has quit [Connection timed out]
itewsh has joined #ocaml
itewsh has quit ["There are only 10 kinds of people: those who understand binary and those who don't"]
vpalle has joined #ocaml
vpalle has quit [Success]
vpalle has joined #ocaml
kobook has quit [Read error: 113 (No route to host)]
monadic_kid has quit ["Leaving"]
vpalle has quit [Read error: 110 (Connection timed out)]
vpalle has joined #ocaml
yziquel has joined #ocaml
m3ga has quit ["disappearing into the sunset"]
Camarade_Tux has joined #ocaml
verte has quit ["~~~ Crash in JIT!"]
monadic_kid has joined #ocaml
Camarade_Tux has quit ["Leaving"]
Camarade_Tux has joined #ocaml
hkBst has joined #ocaml
vpalle has quit [Read error: 110 (Connection timed out)]
vpalle has joined #ocaml
monadic_kid has quit ["Leaving"]
kobook has joined #ocaml
Camarade_Tux has quit ["Leaving"]
Camarade_Tux has joined #ocaml
ztfw` has joined #ocaml
verte has joined #ocaml
Kerris7_ has joined #ocaml
Kerris7_ has quit [Remote closed the connection]
Kerris7_ has joined #ocaml
jamii has joined #ocaml
ztfw has quit [Read error: 110 (Connection timed out)]
sporkmonger has joined #ocaml
Kerris7 has quit [Read error: 110 (Connection timed out)]
verte has quit ["~~~ Crash in JIT!"]
BiDOrD has quit [Read error: 110 (Connection timed out)]
BiDOrD has joined #ocaml
ikaros has quit ["Leave the magic to Houdini"]
Camarade_Tux has quit ["Leaving"]
Camarade_Tux has joined #ocaml
Camarade_Tux has quit [Client Quit]
Camarade_Tux has joined #ocaml
monadic_kid has joined #ocaml
<jli> is there a reason that the functions for reading from a file don't return char or string options, but throw End_of_file exceptions?
wmealing_ has left #ocaml []
<jli> seems like returning options makes interacting with files a lot nicer
<flux> I doubt there is
<flux> perhaps it has seemed that End_of_file is an exceptional condition with files, whereas in reality it is quite normal that files end :)
<jli> haha
<jli> I suppose there's overhead in wrapping things in options
<flux> there is indeed
Camarade_Tux has quit ["Leaving"]
Camarade_Tux has joined #ocaml
Associat0r has quit []
BiDOrD has quit []
Camarade_Tux has quit ["Leaving"]
Camarade_Tux has joined #ocaml
<jli> when a bind "list2" to a list ref, "list1", changes to list2 or list1 affect the other
<jli> but when I bind "list2" to {contents = !list1}, the two lists are independent
<jli> is that because in the former case, list2 is bound to the ref, whereas in the latter, list2 is bound to a /new/ ref that has the same data initially?
<flux> mm yes
<mrvn> jli: the later case is not a ref
<mrvn> jli: you bind contents to the value the ref currently holds.
<jli> mrvn: it's bound to {contents = !list1}; isn't that a ref?
<flux> it could be written as "ref !list1 also
<mrvn> jli: the result then is another ref (didn't know you could actualy do that) but you are using the value !list1
<jli> right
<mrvn> you are creating a new ref
<palomer> didn't know you could create new refs like that?
<mrvn> I always thought the example in the manual that a ref is { mutable contents : 'a } was just that, an example how one can do it. Not the actual implementation.
<palomer> ahh, righto
<palomer> let foo {contents = x} = x <--that's !
duaneb has joined #ocaml
<duaneb> hi people
<duaneb> can anyone point me toward ocaml compiler docs?
<duaneb> I want to know how it compiles things
<duaneb> :P
kaustuv_ has quit [Remote closed the connection]
kaustuv_ has joined #ocaml
<kaustuv_> duaneb: You can start from Didier Remy's course notes
<duaneb> kaustuv_: Thanks, but I was looking for more of the internal stuff—how it resolves the code into machine code
<duaneb> Haskell, for example, uses the stack in a way that's very alien to me
julm has joined #ocaml
Ched has joined #ocaml
julm has quit [Remote closed the connection]
<kaustuv_> duaneb: Ah, in that case the documentation is a bit spotty. You can get a general overview from
julm has joined #ocaml
<kaustuv_> For details of how the zam2 operates, I'm afraid the best documentation is the source code
<duaneb> ahh, ok
<duaneb> I'll start sifting through the source thoguh
<duaneb> though*
<duaneb> and I'm not sure why I said though :P
<kaustuv_> I recommend reading those slides first.
Camarade_Tux has quit ["Leaving"]
Camarade_Tux has joined #ocaml
<kaustuv_> If you are interested in low level representational details, you should read the manual on how to interface with C. You might also find my ocaml-show library helpful (http://www.msr-inria.inria.fr/~kaustuv/misc/ocaml_show.html).
<duaneb> huh
<duaneb> thanks!
<duaneb> looks good.
angerman has quit []
naufraghi has joined #ocaml
rumbleca has joined #ocaml
<gildor> duaneb: unfortunately the slide OCaml as fast as C are not as good as they should be
<gildor> duaneb: they are lacking more internal views and real tips (using code) to show how you can do things
<gildor> duaneb: I think I will spend some times improving it, because there is a lot more to say about this
<duaneb> yea, I realized this :P
palomer_ has joined #ocaml
<hcarty> gildor: An expanded version of the OCaml as fast as C material with examples and explanation would be wonderful. Perhaps worthy of a project on the forge? :)
<duaneb> is there an ocaml wiki or something somewhere?
mattam has quit [Remote closed the connection]
mattam has joined #ocaml
palomer has quit [Read error: 110 (Connection timed out)]
Snark has quit [Read error: 113 (No route to host)]
<thelema> duaneb: yes - ocaml-tutorial.org
<duaneb> thanks :)
<gildor> hcarty: yes, but at the time writing it, I was a little bit buzzy and concerned not to disclose various techniques I applied to one of my client project
<gildor> hcarty: but now I have a little bit more time and know what I can really disclose
<gildor> hcarty: I will prepare a better version maybe for next year OCaml Meeting ;-)
<gildor> (with example from windows and linux)
komar_ has joined #ocaml
kobook has quit [Read error: 113 (No route to host)]
nagnatron has joined #ocaml
Snark has joined #ocaml
Smerdyakov has joined #ocaml
itewsh has joined #ocaml
nagnatron has quit [Client Quit]
Smerdyakov has quit ["Leaving"]
itewsh has quit [Connection timed out]
itewsh has joined #ocaml
Camarade_Tux has quit ["Leaving"]
Camarade_Tux has joined #ocaml
sgwizdak has quit [Remote closed the connection]
Camarade_Tux has quit ["Leaving"]
slash_ has joined #ocaml
Camarade_Tux has joined #ocaml
Ched has quit [Remote closed the connection]
komar__ has joined #ocaml
jeddhaberstro has joined #ocaml
Camarade_Tux has quit ["Leaving"]
Snark has quit ["Ex-Chat"]
Camarade_Tux has joined #ocaml
komar_ has quit [Read error: 113 (No route to host)]
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
_zack has joined #ocaml
ulfdoz has joined #ocaml
jeddhaberstro has quit []
gl has quit [Remote closed the connection]
gl has joined #ocaml
vpalle has quit [Read error: 110 (Connection timed out)]
vpalle has joined #ocaml
ikaros has joined #ocaml
adamvo has joined #ocaml
Ched has joined #ocaml
itewsh has quit [Success]
itewsh has joined #ocaml
naufraghi has quit []
<palomer_> hrmph
<palomer_> how do I make a tuple pattern?
<palomer_> <:patt< ( $p$ ) >> doesn't work
<palomer_> or, rather, http://pastebin.com/m716433ce <--this function doesn't work, I should say
<palomer_> woops, my bad
ztfw` has quit [Read error: 104 (Connection reset by peer)]
<palomer_> http://pastebin.com/m276c6e87 <--corrected, but still incorrect function
<palomer_> argh!
ikaros_ has joined #ocaml
<palomer_> http://pastebin.com/m6ae0494c <-- again corrected, but still incorrect functino
<palomer_> function
<palomer_> ahh, found it
<palomer_> had to use $tup:..$
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
itewsh has quit [Client Quit]
ikaros has quit [Read error: 110 (Connection timed out)]
angerman has joined #ocaml
tvn has quit ["Leaving"]
_zack has quit ["Leaving."]
alexyk has joined #ocaml
angerman has quit []
vpalle has quit ["Leaving"]
hkBst has quit [Remote closed the connection]
vithos has joined #ocaml
seafood has joined #ocaml
vithos_ has quit [Read error: 110 (Connection timed out)]
m3ga has joined #ocaml
det has quit [Read error: 104 (Connection reset by peer)]
alexyk has quit [Read error: 110 (Connection timed out)]
Yoric[DT] has quit ["Ex-Chat"]
Camarade_Tux has quit [Read error: 60 (Operation timed out)]
det has joined #ocaml
slash_ has quit [Client Quit]
jeddhaberstro has joined #ocaml
vithos has quit [Success]
jli_ has joined #ocaml
ikaros_ has quit ["Leave the magic to Houdini"]
jli has quit [Read error: 110 (Connection timed out)]
monadic_kid has quit ["Leaving"]