rwmjones changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | Grab Ocaml 3.10.1 from http://caml.inria.fr/ocaml/release.html (featuring new camlp4 and more!)
ita has quit ["Hasta luego!"]
thermoplyae has quit ["daddy's in space"]
seafood_ has joined #ocaml
hsuh has joined #ocaml
<kig> anyone want to have a quick read over my noob code and tell what sucks? http://dark.fhtr.org/userland.txt
filp has quit ["Bye"]
<mbishop> Looks pretty neat
<mbishop> There's a Time module?
<kig> it's in AnnexLib
<mbishop> ah
<mbishop> You could use Unix for time as well
<kig> i don't think it has time formatting
<mbishop> Well it gives you access to the tm_ structure like in C
<mbishop> So you could just make your own with printf
<kig> yeah
<hcarty> kig: Using let () = ... rather than let _ = ... can help catch errors
<hcarty> Since you will get a warning/error if the type doesn't end up being ()
hsuh has quit [Remote closed the connection]
hsuh has joined #ocaml
<kig> thanks, changed them
<mbishop> hcarty: that's a good tip
hsuh has quit ["bye"]
jlouis has quit ["leaving"]
bzzbzz has quit ["leaving"]
ulfdoz has quit [Connection reset by peer]
mwc has quit [Remote closed the connection]
zbrown has quit [Remote closed the connection]
zbrown has joined #ocaml
Jedai has quit ["KVIrc 3.2.6 Anomalies http://www.kvirc.net/"]
thermoplyae has joined #ocaml
mordaunt has left #ocaml []
thermoplyae has quit ["daddy's in space"]
mwc has joined #ocaml
olleolleolle has joined #ocaml
<flux> I suppose especially in the cases where you have partial application, but you expect a side effect
<flux> I did some lazy programming yesterday, and I must say it does offer some tricks to pure functional programming where you might usually need to use side effects..
<flux> but I can easily see if it can also produce runtime errors if you aren't careful
<flux> I haven't yet tried my code, I've only compiled it :-)
<flux> (but the nature of the code is such that I think being compilable also means it'll work..)
olleolleolle has left #ocaml []
Snark has joined #ocaml
thermoplyae has joined #ocaml
mwc has quit ["Leaving"]
ttamttam has joined #ocaml
olleolleolle has joined #ocaml
olleolleolle has left #ocaml []
l_a_m has joined #ocaml
Yoric[DT] has joined #ocaml
<Yoric[DT]> hi
Tetsuo has joined #ocaml
thermoplyae has quit ["daddy's in space"]
filp has joined #ocaml
Morphous has joined #ocaml
Amorphous has quit [Read error: 110 (Connection timed out)]
filp has quit [Read error: 104 (Connection reset by peer)]
petchema has joined #ocaml
filp has joined #ocaml
det has quit [Remote closed the connection]
seafood_ has quit []
rwmjones has joined #ocaml
OChameau has joined #ocaml
Morphous has quit [Read error: 110 (Connection timed out)]
rwmjones has quit ["Closed connection"]
rwmjones has joined #ocaml
middayc has joined #ocaml
letrec has joined #ocaml
<letrec> Hi! I was reading a paper which said that the inheritance constructs found in OO languages could be implemented in OCaml using functors (I understand), parametric polymorphism (ok) and closures (??). Can somebody comment on that and/or give an example as I simply don't understand.
<letrec> I don't get how closures can be used to mimic inheritance. Thanks.
<Yoric[DT]> mmmhhhh....
<Yoric[DT]> I see how they can be used to mimic public/private.
<Yoric[DT]> I'm not sure about inheritance.
<Yoric[DT]> I mean, I've seen all sorts of dirty tricks used to mimic inheritance in JS and some used closures.
<Yoric[DT]> But I couldn't place a specific role on them.
SIGVTALRM has joined #ocaml
mfp has quit [Nick collision from services.]
SIGVTALRM is now known as mfp
<letrec> Ok, thanks anyway Yoric
<letrec> Any pointer on what parametric polymorphism really stand for btw?
<letrec> I'd like to learn more on that.
hsuh has joined #ocaml
<Yoric[DT]> letrec: by "really stand for", I assume that the answer " 'a " won't satisfy you ?
hkBst has joined #ocaml
zenhacker_rouan has joined #ocaml
<letrec> :)
<letrec> Do you want to mean parametric polymorphism only relates to the ability of the type system to infer generic 'a types to a function?
pango has quit [Remote closed the connection]
Tetsuo has quit ["Leaving"]
Snark has quit ["Ex-Chat"]
<Yoric[DT]> Well, 'a is the polymorphic parameter.
hsuh has quit [Remote closed the connection]
seafood_ has joined #ocaml
filp has quit ["Bye"]
xavierbot has joined #ocaml
seafood__ has joined #ocaml
seafood_ has quit [Read error: 110 (Connection timed out)]
brian`` has joined #ocaml
brian` has quit [Read error: 110 (Connection timed out)]
olleolleolle has joined #ocaml
zenhacker_rouan has quit [Read error: 104 (Connection reset by peer)]
RobertFischer has joined #ocaml
Jedai has joined #ocaml
seafood__ has quit []
seafood_ has joined #ocaml
seafood__ has joined #ocaml
seafood_ has quit [Read error: 104 (Connection reset by peer)]
pango has joined #ocaml
pango has quit [Nick collision from Idoru.]
szell` has joined #ocaml
szell has quit [Read error: 110 (Connection timed out)]
szell` is now known as szell
Tetsuo has joined #ocaml
olleolleolle has quit [Read error: 104 (Connection reset by peer)]
olleolleolle has joined #ocaml
RobertFischer has left #ocaml []
olleolleolle has quit []
seafood__ has quit []
seafood_ has joined #ocaml
thelema|away is now known as thelema
Amorphous has joined #ocaml
RobertFischer has joined #ocaml
seafood_ has quit []
seafood_ has joined #ocaml
seafood_ has quit [Client Quit]
ulfdoz has joined #ocaml
Enki_ has joined #ocaml
RobertFischer has left #ocaml []
ttamttam has left #ocaml []
Enki_ has quit ["Quitte"]
jstanley has joined #ocaml
carrumba has joined #ocaml
<jstanley> Anyone know of some simple example code for doing XML-RPC (or something similar) from OCaml?
<jstanley> thank you ;)
<jstanley> ...and along similar lines, can anyone recommend a good C library for XML-RPC?
<rwmjones> jstanley, for the RPC bit curl is ok .. it also has reasonably good ocaml bindings
<rwmjones> see also:
<jstanley> thanks rwmjones
<rwmjones> hmmm
* rwmjones wonders why merjis.com is down
<jstanley> i can load the page okay.
<thelema> rwmjones: merjis works for me now.
<rwmjones> I think it's just my network
szell has quit [Read error: 110 (Connection timed out)]
jderque has joined #ocaml
<Yoric[DT]> Good evening everyone.
Yoric[DT] has quit ["Ex-Chat"]
jstanley has left #ocaml []
OChameau has quit ["Leaving"]
bongy has joined #ocaml
jstanley has joined #ocaml
<jstanley> I asked about XML-RPC library availability in OCaml earlier, but does anyone know if there's also a JSON-RPC lib around somewhere? A quick google didn't yield anything.
<thelema> I recall someone having some JSON / OCaml code. I don't think it included any transport code.
<jstanley> Yeah, there's this json-wheel thing that just does the type mappings.
<jstanley> Okay, cool, I'd found that, just wanted to make sure there wasn't anything else well-known floating around.
<jstanley> Doing transport on top of that shouldn't be too hard.
<jstanley> Thanks again thelema
ita has joined #ocaml
marmottine has joined #ocaml
jganetsk has joined #ocaml
jstanley` has joined #ocaml
bluestorm has joined #ocaml
postalchris has joined #ocaml
jganetsk has left #ocaml []
camln00b has joined #ocaml
<camln00b> hi, i have a question
<thelema> go ahead
<camln00b> there's syntactic sugar for constructing a record from a previous record's values, with some modifications
<camln00b> at least, i think there is
<camln00b> but i don't remember it
<thelema> let new_val = {old_val with field1=val1; field2=val2;...}
<camln00b> ah thank you
<camln00b> did i just miss that? i don't think i see it in the reference manual
<thelema> http://caml.inria.fr/pub/docs/manual-ocaml/expr.html <- in the section "Records"
letrec has quit [Read error: 104 (Connection reset by peer)]
letrec has joined #ocaml
jstanley has quit [Read error: 110 (Connection timed out)]
olleolleolle has joined #ocaml
szell has joined #ocaml
ita has quit [Read error: 110 (Connection timed out)]
jlouis has joined #ocaml
pattern has quit [Remote closed the connection]
<thelema> mbishop: nice
letrec has quit [Read error: 104 (Connection reset by peer)]
letrec has joined #ocaml
ttamttam has joined #ocaml
jderque has quit [Read error: 113 (No route to host)]
jstanley` has left #ocaml []
pattern has joined #ocaml
smimram has joined #ocaml
pattern has quit [Remote closed the connection]
smimou has quit [Read error: 110 (Connection timed out)]
jlouis_ has joined #ocaml
bongy has quit ["Leaving"]
jlouis has quit [Read error: 110 (Connection timed out)]
thermoplyae has joined #ocaml
romanoffi has quit ["Leaving."]
davidr__ has joined #ocaml
davidr__ has quit [Client Quit]
olleolleolle has quit []
<brian``> @seen snrrrub
jlouis has joined #ocaml
jlouis_ has quit [Read error: 110 (Connection timed out)]
marmottine has quit ["Quitte"]
jstanley has joined #ocaml
<jstanley> Newbie Ocaml hashtable question: why is let m = Hashtbl.create 10 giving me a compiler error about types that can't be generalized, while interactively the same thing works?
<thelema> specific error?
<jstanley> Error: The type of this expression, ('_a, '_b) Hashtbl.t,
<jstanley> contains type variables that cannot be generalized
<jstanley>
<thelema> you have to use it so it can fix the types.
<jstanley> ah, so the problem is i haven't actually utilized it in such a way that it can determine concrete types
<thelema> exactly. It can't generate code for a '_a, '_b hashtbl.t
<jstanley> yeah, makes sense; i was just confused since it was working interactively. ;)
<jstanley> (but of course it doesn't have to do anything with that code yet interactively)
ttamttam has left #ocaml []
ita has joined #ocaml
middayc_ has joined #ocaml
bluestorm has quit ["Konversation terminated!"]
middayc has quit [Read error: 110 (Connection timed out)]
<jstanley> does ocaml have a general-purpose type->string conversion function? e.g. for lists of primitive types?
<thelema> how could you get a list of elements of different types?
<jstanley> lists of all the same type
<jstanley> e.g. i have a list of ints and i'd like to print it without writing my own function to do so
<jstanley> nothing in the stdlib docs popped out oat me in either List or String
<jstanley> s/oat/out
RobertFischer has joined #ocaml
<jstanley> e.g. a toString polymorphic function of some kind
<thermoplyae> no, it doesn't
<thermoplyae> otherwise things like print_int wouldn't exist :)
<thelema> let string_of_list string_of l =
<thelema> "["^String.concat "; " (List.map string_of l)^"]"
<thermoplyae> since they'd just be fun x -> print_string (toString x)
<jstanley> ah, ah, ok ;P
<jstanley> i can just concatmap appropriately then, thanks
<thelema> exactly.
<jstanley> (trying to identify where i can take shortcuts as needed, that's all; thanks for the forbearance ;)
Tetsuo has quit ["Leaving"]
jlouis has quit [Remote closed the connection]
jlouis has joined #ocaml
RobertFischer has quit ["Trillian (http://www.ceruleanstudios.com"]
bla has quit [Nick collision from services.]
hsuh has joined #ocaml
thelema is now known as thelema|away
hkBst has quit ["Konversation terminated!"]
hsuh has quit [Remote closed the connection]
hsuh has joined #ocaml
rwmjones_ has joined #ocaml
Yoric[DT] has joined #ocaml
Jedai has quit ["KVIrc 3.2.6 Anomalies http://www.kvirc.net/"]