smkl changed the topic of #ocaml to: http://icfpcontest.cse.ogi.edu/ -- OCaml wins | http://www.ocaml.org/ | http://caml.inria.fr/oreilly-book/ | http://icfp2002.cs.brown.edu/ | SWIG now supports OCaml
MegaWatS has quit ["Oceania has ALWAYS been at war with Eastasia!"]
graydon has quit [Remote closed the connection]
mr_bubbs has joined #ocaml
mr_bubbs has quit [Read error: 110 (Connection timed out)]
malc has joined #ocaml
karryall has joined #ocaml
malc has quit [Read error: 110 (Connection timed out)]
systems has joined #ocaml
systems has quit [Client Quit]
harry has joined #ocaml
harry has left #ocaml []
cleverdra has joined #ocaml
ayrnieu has joined #ocaml
cleverdra has quit [Read error: 110 (Connection timed out)]
graydon has joined #ocaml
karryall has quit [card.freenode.net irc.freenode.net]
karryall has joined #ocaml
karryall has quit [card.freenode.net irc.freenode.net]
karryall has joined #ocaml
Yurik has joined #ocaml
<Yurik> re
Yurik has quit [Client Quit]
ayrnieu has quit [Read error: 110 (Connection timed out)]
tmcm has quit ["using sirc version 2.211+ssfe"]
systems has joined #ocaml
systems has quit ["Client Exiting"]
teeku has joined #ocaml
karryall has quit [card.freenode.net irc.freenode.net]
karryall has joined #ocaml
<teeku> hi all. I got a little problem, probably due my limited understanding of Ocaml type system
<teeku> I'm playing with lablgtk
<teeku> If someone could explain this to me, or give some pointers to appropriate web-material, I'd be pleased
<karryall> humm, let me see ...
<smkl> teeku: it's a problem with labels
<teeku> smkl, can you elaborate a little ?
<teeku> oh, I see, rectangle methods differ type differ
<teeku> Is the other way to deal with this than explicitly annotate code with types
<teeku> s/the/there
karryall has quit [card.freenode.net irc.freenode.net]
<smkl> probably not
<smkl> you could put in all the labels, but that would be pointless
<teeku> ok.
karryall has joined #ocaml
<teeku> it's a bit unfortunate that type inference doesn't work as well with labels as without
<teeku> I think lablgtk is one of the usable interfaces to gtk
<teeku> s/of the usable/of the most usable/
<teeku> (I'm probably too tired, as I make typos all the time)
<smkl> in this program, it's possible to move "expose" below the definition of "drawing" and remove "drawing" paramater
<teeku> yes, that's how many of the examples in lablgtk package seem to handle these
<teeku> I was restructuring a larger piece of code, and bumbed to this type inference problem.
<teeku> smkl, thanks for the help, I'll get back to project...
teeku has left #ocaml []
karryall has quit [card.freenode.net irc.freenode.net]
karryall has joined #ocaml
karryall has quit ["bye .."]
gl has joined #ocaml
cleverdra has joined #ocaml
karryall has joined #ocaml
cleverdra has quit ["Leaving"]
two-face has joined #ocaml
<two-face> hi there
<Dybbuk> Howdy!
<two-face> Howdy!
malc has joined #ocaml
<two-face> hi malc
<malc> lo two-face
<two-face> i've read quickly your webpage about your patch
<malc> yes?
<two-face> i'm not sure i understood correctly what it allows to load, cmxa ?
<Dybbuk> What patch?
<malc> you can convert cmxa to shared object (or dynamic library) and load it. yes
<two-face> malc: does it keep a given ocaml version or something ?
<malc> two-face: scuseme?
<two-face> malc: does the .so file contain the ocaml version, so example in the soname?
<Dybbuk> Wow...
<malc> two-face: no
<two-face> (some days, i'll read what it write before pressing Enter)
<Dybbuk> malc: Where can I get the patch? That's something I'd love to see.
<malc> http://www.google.com.ru/search?q=malc its there somewhere
<Dybbuk> Cool, thanks.
<Dybbuk> Oh right, the scaml patch.
<two-face> malc: has ocaml team already shown some interests for it?
<malc> two-face: i dont know if have seen it, but there was pretty longish disucssion on the mailing list about this sort of stuff
<malc> two-face: yep, Xavier made it quite clear, that its not wanted
<Dybbuk> malc: Why is it not wanted?
<two-face> malc: i guess he wants some runtime checks
<malc> runtime checks are(i think it was general consensus on the before mentioned thread) impossible (or at the very least very hard)
<malc> Dybbuk: because quote: 'dynamic linking is evil'
<Dybbuk> Oh man.
<two-face> what about loading bytecode within native code ? :)
<Dybbuk> Dynamic linking isn't evil, it's the standard. :)
<Dybbuk> Is it possible to create static libraries with OCaml?
<two-face> cmxa are static libraries
<malc> static libraries? ahem.. -a
<Dybbuk> Yeah, .a files. :)
<Dybbuk> To link against C or something.
<malc> -a creates .cmxa and .a
<two-face> but, in CDK, there is a DLOpen wrapper IIRC
<malc> .cmxa is just a collection of .cmx'es. .a is, well... usual .a
<Dybbuk> Ahh, neat.
<malc> yes, to open C porduced DLLs and call exported functions
<Dybbuk> Huh.
gl has quit [No route to host]
Segora has quit [Remote closed the connection]
Segora has joined #ocaml
<Segora> re
<two-face> re
* Segora sighs.
malc has quit [Read error: 110 (Connection timed out)]
<Segora> got a little further with the backup system prototype (in OCaml). Unfortunately, the final version is in C++.
<two-face> what a shame
<Segora> .. but type inference really helps to think about the design. ;)
<two-face> how dare you reimplement ocaml progs in C++ !
<Segora> yeah. wanted to hack it together at the weekend to show that it can be done in two days in a decent language instead of several months(!) for almost worthless c++ code from an external contractor. a pity that i got ill.
<two-face> bwa ah ah
<Segora> never saw that much confusion carved in code for a long time.
<two-face> how dirty is your c++ code ? :)
<Segora> that depends on whom you ask.
<two-face> heh
<Segora> I believe most people would say it's quite clean. Only one colleage still gives me good advice on how to improve it.
<two-face> ok
<two-face> got to go now
<two-face> bye
<Segora> bye
two-face has left #ocaml []
<Dybbuk> Segora: I did something similar with Common Lisp (improving on a crappy Perl program), but my boss didn't seem to care.
<Segora> Dybbuk: well, I want to reach a point where the decision is between using the usable ocaml version or putting more time in the not-yet-functional C++ version. ;)
karryall has quit [Read error: 104 (Connection reset by peer)]
<Segora> after all, not all hope's lost over here. there's even software written in ocaml and erlang in production use.
<Segora> bye [ screen locked ]
gl has joined #ocaml
<gl> 'lo all
<Dybbuk> Howdy there.
Dalroth has quit []