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/
<joelr1> i should learn more about camlp4
<joelr1> cool, thanks!
<joelr1> there was something about the campl4 developer quitting the ocaml dev team in anger
<joelr1> i wonder what that was about
<asbeta> maybe about their revised syntax :)
<joelr1> hmm
<joelr1> val market : string -> ’c observable -> ’c observable
<joelr1> this looks interesting too
<joelr1> i thought there was 'a which meant polymorphism
<joelr1> what's 'c about?
<asbeta> same thing
<joelr1> umm?
<joelr1> i thought ocaml always used 'a
<joelr1> what makes it return 'c?
<asbeta> well, it's idea of Eber, not ocaml authors... it's even not ocaml, but can be implemented with camlp4 probably
<joelr1> ok, so i thought :D
joelr1 has quit []
asbeta has quit []
chessguy has joined #ocaml
youknow365 has quit [Read error: 104 (Connection reset by peer)]
pango_ has joined #ocaml
chessguy has quit [Read error: 110 (Connection timed out)]
pango has quit [Remote closed the connection]
MassAveAttack has joined #ocaml
slipstream has quit [Remote closed the connection]
slipstream has joined #ocaml
holo has joined #ocaml
<holo> hi
<Smerdyakov> holo, are you a hologram?
<holo> Smerdyakov: if you answer my question, i can be whatever you want ^^
<holo> ok, this code sounds really weird, but i have no choice:
<holo> let rec global_lex str x =
<holo> match nth_char x with
<holo> `x` -> "" :: []
<holo> |`^` -> "":: string_of_char(nth_char x) ^ global str (x+1) @ global_lex str (x+1)
<holo> | _ -> "" :: string_of_char(nth_char str x) ^ global_lex str (x+1) @ global_lex str (x + 1)
<holo> in global_lex str 0;;
<holo> er the "I" things just ignore
<holo> nth_char x : This expression has type int -> char,
<holo> but is used with type char.
<holo> ha!
<holo> i found
<holo> sorry guys
<holo> string_of_char(nth_char str x): this expression has type string, but is used with type string list
<Smerdyakov> I will simply remark that you have no bloody idea what you're doing.
<holo> what's the problem that it is string? the whole expression in both branches are string listes
<Smerdyakov> Programming-by-guessing is not going to work in ML.
<holo> Smerdyakov: i'm not guessing
<Smerdyakov> Don't ask why something is wrong.
<Smerdyakov> Say why you think it's right, and perhaps someone here can find the flaw in your argument.
<holo> hmm
<holo> i said i thought it was ok becouse both branches are string lists, and so it shouldn't be complaining in that substring
<holo> *subexpression
<Smerdyakov> That is not a formal explanation, relative to the OCaml typing rules.
<holo> Smerdyakov: this isn't even ocaml :x look at the quoting of caracters
<Smerdyakov> Caml Light?
<holo> yep
<Smerdyakov> I've never used it, but I assume it's similar enough to OCaml that you can go ahead and give an explanation in terms of Caml Light typing rules.
<holo> Smerdyakov: sure
<holo> hmm, maybe it is missing some () brb
jcreigh has joined #ocaml
jcreigh has quit ["Cuius rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet."]
holo has quit [Read error: 113 (No route to host)]
MassAveAttack has quit [Read error: 110 (Connection timed out)]
shekmalhen has joined #ocaml
tristram has joined #ocaml
Smerdyakov has quit ["Leaving"]
khaladan_ has joined #ocaml
khaladan has quit [Connection timed out]
khaladan_ is now known as khaladan
Demitar has joined #ocaml
dark_light has quit [Read error: 110 (Connection timed out)]
dark_light has joined #ocaml
judge_ has joined #ocaml
shekmalhen has quit ["Bêêêêêêêêh!"]
pango_ has quit ["Client exiting"]
pango has joined #ocaml
Revision17 has joined #ocaml
revision17_ has quit [Read error: 110 (Connection timed out)]
Itkovian has joined #ocaml
Itkovian has quit []
smimou has joined #ocaml
Itkovian has joined #ocaml
dark_light has quit [Read error: 113 (No route to host)]
Itkovian has quit []
pango has quit [Remote closed the connection]
pango has joined #ocaml
joelr1 has joined #ocaml
joelr1 has left #ocaml []
pnou has joined #ocaml
asbeta has joined #ocaml
Itkovian has joined #ocaml
Itkovian has quit [Read error: 113 (No route to host)]
Itkovian has joined #ocaml
chessguy has joined #ocaml
bzzbzz has joined #ocaml
pnou has quit ["leaving"]
Itkovian has quit []
Itkovian has joined #ocaml
holo has joined #ocaml
chessguy has quit [" HydraIRC -> http://www.hydrairc.com <- The professional IRC Client"]
alcojol has joined #ocaml
Itkovian has quit [Read error: 104 (Connection reset by peer)]
Smerdyakov has joined #ocaml
pango has quit ["Leaving"]
judge_ has quit [Read error: 104 (Connection reset by peer)]
holo has quit [Read error: 113 (No route to host)]
pango has joined #ocaml
finelemon has joined #ocaml
holo has joined #ocaml
MassAveAttack has joined #ocaml
finelemo1 has quit [Read error: 110 (Connection timed out)]
finelemon has quit [Read error: 110 (Connection timed out)]
finelemon has joined #ocaml
Schmurtz has quit [Read error: 113 (No route to host)]
spiffy has joined #ocaml
<spiffy> is it possible to define a type in ocaml thats a subtype of say, int? that is a type that is only valid for a sub-range of the standard int?
judge_ has joined #ocaml
spiffy has quit []
Itkovian has joined #ocaml
judge_ has quit ["[BX] Mr. Rogers uses BitchX. Won't you be my neighbor?"]
dbueno has joined #ocaml
Itkovian has quit []
descender has quit [Read error: 110 (Connection timed out)]
Itkovian has joined #ocaml
descender has joined #ocaml
mnemonic has joined #ocaml
<mnemonic> hi
<asbeta> hi
dbueno has quit ["Leaving"]
slipstream-- has joined #ocaml
cmeme has quit ["Client terminated by server"]
cmeme has joined #ocaml
tristram has quit [Read error: 110 (Connection timed out)]
slipstream has quit [Connection timed out]
MassAveAttack has quit [Read error: 110 (Connection timed out)]
alcojol has quit ["Abandonando"]
holo has quit [Read error: 113 (No route to host)]
oattop has joined #ocaml
oattop has left #ocaml []
mnemonic has quit ["leaving"]
Itkovian has quit []
holo has joined #ocaml
bzzbzz has quit ["leaving"]
smimou has quit ["bli"]
asbeta has quit ["sleeeeeeep"]