dan2 changed the topic of #ocaml to: OCaml 3.08.2 available! | Archive of Caml Weekly News: http://sardes.inrialpes.fr/~aschmitt/cwn/ | A tutorial: http://merjis.com/richj/computers/ocaml/tutorial/ | A free book: http://cristal.inria.fr/~remy/cours/appsem/ | Mailing List: http://caml.inria.fr/bin/wilma/caml-list/ | Cookbook: http://pleac.sourceforge.net/
monochrom has quit ["Few people understand "understanding"."]
monochrom has joined #ocaml
zzorn is now known as zzorn_afk
monochrom has quit ["Few people understand "understanding"."]
mbh has joined #ocaml
mbh has quit ["leaving"]
Hipo has quit [Read error: 104 (Connection reset by peer)]
Hipo has joined #ocaml
Hipo_ has joined #ocaml
Hipo has quit [Read error: 104 (Connection reset by peer)]
Hipo_ is now known as Hipo
Hipo has quit [Nick collision from services.]
Hipo has joined #ocaml
smkl has joined #ocaml
CosmicRay has joined #ocaml
Nutssh has left #ocaml []
Nutssh has joined #ocaml
mbh has joined #ocaml
Hipo has quit [Read error: 104 (Connection reset by peer)]
Hipo has joined #ocaml
zzorn_afk has quit ["They are coming to take me away ha ha"]
lmbdwr has joined #ocaml
<lmbdwr> 'lo
<drewr> 'lo-caml
<lmbdwr> someone can explain me in a short sentence whats the use of guarded types ? ;)
<lmbdwr> okay I know sorry
<lmbdwr> some google link I didnt notice
mrvn_ has joined #ocaml
<drewr> If I wasn't a newbie I'd help you.
mrvn has quit [Read error: 110 (Connection timed out)]
<Nutssh> What is a guarded type?
gim_ has quit []
monochrom has joined #ocaml
CosmicRay has quit ["Leaving"]
xol has quit [""The only difference between suicide and martyrdom is press coverage""]
drewr has quit ["night."]
lmbdwr is now known as metawar
vezenchio has joined #ocaml
Herrchen_ has joined #ocaml
Herrchen has quit [Read error: 110 (Connection timed out)]
tintin has quit [Read error: 54 (Connection reset by peer)]
smkl has quit [Read error: 110 (Connection timed out)]
smkl has joined #ocaml
monochrom has quit ["Few people understand "understanding"."]
smkl has quit [Read error: 110 (Connection timed out)]
mrsolo has quit [Read error: 60 (Operation timed out)]
Submarine has joined #ocaml
metawar has quit [Remote closed the connection]
mlh has quit [Client Quit]
smkl has joined #ocaml
zzorn has joined #ocaml
zzorn is now known as zzorn_away
pango has quit [Remote closed the connection]
Submarine has quit ["Leaving"]
Submarine has joined #ocaml
pango has joined #ocaml
smkl has quit [Read error: 60 (Operation timed out)]
mrsolo has joined #ocaml
zxy____ has joined #ocaml
durnew has joined #ocaml
Nutssh has quit ["Client exiting"]
zxy_ has quit [Read error: 110 (Connection timed out)]
smkl has joined #ocaml
Herrchen_ is now known as Herrchen
mlh has joined #ocaml
Submarine_ has joined #ocaml
Submarine_ has quit [Remote closed the connection]
Submarine has quit [Nick collision from services.]
zxy____ is now known as zxy_
Submarine_ has joined #ocaml
smkl has quit [Read error: 110 (Connection timed out)]
stef has quit [Read error: 60 (Operation timed out)]
smimou has joined #ocaml
smkl has joined #ocaml
tintin has joined #ocaml
_JusSx_ has joined #ocaml
<_JusSx_> clear
tintin has quit [Client Quit]
<_JusSx_> whay don't install a spamfiler for ocaml mailing list?
<_JusSx_> spamoracle for example
cjohnson has joined #ocaml
<_JusSx_> cjohnson: hi
<cjohnson> howdy
tintin` has joined #ocaml
Submarine has joined #ocaml
gim has joined #ocaml
mlh has quit ["Chatzilla 0.9.66e [Firefox 1.0/20041107]"]
tintin` is now known as tintin
ironstar has joined #ocaml
ironstar has left #ocaml []
smkl has quit [Read error: 60 (Operation timed out)]
tonio has joined #ocaml
<tonio> hi
<tonio> is it possible to compile ocaml without needing Xlib.h ?
<tonio> i mean, without compiling otherlibs/graph
yella__ has joined #ocaml
<Demitar> tonio, debian does that, it might require some makefile hacking.
yella__ has quit [Client Quit]
<tonio> too bad
<tonio> oh, in fact, the configure scrript checks for x11_include
CosmicRay has joined #ocaml
<tonio> Demitar: well, i did it patching the configure. thanks
smkl has joined #ocaml
oracle1 has joined #ocaml
_fab has quit []
cjohnson has quit [Read error: 54 (Connection reset by peer)]
_fab has joined #ocaml
_shawn has joined #ocaml
shawn_ has quit [Read error: 60 (Operation timed out)]
_JusSx__ has joined #ocaml
skylan has quit [Success]
stef has joined #ocaml
_JusSx_ has quit [Read error: 110 (Connection timed out)]
pango has quit ["Leaving"]
Submarine has quit ["Leaving"]
kd has joined #ocaml
kd has left #ocaml []
stef has quit [Nick collision from services.]
stef_ has joined #ocaml
pango has joined #ocaml
<_JusSx__> what's a string option?
<pango> type 'a option = None | Some of 'a
humasect has joined #ocaml
drewr has joined #ocaml
Submarine has joined #ocaml
zzorn_away is now known as zzorn_afk
zzorn_afk is now known as zzorn
monochrom has joined #ocaml
Submarine_ has quit ["Leaving"]
vezenchio has quit ["Greenspun's Tenth Rule of Programming: any sufficiently complicated C or Fortran program contains an ad hoc informally-specif]
haakonn has joined #ocaml
<haakonn> how can i increase the stack space available to ocamlrun?
<Excedrin> set OCAMLRUNPARAM to l (stack size)
<Excedrin> it's in the man page for ocamlrun
<haakonn> i don't have that manpage, thought it didn't exist ... thanks
drewr is now known as cool
cool is now known as drewr
<haakonn> i am also wondering if someone could take a look at http://www.ii.uib.no/~haakon/tail.txt for a question on tail recursion in general
<haakonn> (hm, sorry about the charset problems there)
<avlondono> I think you'll have to explain how are a and b calculated.
<haakonn> they're just an arbitrary function of x (e.g., x + 1)
<avlondono> x + 1? is that an example?
<haakonn> not to say they are necessarily equal :) yes, it's an example, my question is general
<avlondono> do you realize that for x + 1 it will never stop?
<haakonn> granted, there is no base case, but if we pretend there is ...
<avlondono> obviously it means there is no general answer for this question.
<avlondono> some cases could be solved using dynamic programming.
<haakonn> i see
<pango> it could be rewritten in continuation passing style to avoid using the stack... but can that be called tail recursive ?
cjohnson has joined #ocaml
<Riastradh> No, pango. That still accumulates a stack. The only difference lies in where the stack is stored.
<pango> Riastradh: yes. And same thing if he manage its own "stack" with a list, or whatever
<Riastradh> Whether or not it can be made tail-recursive depends on the algorithm.
<Riastradh> There is no general transformation to make algorithms tail-recursive.
<haakonn> so there is a class of algorithms which cannot be made tail-recursive. but there is no general properties on these that inhibits tail-recursion?
<Riastradh> Given that we know nothing about the algorithm, I can't say.
<Riastradh> If you're having trouble with stack overflows, you could just manage your own heap-allocated stack (in the form of a list or CPS)
<haakonn> CPS?
<Riastradh> Continuation-passing style.
<haakonn> ah, right
<monochrom> If a problem provably requires linear space, there is no work around. All you can do is to trade stack for heap or vice versa.
<monochrom> For this reason I find some oppositions to recursion to be hypocritic.
<Riastradh> Aversion to recursion is absursion.
<monochrom> I actually know a general way to turn recursion into iteration. Use a virtual machine / interpreter / operational semantics.
<Riastradh> That just adds an interpretive overhead. It doesn't modify the space requirements of the algorithm.
<monochrom> Right.
tonio has left #ocaml []
_JusSx__ has quit ["leaving"]
apfel has joined #ocaml
drewr has quit ["ERC Version 5.0 $Revision: 1.725 $ (IRC client for Emacs)"]
demitar_ has joined #ocaml
demitar_ has quit [Client Quit]
cjohnson has quit [""The only difference between suicide and martyrdom is press coverage""]
Nutssh has joined #ocaml
mlh has joined #ocaml
zzorn_ has joined #ocaml
zzorn_ has quit ["They are coming to take me away ha ha"]
humasect has quit [Read error: 60 (Operation timed out)]
CosmicRay has quit ["Client exiting"]
apfel has quit ["Just died"]
Nutssh has left #ocaml []
pango has quit ["Client exiting"]
pango has joined #ocaml
smkl has quit [Read error: 110 (Connection timed out)]