poulet has quit [Read error: 54 (Connection reset by peer)]
poulet has joined #ocaml
Axle has left #ocaml []
ozzloy has joined #ocaml
poulet_ has joined #ocaml
poulet has quit [Read error: 54 (Connection reset by peer)]
GustNG has quit ["Leaving."]
Palace_Chan has quit [Client Quit]
apples` has quit [Read error: 104 (Connection reset by peer)]
bughunter21 has joined #ocaml
struktured_ has joined #ocaml
struktured has quit [Read error: 110 (Connection timed out)]
pango has quit [Remote closed the connection]
pango has joined #ocaml
bughunter2 has quit [Read error: 110 (Connection timed out)]
poulet_ has quit []
struktured__ has joined #ocaml
struktured_ has quit [Read error: 110 (Connection timed out)]
threeve has joined #ocaml
bughunter21 is now known as bughunter2
bughunter2 has left #ocaml []
willb has joined #ocaml
threeve has quit [kornbluth.freenode.net irc.freenode.net]
struktured__ has quit [kornbluth.freenode.net irc.freenode.net]
sporkmonger has quit [kornbluth.freenode.net irc.freenode.net]
ppsmimou has quit [kornbluth.freenode.net irc.freenode.net]
gim has quit [kornbluth.freenode.net irc.freenode.net]
mfp has quit [kornbluth.freenode.net irc.freenode.net]
xevz has quit [kornbluth.freenode.net irc.freenode.net]
Amorphous has quit [kornbluth.freenode.net irc.freenode.net]
threeve has joined #ocaml
struktured__ has joined #ocaml
sporkmonger has joined #ocaml
Amorphous has joined #ocaml
xevz has joined #ocaml
gim has joined #ocaml
mfp has joined #ocaml
ppsmimou has joined #ocaml
struktured_ has joined #ocaml
threeve has quit []
threeve has joined #ocaml
mbishop has quit [Remote closed the connection]
Mr_Awesome_ has quit [Read error: 110 (Connection timed out)]
struktured__ has quit [Connection timed out]
Mr_Awesome has joined #ocaml
Associat0r has joined #ocaml
mbishop has joined #ocaml
struktured__ has joined #ocaml
struktured_ has quit [Connection timed out]
Associat0r has quit []
Associat0r has joined #ocaml
jeddhaberstro has quit []
Mr_Awesome has quit [Read error: 110 (Connection timed out)]
struktured_ has joined #ocaml
struktured__ has quit [Read error: 110 (Connection timed out)]
sbok has quit [Remote closed the connection]
sbok has joined #ocaml
Palace_Chan has joined #ocaml
netx has joined #ocaml
Mr_Awesome has joined #ocaml
johnnowak has joined #ocaml
pierre_m has joined #ocaml
hudini_ has quit [Read error: 60 (Operation timed out)]
johnnowak has quit []
threeve has quit []
Palace_Chan has quit [Client Quit]
netx has quit ["This computer has gone to sleep"]
gdmfsob has joined #ocaml
det has joined #ocaml
alexyk has joined #ocaml
gdmfsob has quit [Read error: 60 (Operation timed out)]
velco has joined #ocaml
filp has joined #ocaml
filp has quit ["Bye"]
_zack has joined #ocaml
velco has quit [Client Quit]
_zack has quit ["Leaving."]
gdmfsob has joined #ocaml
johnnowak has joined #ocaml
ulfdoz has joined #ocaml
gim has quit [Read error: 104 (Connection reset by peer)]
munga has quit [Read error: 104 (Connection reset by peer)]
ppsmimou has quit [Read error: 104 (Connection reset by peer)]
code17 has joined #ocaml
_zack has joined #ocaml
alexyk has quit []
ygrek has joined #ocaml
gildor has quit ["leaving"]
velco has joined #ocaml
gildor has joined #ocaml
poulet has joined #ocaml
mfp has quit [Read error: 104 (Connection reset by peer)]
GustNG has joined #ocaml
mfp has joined #ocaml
tvn1981_0 has joined #ocaml
munga has joined #ocaml
pierre_m_ has joined #ocaml
Yoric[DT] has joined #ocaml
pierre_m_ has quit [Client Quit]
Linktim has joined #ocaml
Linktim has quit [Client Quit]
ppsmimou has joined #ocaml
munga has quit [Connection timed out]
pierre_m has quit ["Leaving."]
itewsh has joined #ocaml
dabd has joined #ocaml
Yoric[DT] has quit [Read error: 110 (Connection timed out)]
GustNG1 has joined #ocaml
Yoric[DT] has joined #ocaml
johnnowak has quit []
GustNG has quit [Read error: 110 (Connection timed out)]
itewsh has quit [Read error: 60 (Operation timed out)]
<_zack>
with ocamlbuild, if I've a file foo.mlpack containing a line "bar.baz", the external path to reach baz will be foo.bar.baz, won't it?
<_zack>
(caseness permitting of course)
Submarine_ has joined #ocaml
Submarine_ is now known as Submarine
<_zack>
uhm no, apparently that should be better split into multiple packing stages: foo.mlpack containing bar and bar.mlpack containing bath
gdmfsob is now known as mishok13
willb has quit ["Leaving"]
dabd has quit ["Ex-Chat"]
poulet_ has joined #ocaml
poulet has quit [Read error: 54 (Connection reset by peer)]
pierre_m has joined #ocaml
_zack has quit [Read error: 110 (Connection timed out)]
poulet has joined #ocaml
poulet_ has quit [Read error: 104 (Connection reset by peer)]
poulet_ has joined #ocaml
poulet has quit [Read error: 104 (Connection reset by peer)]
_zack has joined #ocaml
damg has joined #ocaml
willb has joined #ocaml
<damg>
if i define a local fun inside a recursive fun, will there be an instance of the function per call or will it be optimized to only one instance?
longh has joined #ocaml
<Smerdyakov>
What is "an instance of a function"?
<Yoric[DT]>
Yeah, my first git commit
<Yoric[DT]>
Smerdyakov: I believe he means "closure".
<Smerdyakov>
I'll wait for his answer.
<Smerdyakov>
Actually, I doubt I can answer his question, in any case. I like using MLton, where I can count on the right easy optimizations always being done. :)
<gildor>
maybe an instance of a function is a closure
<gildor>
;-)
<Smerdyakov>
My Ur/Web compiler never builds closures, so the answer would be even easier there! :D
<Raevel>
i'm guessing closure, too
<damg>
hm
<flux>
smerdyakov, are you referring to something the developer can see, or only someone who is looking at the generated code?
<Smerdyakov>
flux, the latter, though programs that don't have obvious closure-free realizations will fail to compile.
<damg>
e.g. let rec funa x acc = let funb y = y + 1 in match x with | [] -> List.rev acc | (h :: t) -> funa t (funb h :: acc) ;;
<flux>
smerdyakov, would monadic code with loops have closure-free realizations?
<damg>
whether funb will be instantiated on every funa recursion
<Smerdyakov>
flux, yes, though I haven't implemented the needed code transformation yet.
<Smerdyakov>
flux, I expect such code to be rare, anyway, in my domain.
<flux>
damg, I'm guessing one of the better ways to see what's happening is to look at the generated code ;)
<flux>
that would be a simple optimization, though, I'd expect it to happen
<Smerdyakov>
flux, one doesn't find many loops in database-centric web applications. Folds over query results cover most everything, and that is handled well now.
<Smerdyakov>
damg, if you care so much about performance, you should prefer SML over OCaml.
<flux>
smerdyakov, but it does feel like hitting a wall when you hit the 1% of cases?
<Smerdyakov>
flux, I just don't care ATM.
<Smerdyakov>
flux, it's trivial to implement, but I have more important things to do first.
<flux>
smerdyakov, do you think in the end it'll compile whatever sound programs the developer will throw at it?
<damg>
thank you for information, flux and Smerdyakov, I didn't think of having a look at the asm output.
<Smerdyakov>
flux, no, never.
<flux>
smerdyakov, what kind of programs would be left out?
<Smerdyakov>
flux, like I said, those that don't have obvious realizations without closures.
<flux>
I don't have a good idea of what those programs would be, if my example wasn't one :)
<Smerdyakov>
Lists of functions, for example
<Smerdyakov>
Built dynamically
<flux>
smerdyakov, so you're leaving them out because that would perhaps require GC or something else you won't be implementing?
<Smerdyakov>
I'm leaving them out because it's not clear how to get the low memory usage I want if they are included.
<damg>
yes, ocamlopt would put funb separately from funa, set registers and call it on every recursion. thanks for the idea ;)
Amorphous has quit [Success]
Amorphous has joined #ocaml
munga has joined #ocaml
struktured_ is now known as struktured
netx has joined #ocaml
petchema has quit [Read error: 104 (Connection reset by peer)]
damg has quit [Remote closed the connection]
|ivan has joined #ocaml
Submarine has quit [Remote closed the connection]
code17 has quit [Remote closed the connection]
pango has quit [Remote closed the connection]
code17 has joined #ocaml
struktured has quit [Remote closed the connection]
_zack has quit ["Leaving."]
poulet_ has quit []
pango has joined #ocaml
Axle has joined #ocaml
munga has quit ["Leaving"]
pierre_m has quit ["ChatZilla 0.9.83 [Firefox 3.0.3/2008092414]"]
hkBst has joined #ocaml
netx has quit ["This computer has gone to sleep"]
Camarade_Tux has joined #ocaml
_zack has joined #ocaml
alexyk has joined #ocaml
threeve has joined #ocaml
netx has joined #ocaml
code17 has quit [Remote closed the connection]
poulet has joined #ocaml
Axle has left #ocaml []
mishok13 has quit [Connection timed out]
marmotine has joined #ocaml
code17 has joined #ocaml
velco has quit ["Went wasting time elsewhere ..."]
GustNG has joined #ocaml
_zack has quit ["Leaving."]
Associat0r has quit [Connection timed out]
filp has joined #ocaml
velco has joined #ocaml
GustNG1 has quit [Read error: 110 (Connection timed out)]
* alexyk
is finding godi text navigation extremely painful and counteruintuitive
Jedai has joined #ocaml
pango has quit ["I shouldn't really be here - dircproxy 1.0.5"]
TypedLambda has joined #ocaml
palomer has quit [Read error: 104 (Connection reset by peer)]
Submarine has joined #ocaml
_Jedai_ has quit [Read error: 110 (Connection timed out)]
TypedLambda has quit ["Leaving..."]
longh has quit [Read error: 54 (Connection reset by peer)]
<flux>
alexyk, you mean godi_console?
pango has joined #ocaml
<flux>
alexyk, rest assured, I know now atleast two persons who think that
<alexyk>
flux: that's comforting :) is there any other interface to godi other than godi_console??
<flux>
afaik no
<alexyk>
flux: inadvertently, I've coined a new word: counterUIntuitive -- for godi_console...
<flux>
actually at one point I thought of perhaps making enhancements to it
<flux>
but I failed to find the source :)
<alexyk>
I mean, selecton bar instead of typing a number, toggling status without plunging into details, info pain with details, etc -- any Linux packager is an example...
<flux>
well, I was merely thinking the inability to search entries from the list
<flux>
should be easy enough to fix
<alexyk>
flux: that too
TypedLambda has joined #ocaml
alexyk has quit []
TypedLambda has quit ["Leaving..."]
TypedLambd has joined #ocaml
TypedLambd has quit [Remote closed the connection]
vixey has joined #ocaml
TypedLambda has joined #ocaml
TypedLambda has quit []
TypedLambda has joined #ocaml
TypedLambda has quit ["Bye!"]
mishok13 has joined #ocaml
alexyk has joined #ocaml
palomer has joined #ocaml
alexyk has quit []
willb has quit [Read error: 54 (Connection reset by peer)]