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/ !!
pac_miam is now known as pac_
Iter has quit [Read error: 110 (Connection timed out)]
kinners has joined #ocaml
yauz_ has joined #ocaml
pac_ has quit ["leaving"]
yauz has quit [Read error: 110 (Connection timed out)]
_fab has quit [Read error: 110 (Connection timed out)]
<Axioplase> ++
Axioplase has quit [Remote closed the connection]
bk_ has quit ["Leaving IRC - dircproxy 1.1.0"]
kinners has quit ["leaving"]
debonair has joined #ocaml
debonair has quit [Client Quit]
cjohnson has quit [Read error: 60 (Operation timed out)]
kinners has joined #ocaml
debonair has joined #ocaml
debonair has quit [Client Quit]
mrsolo has quit [Read error: 54 (Connection reset by peer)]
mrsolo has joined #ocaml
Herrchen_ has joined #ocaml
GreyLensman has quit ["Leaving"]
bk__ has joined #ocaml
bk__ is now known as bk_
Herrchen has quit [Read error: 60 (Operation timed out)]
vezenchio has quit ["Join the fight against drunken calculus: Don't drink and derive!"]
shawn_ has joined #ocaml
mrsolo has quit [Read error: 110 (Connection timed out)]
shawn has quit [Success]
kinners has quit [Read error: 110 (Connection timed out)]
mrsolo has joined #ocaml
ne1 has quit ["To understand recursion, you must first understand recursion."]
vincenz has joined #ocaml
kinners has joined #ocaml
Herrchen_ is now known as Herrchen
sundeep has joined #ocaml
maihem has quit ["Read error: 54 (Connection reset by chocolate)"]
kinners has quit [Nick collision from services.]
slashvar[lri] has quit [Read error: 104 (Connection reset by peer)]
smimou has joined #ocaml
bk_ has quit ["Leaving IRC - dircproxy 1.1.0"]
karryall has joined #ocaml
<Banana> hello.
<det> hello
<vincenz> yellow
<karryall> 'lut
<vincenz> bonjour
<Banana> small question...
<Banana> what would you think of cairo bindings against Graphics ?
<karryall> hmm not exactly the same thing
<karryall> Graphics knowns about the mouse, the keyboard, etc
<karryall> cairo does not
<karryall> Cairo can also output to files, Graphics cannot
<Banana> that's not what i meant.
<karryall> ah
<Banana> say a binding to render cairo in the Graphics window ?
<karryall> oh
<Banana> and handle events through standart Graphics ?
<karryall> maybe
<karryall> but is it wort the trouble ?
<Banana> (the gtk binding is a bit heavy...)
<Banana> (cause you have to use gtk).
<Banana> the other problem is that Graphics is a bit weak with mouse events...
<Banana> well i thought of writing a little widget tool kit using cairo for rendering...
<karryall> graphics is weak with a lot things
<karryall> you could perhaps use tk/labltk
<Banana> or maybe just wait that gtk uses cairo for rendering ^_^.
<karryall> if you known the internals enough
<Banana> erf.
<karryall> or roll your own X bindings !
<karryall> but yeah eventually gtk will use cairo
* Banana is waiting for that day.
<karryall> bah, gtk is not *that* heavy
<Banana> gtk isn't...
<Banana> but i'm a bit puzzeled with lablgtk...
<Banana> apps using it are not as "reactive" as i would likt.
<Banana> like.
<karryall> hmm
<Banana> (i did not choose the best one though...)
<karryall> which one ?
<Banana> (mldonkey zum beispiel).
<karryall> yeah I must say I do ot known how much impact the binding layer has on latency/reactivness
<karryall> it's not easy to compare: that would mean rewriting the app in C
<Banana> yes.
<Banana> from times to times i have some ideas of projects...
<karryall> well if you do tell me, we'll try to measure things then :)
<Banana> like rewriting gdesklets in ocaml rather than python.
<Banana> (hence the use of cairo for flashing eyecandy).
<karryall> what does gdesklet use ? plain GTK ?
<Banana> well, let's postpone that for when i'll start my phD ;)
<Banana> karryall: it uses the gtk2 bindings for python.
<Banana> rendering is ok but memory consumption is horrible.
* karryall is reading a USENIX paper on SML bindings for GTK+
<karryall> "the encoding of a single-inheritance hierarchy [with phantom types] is original with us"
<karryall> tu parles !
<vincenz> non
<karryall> quoi non ?
chris1 has joined #ocaml
kosmikus|away is now known as kosmikus
<Banana> c'est pas ce qui est utilisé dans lablgtk ?
<karryall> ben si
<Banana> et c'etait pas fait avant ?
<vincenz> non
_fab has joined #ocaml
Iter has joined #ocaml
<cDlm> c quoi un phantom type ?
<karryall> c'est un type paramétré où la variable de type ne correspond à rien dans la définition du type
<karryall> par exemple:
<karryall> type 'a truc = int
<cDlm> hmm
<Banana> dans lablgtk ils foutent pas une liste de variant dans le 'a ?
<Banana> une liste...
<Banana> je me comprends.
<karryall> oui c'est un type variant
<karryall> mais des variants polymorphes
<Banana> oui voilà.
<karryall> donc c'est "ouvert"
<cDlm> brrr.
* cDlm aime pas le grec :)
<Banana> et donc les gens de chez SML on dit on est des oufs c'est nous qu'on a tout inventé ?
<karryall> en fait leur code est assez vieux (genre 4 ans)
<karryall> je pensais au début que leur binding était nouveau mais en fait non
<karryall> Jacques Garrigue a du commencer lablgtk à peu près en même temps
<Banana> oui.
<Banana> avant y avait mlgtk ...
<karryall> leur truc est un peu different (ils ont pas de variants polymorphes !)
slashvar has joined #ocaml
rox has quit [orwell.freenode.net irc.freenode.net]
hoisie_ has quit [orwell.freenode.net irc.freenode.net]
Riastradh has quit [orwell.freenode.net irc.freenode.net]
Riastradh has joined #ocaml
rox has joined #ocaml
hoisie has joined #ocaml
CosmicRay has joined #ocaml
Iter has quit [Read error: 110 (Connection timed out)]
rox has quit ["Client exiting"]
rox has joined #ocaml
pac_away has joined #ocaml
vezenchio has joined #ocaml
<pac_away> Hi
<jlouis> hi
mrsolo has quit [Read error: 104 (Connection reset by peer)]
karryall has quit ["tcho"]
maihem has joined #ocaml
kosmikus is now known as kosmikus|away
_fab has quit []
vincenz has quit ["leaving"]
vincenz has joined #ocaml
kosmikus|away has quit [Read error: 104 (Connection reset by peer)]
kosmikus|away has joined #ocaml
pac_away is now known as pac_aw
yauz_ is now known as yauz
reltuk has quit [Ping timeout: 14400 seconds]
mattam has quit [Read error: 110 (Connection timed out)]
pac_aw is now known as pac_
<pac_> Hi again
mattam has joined #ocaml
monotonom has joined #ocaml
smimou has quit [Remote closed the connection]
smimou has joined #ocaml
reltuk has joined #ocaml
CosmicRay has quit ["Client exiting"]
buggs^z has joined #ocaml
buggs has quit [Read error: 60 (Operation timed out)]
buggs^z is now known as buggs
Iter has joined #ocaml
monotonom has quit ["Don't talk to those who talk to themselves."]
reltuk has left #ocaml []
Axioplase has joined #ocaml
cjohnson has joined #ocaml