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)]
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?