jlouis_ has quit [Read error: 110 (Connection timed out)]
<pchiusano>
how do you decide when to use let vs. let rec
<ita>
pchiusano: when you have recursivity ?
hkBst has quit ["Konversation terminated!"]
<jonafan>
you can use it for every function if you want
<pchiusano>
okay... why is the distinction needed?
Morphous has joined #ocaml
<pango>
because both can be useful
<pchiusano>
like, if let rec always works, why not just have one let?
<pango>
it always works, but does not do what you want
<ita>
pchiusano: to make recursion explicitly defined ?
<jonafan>
maybe you want to use the old function by that name in the function body
<pango>
a/not/not always/
<pchiusano>
jonafan, i see
<pango>
some say it has a 'documentation' value too (helpful to list recursive functions if you run into stack overflows ;) )
<pchiusano>
hmm
<pchiusano>
okay, I am satisfied :)
<pchiusano>
what does "Unbound constructor" mean?
<pchiusano>
nm
<pchiusano>
basically just means "undeclared identifier"
<pchiusano>
if I have a module, is there a way I can refer to its members without needing to use fully qualified names?
seafood_ has joined #ocaml
<pango>
for identifiers that start with a capital (= constructors or module names)
<pchiusano>
pango: i see
<pchiusano>
is there a way you can define type aliases?
Morphous_ has quit [Read error: 110 (Connection timed out)]
jlouis has joined #ocaml
<pchiusano>
man, ocamlc is FAST
nuncanada has quit ["Leaving"]
<jcpiza>
what is the difference between ocamlc and ocamlopt?
<jcpiza>
is ocamlopt a replacement of ocamlc?
<jonafan>
no
<jonafan>
ocamlopt generates machine code
<jonafan>
ocamlc just makes bytecode that executes through ocaml
<pango>
ocamlc is the bytecode compiler, ocamlopt is the native compiler (where available)
<pango>
btw, ocamlc.opt is the natively compiler bytecode compiler, and ocamlopt.opt is the natively compiler native compiler
<pango>
mmh natively compiled native compiler, rather
<pango>
*.opt versions have strictly the same results as ocamlc and ocamlopt (and are supposed to be slightly faster, specially on large inputs), but ocamlc and ocamlopt have different results
jlouis__ has quit [Read error: 110 (Connection timed out)]
<pchiusano>
different results?
<pango>
jonafan: that's what I meant by native compilation
<pango>
jonafan: thru ocamlrun, to be exact
<jonafan>
right
<jonafan>
did my chat lag or something
<pango>
I'm possibly lagging myself, thanks to tor
<jonafan>
ah
<jonafan>
well, i said that stuff before you did on my screen
<jonafan>
so i wasn't disagreeing or clarifying!
<jonafan>
you were the clarifying one
<pango>
np
<pango>
pchiusano: ocamlc is a bytecode compiler, like Pascal, Java, etc. The files it generates need some kind of low-level interpretation to be executed
<pchiusano>
right
<pchiusano>
but you would hope that generates the same results as natively compiled code
<jcpiza>
a question: does ocamlopt internally "bytecode program" -> "native program" similar to Java's JIT?
<pango>
jcpiza: no
<pango>
jcpiza: they're separate compilers
<jcpiza>
or "source program" -> "native program" directly?
<pchiusano>
when doing matching, like match foo with (x, [1,2]), is there a way I can bind (x, [1,2]) to another variable, short of introducing another let?
<madroach>
match foo with (x, [1,2]) as bar
<jcpiza>
is program.opt in native machine equal garbage collected as program.non-opt in virtual machine?
<pango>
compilers use several intermediate representations, and I don't think any intermediate representation used by ocamlopt closely matches bytecode structure; But I'm not an ocaml compilers specialist
<pango>
jcpiza: yes, datastructures and memory management is exactly the same
<jcpiza>
the speed is the same?
<madroach>
jcpiza: ocamlopt will be about 2-10times faster
<pango>
jcpiza: speed of execution is obviously different, otherwise there would be no point in having a native compiler
<jcpiza>
wow! thanks!
<madroach>
but the compilation process will be faster and portable with ocamlc
<jonafan>
in my highly informal tests, ocamlopt output is slightly faster than gcc without -O
<jcpiza>
jonafan: hehehe, gcc without -O has not garbage collection.
ita has quit ["Hasta luego!"]
madroach has quit [Remote closed the connection]
<pango>
jcpiza: so?
<jcpiza>
very thanks pango.
pango is now known as pangoafk
pangoafk is now known as pango
pchiusano has quit [Read error: 110 (Connection timed out)]
qpu has joined #ocaml
Bzek has joined #ocaml
Bzek has left #ocaml []
Torment has joined #ocaml
Jedai has quit [Read error: 110 (Connection timed out)]
Associ8or has quit []
Mr_Awesome has joined #ocaml
wy has joined #ocaml
Jeff_123 has joined #ocaml
buluca has quit [Read error: 104 (Connection reset by peer)]
Jomyoot has joined #ocaml
Jeff_123 has quit []
Proteus has joined #ocaml
wy has quit ["Ex-Chat"]
wy has joined #ocaml
Jomyoot has quit []
mordaunt has joined #ocaml
olleolleolle has joined #ocaml
olleolleolle has quit []
olleolleolle has joined #ocaml
kreaturr has quit [Read error: 110 (Connection timed out)]
ikaros has joined #ocaml
olleolleolle has quit []
kreaturr has joined #ocaml
mordaunt has quit [Remote closed the connection]
ikaros has quit ["segfault"]
ttamttam has joined #ocaml
Jeff_123 has joined #ocaml
kreaturr_ has joined #ocaml
seafood_ has quit []
kreaturr has quit [Read error: 110 (Connection timed out)]
ygrek has quit [Remote closed the connection]
ttamttam has left #ocaml []
ttamttam has joined #ocaml
Jeff_123 has quit []
seafood_ has joined #ocaml
olleolleolle has joined #ocaml
qpu has quit []
olleolleolle has quit []
olleolleolle has joined #ocaml
qpu has joined #ocaml
pango has quit [Remote closed the connection]
pango has joined #ocaml
olleolleolle has left #ocaml []
seafood__ has joined #ocaml
buluca has joined #ocaml
qpu has quit []
filp has joined #ocaml
seafood_ has quit [Read error: 110 (Connection timed out)]
brooksbp has joined #ocaml
buluc1 has joined #ocaml
buluca has quit [Nick collision from services.]
buluc1 is now known as buluca
kreaturr_ has quit [calvino.freenode.net irc.freenode.net]
acatout has quit [calvino.freenode.net irc.freenode.net]
tsuyoshi has quit [calvino.freenode.net irc.freenode.net]
zmdkrbou has quit [calvino.freenode.net irc.freenode.net]
kreaturr_ has joined #ocaml
acatout has joined #ocaml
zmdkrbou has joined #ocaml
tsuyoshi has joined #ocaml
Associat0r has joined #ocaml
Associat0r has quit [calvino.freenode.net irc.freenode.net]
tsuyoshi has quit [calvino.freenode.net irc.freenode.net]
acatout has quit [calvino.freenode.net irc.freenode.net]
zmdkrbou has quit [calvino.freenode.net irc.freenode.net]
kreaturr_ has quit [calvino.freenode.net irc.freenode.net]
Associat0r has joined #ocaml
kreaturr_ has joined #ocaml
acatout has joined #ocaml
zmdkrbou has joined #ocaml
tsuyoshi has joined #ocaml
wy__ has joined #ocaml
wy__ has quit [Client Quit]
hkBst has joined #ocaml
brooksbp has quit []
Mr_Awesome has quit ["aunt jemima is the devil!"]
Tetsuo has joined #ocaml
marmottine has joined #ocaml
jlouis_ has joined #ocaml
asmanur has joined #ocaml
jlouis has quit [Read error: 110 (Connection timed out)]
Tetsuo has quit [Remote closed the connection]
rwmjones has quit ["Closed connection"]
rwmjones has joined #ocaml
Yoric[DT] has joined #ocaml
<Yoric[DT]>
hi
Yoric[DT] has quit ["Ex-Chat"]
Yoric[DT] has joined #ocaml
Tetsuo has joined #ocaml
madroach has joined #ocaml
FZ has joined #ocaml
ita has joined #ocaml
seafood__ has quit []
Snark has joined #ocaml
jlouis has joined #ocaml
jlouis_ has quit [Read error: 110 (Connection timed out)]
filp has quit ["Bye"]
filp has joined #ocaml
Morphous_ has joined #ocaml
Tetsuo has quit ["Leaving"]
Morphous has quit [Read error: 110 (Connection timed out)]
buluca has quit [Read error: 113 (No route to host)]
ertai has joined #ocaml
* jcpiza
is back (gone 37:11:54)
* jcpiza
is away: I go away.
RobertFischer has joined #ocaml
pango has quit [Remote closed the connection]
pango has joined #ocaml
bongy has joined #ocaml
wy has quit ["Ex-Chat"]
Yoric[DT] has quit [Read error: 110 (Connection timed out)]
bla has quit [Read error: 110 (Connection timed out)]