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 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>
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.
<
Banana>
say a binding to render cairo in the Graphics window ?
<
Banana>
and handle events through standart Graphics ?
<
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
<
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>
(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>
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 !
<
karryall>
quoi non ?
chris1 has joined #ocaml
kosmikus|away is now known as kosmikus
<
Banana>
c'est pas ce qui est utilisé dans lablgtk ?
<
Banana>
et c'etait pas fait avant ?
_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
<
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
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>
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
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
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_
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