gl changed the topic of #ocaml to: OCaml 3.07 ! -- Archive of Caml Weekly News: http://pauillac.inria.fr/~aschmitt/cwn , A tutorial: http://merjis.com/richj/computers/ocaml/tutorial/ , A free book: http://cristal.inria.fr/~remy/cours/appsem, Mailing List (best ml ever for any computer language): http://caml.inria.fr/bin/wilma/caml-list | http://icfpcontest.org/ !!
<buggs> how can i increase the stack size ?
<Riastradh> Ask it nicely.
<karryall> through the OCAMLRUNPARAM env var
<buggs> not for ocamlopt ?
<karryall> ocamlopt use the system stack
<buggs> not even a depth of a million
<karryall> that's a lot already !
<buggs> not really sml-nj can do 10 mil
<karryall> well you *can* increase it if you really want to
<buggs> ah but it does tail recursion
<karryall> duh, of course
<buggs> it does not when you have a "try .. with" block around
<buggs> now the functional version is faster than the imperative one :)
<karryall> indeed
<buggs> karryall, in a recursive method it would make sense since the stack only contains all the same "with" blocks
<buggs> s/method/function
<mayhem> Banana: tu peux refiler l'url de ta reponse stp
magnus has joined #ocaml
yauz_ has joined #ocaml
yauz has quit [Read error: 60 (Operation timed out)]
Herrchen has quit [calvino.freenode.net irc.freenode.net]
cjohnson has quit [calvino.freenode.net irc.freenode.net]
Herrchen has joined #ocaml
cjohnson has joined #ocaml
cjohnson has quit [Read error: 54 (Connection reset by peer)]
monotonom has joined #ocaml
Herrchen_ has joined #ocaml
Herrchen has quit [Read error: 60 (Operation timed out)]
wmg has joined #ocaml
wmg has left #ocaml []
yauz_ is now known as yauz
_saint_ has joined #ocaml
aleator has joined #ocaml
<aleator> Hello. Are there decent graphics libraries for ocaml? Any that draws antialiased lines, polygons etc? (google is not with me today.)
mrsolo has joined #ocaml
jao has quit ["work"]
monotonom has quit ["Don't talk to those who talk to themselves."]
Herrchen_ is now known as Herrchen
CiscoKid has joined #ocaml
CiscoKid has quit [Remote closed the connection]
kosmikus|away is now known as kosmikus
<karryall> aleator: there's cairo
karryall has quit ["go"]
<mattam_> cDlm: it's not a feature, i have it here. Maybe you did not enable show-paren-mode
mattam_ is now known as mattam
smimou has joined #ocaml
karryall has joined #ocaml
bk_ has joined #ocaml
_saint_ has quit ["Segmentation fault. Core dumped."]
buggs^z has joined #ocaml
kinners has joined #ocaml
buggs has quit [Connection timed out]
Snark has joined #ocaml
<Snark> slt
buggs^z is now known as buggs
<cDlm> mattam i did, [] aru highlighted
<mattam> and not () ?
<cDlm> yes
<mattam> weird
<cDlm> yes :)
<mattam> very improbably, it's a wrong color of the show-paren-(mis?)match-face
<cDlm> i doubt color is different for () than for []
<Demitar> emacs or xemacs? (Well it really wouldn't help me to know but this is shotgun debugging anyway. ;-))
<mattam> i doubt too :)
<mattam> are you sure you use tuareg-mode and not ocaml-mode ?
<mattam> (shotgun debugging continued)
<cDlm> gnu emacs 21.3.50.1, tuareg (says C-h m in a caml buffer)
<mattam> do you use some custom tuareg setup ?
* Demitar tries to resist the urge to hack...
<Demitar> Ick. When I try to resist the urge to reimplement CrossFire in OCaml I instead feel like playing CF. Evil.
<cDlm> i had (setq tuareg-lazy-paren t), but changing it to nil does not fix the pb
<Demitar> Are you using it in X11?
<cDlm> yes
cjohnson has joined #ocaml
cjohnson has quit [Read error: 110 (Connection timed out)]
buggs has quit [Connection timed out]
srv_ has joined #ocaml
srv has quit [Read error: 104 (Connection reset by peer)]
buggs has joined #ocaml
_fab has quit [Read error: 104 (Connection reset by peer)]
_fab has joined #ocaml
kinners has quit ["zzz"]
karryall has quit [Remote closed the connection]
karryall has joined #ocaml
Nutssh has joined #ocaml
Submarine has joined #ocaml
vezenchio has joined #ocaml
Snark has quit [Read error: 104 (Connection reset by peer)]
Boojum has joined #ocaml
Boojum is now known as Snark
smimou has quit ["Bye"]
maml has joined #ocaml
<vincenz> Anyone good at lamdbda-calc?
<mellum> vincenz: doing homework?
<vincenz> Meh no
<vincenz> I got this great book called denotational semantics
<vincenz> From David A. Schmidt
<vincenz> And seeing I used to do EE
<vincenz> This is partailly new to me
* vincenz is a PhD student
<vincenz> Anyways
<vincenz> true:lx.ly.y
<vincenz> I mean x
<vincenz> false:lx.ly.y so I got not:lf.lx.ly((f y) x)
<vincenz> now or...
<Submarine> oh, Dave Schmidt
<vincenz> or:lf.lg.lx.ly....
* vincenz is doing some of the excercises
* Submarine is good at lambda-c
<vincenz> How do I get or?
<vincenz> or:lf.lg.lx.ly....
<Submarine> you mean you're encoding true as the first projection and false as the second?
<vincenz> (f x (g x y)?
<vincenz> yes
<vincenz> that's the defs they used in the excercise
<vincenz> true:lx.ly.x
<vincenz> false:lx.ly.y
<vincenz> so for or
<Submarine> and: lx ly la lb (lx (ly la lb) lb)
* vincenz nod
<vincenz> so my or is good?
<Submarine> or: lx ly la lb (lx la (ly la lb))
<vincenz> alright
<vincenz> thnx
smimou has joined #ocaml
srv_ is now known as srv
kosmikus is now known as kosmikus|away
cjohnson has joined #ocaml
nom` has joined #ocaml
maml has quit [Read error: 104 (Connection reset by peer)]
nom` is now known as maml
Submarine has left #ocaml []
karryall has quit ["tcho"]
Nutssh has quit ["Client exiting"]
cjohnson has quit [Read error: 110 (Connection timed out)]
cjohnson has joined #ocaml
maihem has joined #ocaml
maml has quit [Read error: 113 (No route to host)]
maml has joined #ocaml
srv has quit [Read error: 110 (Connection timed out)]
mattam_ has joined #ocaml
cjohnson has quit [Connection timed out]
cjohnson has joined #ocaml
monotonom has joined #ocaml
mattam has quit [Read error: 110 (Connection timed out)]
Lemmih has quit [Remote closed the connection]
maml has quit ["bye"]
Lemmih has joined #ocaml
cjohnson has quit [Connection timed out]
cjohnson has joined #ocaml
<Snark> good night
Snark has left #ocaml []
Banana has quit [Read error: 60 (Operation timed out)]
Nutssh has joined #ocaml
maihem has quit ["Read error: 54 (Connection reset by chocolate)"]
maihem has joined #ocaml
magnus has quit ["Leaving"]
Nutssh has quit ["Client exiting"]
cjohnson has quit [Connection timed out]
cjohnson has joined #ocaml
bk_ has quit ["Leaving IRC - dircproxy 1.1.0"]
bk_ has joined #ocaml
cmeme has quit [Read error: 104 (Connection reset by peer)]
cmeme has joined #ocaml
maihem has quit ["Read error: 54 (Connection reset by chocolate)"]
smimou has quit ["?"]
mrsolo has quit [Read error: 60 (Operation timed out)]
cjohnson has quit [Connection timed out]
cjohnson has joined #ocaml
Demitar has quit [Remote closed the connection]
bk_ has quit ["Leaving IRC - dircproxy 1.1.0"]
monotonom has quit ["Don't talk to those who talk to themselves."]