dark_light changed the topic of #ocaml to: OCaml 3.09.2 available! Archive of Caml Weekly News: http://sardes.inrialpes.fr/~aschmitt/cwn/ | 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/
TaXules has joined #ocaml
mejja has quit [Remote closed the connection]
Demitar has joined #ocaml
<ulfdoz> Wo sind denn die Benschmarks?
<ulfdoz> ECHAN, sorry
Demitar has quit [Remote closed the connection]
Demitar has joined #ocaml
hikozaemon has joined #ocaml
Demitar has quit [Remote closed the connection]
Demitar has joined #ocaml
bzzbzz has joined #ocaml
Demitar has quit ["Ex-Chat"]
Demitar has joined #ocaml
pango__ has joined #ocaml
pango_ has quit [Remote closed the connection]
chessguy has joined #ocaml
chessguy has quit [" HydraIRC -> http://www.hydrairc.com <- IRC for those that like to be different"]
jcreigh has joined #ocaml
jcreigh has quit ["Cuius rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet."]
shekmalhen has joined #ocaml
Smerdyakov has quit ["Leaving"]
dark_light has quit ["Ex-Chat"]
smimou has joined #ocaml
sponge45 has joined #ocaml
pango__ is now known as pango
shekmalhen has quit ["Bêêêêêêêêh!"]
hikozaemon has quit ["Leaving..."]
smimou has quit ["bli"]
tristram has joined #ocaml
sponge45 has left #ocaml []
revision17_ has joined #ocaml
youknow365 has joined #ocaml
Revision17 has quit [Read error: 110 (Connection timed out)]
<youknow365> anyone up
<ppsmimou> yes
<youknow365> any qt biding for ocaml
youknow365 has quit [Remote closed the connection]
youknow365 has joined #ocaml
ramkrsna has quit [Read error: 110 (Connection timed out)]
ramkrsna has joined #ocaml
Bendi has joined #ocaml
<Bendi> hi
<youknow365> hi
fandangos has joined #ocaml
<pango> youknow365: there was a project called kamel, but it seems it never took off
<pango> youknow365: so the short answer seems to be "no"
<youknow365> lol yea
<youknow365> its fine i prefer gtk any ways
fandangos has left #ocaml []
shans_home has joined #ocaml
<shans_home> hi, is anyone here willing to help with a question about the ocaml gtk bindings (I think)?
<shans_home> I keep getting an error which boils down to "The instance variable foo has type ((< use_foo : ('a -> unit) option -> unit; ..> as 'a) -> unit) option, But is expected to have type (< use_foo : 'b -> unit; ..> -> unit) option as 'b
<shans_home> but I can't reproduce it with simple classes, only with something I'm trying to inherit from gtk
<shans_home> I only get it when I try to compile using ocamlc, and even when I type the class in at the ocaml prompt and paste the type into my .mli file, I still get the same problem :(
khaladan_ has joined #ocaml
ramki has joined #ocaml
khaladan has quit [Connection timed out]
khaladan_ is now known as khaladan
ramkrsna has quit [Connection timed out]
flux__ has quit [Read error: 104 (Connection reset by peer)]
Bendi has quit ["Download Gaim: http://gaim.sourceforge.net/"]
pango has quit [Remote closed the connection]
shawn has quit [Read error: 104 (Connection reset by peer)]
shawn has joined #ocaml
pango has joined #ocaml
Smerdyakov has joined #ocaml
bzzbzz_ has joined #ocaml
chessguy has joined #ocaml
smimou has joined #ocaml
finelemo1 has joined #ocaml
finelemon has quit [Read error: 110 (Connection timed out)]
chessguy has quit [" HydraIRC -> http://www.hydrairc.com <- State of the art IRC"]
cmeme has quit [Remote closed the connection]
Demitar has quit [Read error: 113 (No route to host)]
mnemonic has joined #ocaml
<mnemonic> hi
<youknow365> hi
<mnemonic> :)
<youknow365> lol
tristram has quit [Read error: 110 (Connection timed out)]
Schmurtz has joined #ocaml
Schmurtz has quit [Read error: 113 (No route to host)]
asbeta has joined #ocaml
chessguy has joined #ocaml
chessguy has quit [" HydraIRC -> http://www.hydrairc.com <- IRC has never been so good"]
dark_light has joined #ocaml
chessguy has joined #ocaml
bzzbzz_ has quit [Client Quit]
mnemonic has quit ["leaving"]
dark_light has quit [Remote closed the connection]
dark_light has joined #ocaml
Schmurtz has joined #ocaml
bzzbzz has quit [Read error: 110 (Connection timed out)]
smimou has quit ["bli"]
chessguy has quit [Connection timed out]
cmeme has joined #ocaml
<asbeta> arrrgh... how should i tell ocamlyacc to put "type token = ..." after the header? i need to make some type definitions beforehand...
joelr1 has joined #ocaml
<joelr1> howdy folks
<joelr1> anyone alive?
<dylan> braaaaiiins
<joelr1> :D
<joelr1> val (‘and‘) : int -> int -> int
<joelr1> what would a function with this signature look like?
<asbeta> let sum a b = a + b;; :)
<joelr1> well, ok, but can i use it as 2 sum 3?
<joelr1> or, rather, how do i use it that way
<dylan> there is no way to use 'and' as an operator.
<joelr1> call it something else, plus or sum
<joelr1> this is from lexifi, btw
<dylan> you could do let (+@) a b = a + b
<joelr1> val (‘and‘) : contract -> contract -> contract
<joelr1> (** Simultaneous immediate acquisition of two contracts.
<joelr1> To acquire [c1 ‘and‘ c2] is the same as acquiring [c1] and
<joelr1> [c2]. You acquire the rights and obligations of both contracts. *)
<joelr1> does it mean they are using metaocaml or something else?
<dylan> hmmph.
<joelr1> my question is how to go infix
<dylan> only symbols are infix in normal ocaml
<dylan> there is nothing like haskell's backticks.
<joelr1> so how do they do it then?
<dylan> Though I would guess some ocaml extension or camlp4 extension does that.
<joelr1> lexifi
<asbeta> joelr1, i think they use some preprocessing
<joelr1> how would that work?
<asbeta> it would translate a and b to And (a, b)
<asbeta> actually, right now i'm writing contract interpreter/compiler, without embedding it into in ocaml
<joelr1> without?
<joelr1> asbeta: do you work on wall st?
<asbeta> no, it's just a part of my research inspired by Simon Peyton Jones & Jean-Marc Eber paper
<joelr1> interesting
<joelr1> i was inspired by that paper too. in my inspiration i still can't pick between haskell (which i used, google for haskell vs. erlang) and ocaml :D
<joelr1> asbeta: what do you recon? do you know haskell?
<asbeta> yes, i know haskell, but i think ocaml is closer to real world :)
<joelr1> asbeta: well, yes, if you call being much faster to compile itself and to compile and to run being closer
<asbeta> maybe i just don't get monads :)
<joelr1> ah!
<asbeta> where did you obtained lexifi manual? is it public?
<asbeta> -ed
<joelr1> yep, public
<joelr1> sec
<joelr1> well, just go to http://www.lexifi.com
<joelr1> see second presentation
<asbeta> hmm... i think they use camlp4
<asbeta> and now i'm thinking about using it too :)