gl changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | happy new year, dudes.
pangoafk is now known as pango
pango is now known as pangoafk
pangoafk is now known as pango
<Smerdyakov> pango, y'know, there's this great away message feature in IRC so that you don't end up spamming channels with nick changes. :P
<pango> some don't like away messages either
<Smerdyakov> Why?
<pango> because "it spams channels"
<Smerdyakov> Huh? No message is sent to anyone when you go away.
<Smerdyakov> I mean /away I'm gone
<Smerdyakov> Particular IRC clients may send PRIVMSGs whenever that's run, but that's not part of the IRC protocol.
<pango> oh, mmh I don't know if dircproxy supports the feature
<Smerdyakov> It would be very strange if it didn't. This feature has been in the IRC protocol for decades
<pango> it's actually dircproxy changing the nick when I disconnect
<pango> it's a proxy, not a client, so I don't know
<pango> ah, seems it does
<Smerdyakov> My IRC client (XChat) even greys out names of AWAY people.
<pango> I'm more concerned with the lack of reliability of tor... I disconnect way too often
reilly has quit []
sponge45 changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/
smimou has quit ["bli"]
brainly-green has joined #ocaml
reilly has joined #ocaml
mnemonic has quit ["leaving"]
Mr_Awesome has joined #ocaml
m3ga has joined #ocaml
mbishop has joined #ocaml
m3ga has quit ["disappearing into the sunset"]
johnnowak has joined #ocaml
reilly has quit []
kb__ has joined #ocaml
kb__ has quit ["Leaving"]
levi_hom1 is now known as levi_home
<stevan_> Smerdyakov: are you interested in hearing any more "missing features" of smlsql
pants1 has joined #ocaml
<Smerdyakov> stevan_, I'd be more interested in hearing re: Laconic.
<stevan_> Smerdyakov: I am still reading up on dependent types, so that might take a little while
<stevan_> I like the mutal recursion example, very cool
<stevan_> ok, first impression (based on basic understanding of dependent typing and how you are using it here) is that you have some very cool ideas going
<stevan_> but the mashup of SQL + HTML + Code I am not a fan of
<stevan_> although the fact it will all be statically checked removes some of my aversion to that
<Smerdyakov> It's pretty clear to me that there's no way to get high productivity without allowing whole applications to exist as single language entities.
<stevan_> well, thats not true in my experience
<Smerdyakov> I'm sure your experience doesn't involve the kind of metaprogramming I have in the examples.
<stevan_> being able to seperate HTML and code is very useful when you have someone to delegate to (HTML code jockey)
<stevan_> which examples specifically? I am just getting to the metaprogramming section
<Smerdyakov> Just read it all. :P
<stevan_> ok, let me finish this last section
<stevan_> Smerdyakov: what is the 'con' keyword stand for?
<Smerdyakov> A syntactic class that generalizes types
<stevan_> is it short for something?
<Smerdyakov> constructor
<stevan_> thanks (it makes it easier to read the code when I know these things,.. sorry just a quirk of mine)
<stevan_> I think I like the Expenses example in the Technical report the best
<stevan_> I do like the metaprogramming aspect of it all
<stevan_> I find myself wanting such features in OCaml sometimes, mostly cause in the more dynamic languages that i am used to it is easy to bend/break/demolish types in this way
<stevan_> I am still not sold on the value of mixing HTML , SQL and code
<stevan_> that is fine for small single developer projects, but the moment you have many developers, a web designer and DBA it gets messy
<stevan_> and remember, despite what RoR zealots what you to believe, a fair portion ( I would say 50% or more) of web apps are not just CRUD
<stevan_> I wonder how your table abstractions would scale when you get into 100+ column tables
<stevan_> I have been pondering something similar to SQLAlchemy in terms of an UI, but would like to have the strong type checking that you are getting
<stevan_> but most tables I deal with for reports are min 100 columns
<stevan_> I *know* RoR (and most ORMs for that matter) don't scale up that high very well
<stevan_> Smerdyakov: all in all, very interesting stuff
<stevan_> I don't know how fair it is to compare this to RoR performance wise though :)
<stevan_> Ruby is a known CPU/Memory hog
<stevan_> anyway,.. time for bed
<Smerdyakov> Bye
Smerdyakov has quit ["Leaving"]
mc__ has quit [Read error: 60 (Operation timed out)]
mc__ has joined #ocaml
jlouis has quit [Connection reset by peer]
jlouis has joined #ocaml
david_koontz has quit ["This computer has gone to sleep"]
zagzig has quit ["abandonado"]
Mr_Awesome has quit ["...and the Awesome level drops"]
zagzig has joined #ocaml
triple_ has joined #ocaml
sponge45 has quit ["zzzzzzzzzz"]
chi11 has joined #ocaml
johnnowak has quit [Read error: 110 (Connection timed out)]
chi11 is now known as velco
brainly-green has quit [Read error: 110 (Connection timed out)]
triple_ has quit ["leaving"]
pango has quit [Remote closed the connection]
pango has joined #ocaml
david_koontz has joined #ocaml
slipstream-- has joined #ocaml
malc_ has joined #ocaml
slipstream has quit [Read error: 110 (Connection timed out)]
johnnowak has joined #ocaml
malc_ has quit ["leaving"]
<ikaros> hi, did anyone successfully compile cameleon?
Alneyan has joined #ocaml
<flux-> apparently not an easy task..
<ikaros> hehe yes i think so
<flux-> I wonder how much it would take to make cameleon easy to compile, if someone were to take the task :)
<ikaros> i compiled and installed all the requirements listed on the cameleon page.. but when i run configure for cameleon it says lablgladecc not found
<ikaros> i googled but i dont have a clue where it belongs to
<ikaros> hm seems its part of the lablgtk and i compiled it wrong.. well.. im going on trying..
<flux-> I've been compiling scala with gcj and the java-process' been running for almost half an hour..
<flux-> and takes 250M
<ikaros> wow now it seems to work.. still trying to find out how to build topcameleon
<ikaros> ./configure [--with-ocaml-src-dir=/absolute/path/to/ocaml/compiled/sources] ... dumb question but what are compiled sources?
descender has quit [Read error: 104 (Connection reset by peer)]
<flux-> ocaml source, compiled
<flux-> take 1 pcs of ocaml source distibution tar archive, extract it, compile it
<ikaros> ah lol.. got it wrong..
<benny> flux-: where should I add flour?
bluestorm has joined #ocaml
<flux-> benny, ?
<flux-> with eggs, sugar, some butter and a little bit of salt
<ikaros> i guess i give up like last time.. stumbling from error to error..
<ikaros> and i even dont know if its worth it ;)
nodie has left #ocaml []
mnemonic has joined #ocaml
<mnemonic> hi
love-pingoo has joined #ocaml
johnnowak has quit []
smimou has joined #ocaml
jlouis_ has joined #ocaml
mc__ has quit [Remote closed the connection]
jlouis has quit [Read error: 110 (Connection timed out)]
asymptote has joined #ocaml
descender has joined #ocaml
bluestorm has quit ["Konversation terminated!"]
mnemonic has quit ["leaving"]
ikaros has quit ["KVIrc 3.2.6 Anomalies http://www.kvirc.net/"]
lmbdwr has joined #ocaml
<lmbdwr> hi
<lmbdwr> is there any trick to do even simple higher order matching in ocaml ?
<lmbdwr> basic HOM, that is
<lmbdwr> e.g. without support for side effects
<zmdkrbou> what do you call higher order matching ?
<lmbdwr> match ewith | f(
<zmdkrbou> ok
<lmbdwr> the syntax of ocaml seems to refuse it.
mwc has joined #ocaml
<mwc> Hmmmm.. I'm trying to use usleep in an application to pause between draw updates...
<mwc> external usleep : int -> unit = "usleep" links but seem to do anything
<pango> mwc: it's not in standard library, is it
<mwc> pango, nope, just sleep
<mwc> but that's too long
<pango> mwc: try select
<mwc> I found that on a buglist, tried it, and it threw exceptions
<mwc> ignore (Unix.select [] [] [] 0.25) you mean?
<pango> yes
<mwc> Fatal error: exception Unix.Unix_error(11, "select", "")
<mwc> oh, I just realized what it was
<mwc> the tagging bit on int :S
<pango> that's probably EINTR
<pango> when the system call is interrupted
<mwc> yeah, well, when I call usleep I pass it a tagged in
<mwc> t
<mwc> and it's expecting an unsigned long... hmmm
<pango> try ignore(Unix.select [] [] [] 0.25) with Unix.Unix_error (Unix.EINTR, _, _) -> ();;
lmbdwr has quit ["Leaving"]
<mwc> No dice, doesn't seem to be taking any significant amount of delay...
<mwc> 0.25 gives the same program runtime as 1.0
<mwc> I suspect that the exception is being thrown immediately, so we aren't actually letting select wait.
<pango> are you profiling the program ?
<mwc> not really. Watching the graphical output scream by uselessly fast
<mwc> I also did a quick ./time
<mwc> I'm calling that function at the end of each draw, after Graphics.synchronize ()
jlouis_ has quit ["Leaving"]
<pango> just wandering... because profiling interrupts the program 100 times/s
<pango> so it could be a source of those EINTR
<mwc> No profiling
<mwc> just bytecode compiled
<mwc> er, I did a time ./sim_test
<pango> just works as advertised for me in toplevel
<pango> and in an existing native application too ;)
love-pingoo has quit ["Connection reset by pear"]
<pango> you can replace () with prerr_endline "I was interrupted" for debugging
ikaros has joined #ocaml
<mwc> The workstation here is FC4... maybe a 2.6.17 kernel is too old
<pango> I doubt it, select() semantics are heavily relied upon by many daemons
<pango> and it works with 2.6.10 for sure
<pango> and it's not time either: http://nopaste.tshw.de/1171115710fd15a/
<pango> same when compiled to bytecode
<mwc> I
<mwc> I'll probably end up writing a cma to call down to nanosleep
bzzbzz has joined #ocaml
_JusSx_ has joined #ocaml
swater has joined #ocaml
Alneyan has quit [Read error: 110 (Connection timed out)]
Alneyan has joined #ocaml
pattern has quit [zelazny.freenode.net irc.freenode.net]
pattern has joined #ocaml
bluestorm has joined #ocaml
malc_ has joined #ocaml
swater has quit ["Quat"]
swater has joined #ocaml
zagzig has quit [Remote closed the connection]
Smerdyakov has joined #ocaml
velco has quit ["I'm outta here ..."]
nodie has joined #ocaml
malc_ has quit ["leaving"]
reilly has joined #ocaml
GreyLensman has joined #ocaml
_JusSx_ has quit [Client Quit]
love-pingoo has joined #ocaml
asymptote has quit ["Leaving"]
chi11 has joined #ocaml
reilly has quit []
chi11 is now known as velco
mnemonic has joined #ocaml
Smergo has quit [Remote closed the connection]
Smergo has joined #ocaml
<mnemonic> hi
nodie has left #ocaml []
reilly has joined #ocaml
pango_ has joined #ocaml
brainly-green has joined #ocaml
pango has quit [Remote closed the connection]
ikaros has quit ["Leaving"]
ikaros has joined #ocaml
benny_ has joined #ocaml
benny has quit [Read error: 145 (Connection timed out)]
Submarine has joined #ocaml
reilly has quit []
shawn has joined #ocaml
david_koontz has left #ocaml []
reilly has joined #ocaml
shawn has quit ["This computer has gone to sleep"]
david_koontz has joined #ocaml
shawn has joined #ocaml
shawn has quit ["This computer has gone to sleep"]
reilly has quit []
reilly has joined #ocaml
Submarine has quit [Remote closed the connection]
love-pingoo has quit ["Connection reset by pear"]
ikaros has quit [Read error: 60 (Operation timed out)]
ikaros has joined #ocaml
Alneyan has quit [Remote closed the connection]
zagzig has joined #ocaml
malc__ has joined #ocaml
bluestorm is now known as bluestorm_aw
cmeme has quit [Read error: 131 (Connection reset by peer)]
johnnowak has joined #ocaml
cmeme has joined #ocaml
swater has quit ["Quat"]