flux changed the topic of #ocaml to: Yes, inria.fr is back up! | Discussions about the OCaml programming language | http://caml.inria.fr/ | 3.11.0beta1 available from http://caml.inria.fr/pub/distrib/ocaml-3.11/ | Or grab OCaml 3.10.2 from http://caml.inria.fr/ocaml/release.html
ozzloy has quit [Connection timed out]
Axle has joined #ocaml
ulfdoz has quit ["deprecated"]
tomh has quit ["http://www.mibbit.com ajax IRC Client"]
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)]
|ivan has quit ["KVIrc 3.4.0 Virgo http://www.kvirc.net/"]
willb has joined #ocaml
Amorphous has quit [Read error: 110 (Connection timed out)]
Amorphous has joined #ocaml
TypedLambda has joined #ocaml
TypedLambda has quit [Client Quit]
tvn1981_0 has quit [Remote closed the connection]
mishok13 has quit [Read error: 60 (Operation timed out)]
tomh has joined #ocaml
ygrek has quit [Remote closed the connection]
jeddhaberstro has joined #ocaml
ygrek has joined #ocaml
ulfdoz has quit ["brb"]
ulfdoz has joined #ocaml
Yoric[DT] has quit ["Ex-Chat"]
marmotine has quit ["mv marmotine Laurie"]
sporkmonger has quit []
poulet is now known as kokido
kokido is now known as koka
palomer has quit ["Leaving"]
koka has left #ocaml []
Submarine has quit ["Leaving"]
DroneZilla has joined #ocaml
jeremiah has quit [Read error: 104 (Connection reset by peer)]
tomh has quit ["http://www.mibbit.com ajax IRC Client"]
jeremiah has joined #ocaml
ygrek has quit [Remote closed the connection]
DroneZilla has left #ocaml []
Camarade_Tux has quit ["Leaving"]
alexyk has joined #ocaml
filp has quit ["Bye"]
Camarade_Tux has joined #ocaml
jeremiah has quit [Read error: 104 (Connection reset by peer)]
velco has quit ["Ex-Chat"]
sporkmonger has joined #ocaml
love-pingoo has joined #ocaml
willb has quit ["Leaving"]
netx has quit ["This computer has gone to sleep"]
code17 has quit ["Leaving."]
jeremiah has joined #ocaml
rogo has left #ocaml []
GustNG1 has joined #ocaml
jeremiah has quit [Read error: 104 (Connection reset by peer)]
alexyk has quit []
Camarade_Tux has quit ["Leaving"]
GustNG1 has quit ["Leaving."]
apples` has joined #ocaml
jeremiah has joined #ocaml
netx has joined #ocaml
Demitar has quit ["Ex-Chat"]
GustNG has quit [Read error: 110 (Connection timed out)]
vixey has quit ["Ex-Chat"]
sporkmonger has quit []