smimou changed the topic of #ocaml to: OCaml 3.08.3 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/
wrunt has left #ocaml []
cognominal has quit [Read error: 54 (Connection reset by peer)]
cognominal has joined #ocaml
natv has quit [Read error: 110 (Connection timed out)]
gim has quit ["dodo"]
gim has joined #ocaml
bzzbzz has quit ["leaving"]
tintin has joined #ocaml
dbrodie has joined #ocaml
<dbrodie> anybody know of a nicer frontend for the ocaml console? The default one is a little annoying (f.e. the up arrow dosn't bring up the last statement) or maybe some command that I can run on a .ml file and it will give me a console with the commands from the file run? (btw I am one linux)
Banana has quit [Read error: 104 (Connection reset by peer)]
Banana has joined #ocaml
<Smerdyakov> dbrodie, rlwrap provides that kind of thing for any program.
<Smerdyakov> dbrodie, emacs is even better.
mattam has quit [Remote closed the connection]
maml has quit [Operation timed out]
dan2 has joined #ocaml
Banana has quit [Read error: 113 (No route to host)]
<dbrodie> Smerdyakov: Sorry for the delay I was away. Thanks but those seem that they are for emacs, and I am not a big emacs fan...
<dbrodie> (I meant rlwrap, i.e. not those but that)
<Smerdyakov> rlwrap is not for emacs.
<dbrodie> Smerdyakov: Oh cool, I misinterpreted what I read about in on a webpage. Seems to work great! Thanks :)
<Smerdyakov> I also suggest reconsidering your decision not to be an emacs fan.
<vincenz> There is also ledit
<vincenz> written in ocaml
<dbrodie> Smerdyakov: Well, the problem is that while it is very powerful, the learning curve is too steep. I got really hooked on jedit (even though I really don't like java) which is also very powerful but a much less steep (grammar?) learning curve. Does almost everything I want.
<dan2> emacs is great
<Smerdyakov> If you don't want to expend effort in learning how to use tools, then you've no business with serious programming.
<dan2> vi is also usable
<dbrodie> Smerdyakov: but if I get the same results with less learning why should I break my head needlessly? for any quick programming I do prefer vim
<dbrodie> vincenz: are you talking about http://www.sophists.com/Led/LedIt/ ?
<Smerdyakov> I certainly don't believe you get the same results.
<Smerdyakov> There's no Proof General for vi, for instance. :)
<dbrodie> Smerdyakov: There is no Tetris game either ;)
<vincenz> dbrodie: no
<dan2> hmm nvi is nice
<dbrodie> vincenz: Thanks. Works great as well!
<dbrodie> Smerdyakov: If you havn't tried jedit, you might want to give it a try for fun. It is very extensible (support scripting in Jython, and some others) but very easy to use till you learn the 101 shortcuts. And the shortcuts are more emacs-style then vi-style.
<dbrodie> dan2: what does nvi have the vim doesn't?
<Smerdyakov> dbrodie, if it doesn't have Proof General or similar, then it wouldn't make sense for me.
<vincenz> Proof general?
<Smerdyakov> Emacs mode for interactive theorem provers
<dan2> dbrodie: a lot
<dan2> dbrodie: its very strict vi
<dan2> very fast
<dbrodie> dan2: so it has less then vim but leaner? (not that that is a bad thing)
hum has joined #ocaml
<dbrodie> Smerdyakov: Ah ok. no don't think I have seen a plugin for that yet. (maybe there is but I have never needed something like proof general)
<Smerdyakov> dbrodie, I really doubt it. Java folks don't tend to be too into anything that intellectual. ;)
<dbrodie> Smerdyakov: can't argue there :P
wpaulson has joined #ocaml
wpaulson has left #ocaml []
Smerdy has joined #ocaml
Smerdyakov has quit [Nick collision from services.]
Smerdy is now known as Smerdyakov
Smerdyakov has quit [Nick collision from services.]
Smerdyakov has joined #ocaml
dbrodie has quit ["Download Gaim: http://gaim.sourceforge.net/"]
Herrchen_ has joined #ocaml
solarwind has quit [Read error: 110 (Connection timed out)]
ulfdoz_ has joined #ocaml
ulfdoz has quit [Read error: 60 (Operation timed out)]
Smerdy has joined #ocaml
Smerdyakov has quit [Nick collision from services.]
Smerdy is now known as Smerdyakov
Herrchen has quit [Read error: 110 (Connection timed out)]
vdrab has joined #ocaml
<ulfdoz_> re
eyda|mon has joined #ocaml
Submarine has joined #ocaml
tintin has quit [Remote closed the connection]
Submarine has quit ["Leaving"]
vdrab has quit ["bye"]
Submarine has joined #ocaml
eyda|mon has quit [Read error: 54 (Connection reset by peer)]
Submarine has quit ["Leaving"]
Submarine has joined #ocaml
Submarine has quit ["Leaving"]
slashvar[lri] has quit [Read error: 110 (Connection timed out)]
Submarine has joined #ocaml
dan2 has quit [Read error: 60 (Operation timed out)]
Submarine has quit ["Leaving"]
dan2 has joined #ocaml
Submarine has joined #ocaml
smimou has joined #ocaml
pango has joined #ocaml
mlh has quit [Client Quit]
mattam has joined #ocaml
gl` has quit [Read error: 104 (Connection reset by peer)]
slashvar[lri] has joined #ocaml
<slashvar[lri]> Hi there
slashvar[lri] has quit [Client Quit]
slashvar[lri] has joined #ocaml
<slashvar[lri]> hi there
gim has quit ["my lcd is squished again, grrr :/"]
gim has joined #ocaml
gim_ has joined #ocaml
gim has quit [Read error: 113 (No route to host)]
<buggs> is it possible to statically link lablgtk2 binaries ?
<buggs> it works but it can't run here
<Submarine> Not that I know of.
<buggs> Gtk-WARNING **: Service unavailable
<Submarine> We've never been able to run them.
<buggs> they probably have some dynmic modules huh?
<buggs> and without dynamic there is no dlopen to load them :/
<buggs> they must have a trick why would they provide .a else ?
vezenchio has joined #ocaml
nlv11757_ has joined #ocaml
<nlv11757_> does let docList ?(sep=chr ',') (doit:'a -> doc) () (elements:'a list) =
<nlv11757_> seq sep doit elements mean that sep is chr '.' by default?
nlv11757_ has left #ocaml []
Snark has joined #ocaml
_JusSx_ has joined #ocaml
tintin has joined #ocaml
_JusSx__ has joined #ocaml
_JusSx_ has quit [Read error: 110 (Connection timed out)]
_JusSx_ has joined #ocaml
slashvar[lri] has quit [Read error: 104 (Connection reset by peer)]
_JusSx__ has quit [Read error: 110 (Connection timed out)]
slashvar[lri] has joined #ocaml
<slashvar[lri]> re
hum is now known as maml
_JusSx__ has joined #ocaml
_JusSx_ has quit [Read error: 110 (Connection timed out)]
Snark has quit ["Leaving"]
__DL__ has joined #ocaml
CosmicRay has joined #ocaml
Tachyon76 has joined #ocaml
beta3 has joined #ocaml
dan2 has quit [Read error: 110 (Connection timed out)]
cjohnson has joined #ocaml
gim_ is now known as gim
vodka-goo has joined #ocaml
veleno has joined #ocaml
<veleno> i'm trying to write a function, which insert new elements in a association list, so that elements are ordered by values.
<Smerdyakov> That's almost in the standard library, but I'm not sure if it uses ordering.
<Smerdyakov> I guess it doesn't, so it would just be cons. :)
<veleno> Smerdyakov: you mean they are ordered automagically ?
<Smerdyakov> There are no functions for adding to association lists, so you do that in your own way, and it always searches the whole list for an element that isn't found.
<veleno> i'm getting this error: http://rafb.net/paste/results/w0pBf749.html
<Smerdyakov> Do you understand the typing rule for 'if'? Can you tell me what it is?
<veleno> if...then...else... ?
<veleno> i miss a else part in the last case...mmm...
maml has quit ["Leaving"]
maml has joined #ocaml
Tachyon76 has quit ["Leaving"]
<veleno> even correcting that one...i get an error, about looping recursion
inka has joined #ocaml
inka has quit [Client Quit]
<Smerdyakov> veleno, can you update the web page with the new error?
<Smerdyakov> (Quickly, I have to leave in 5 minutes. ;-)
<veleno> it is an error at runtime
<Smerdyakov> You are making a recursive call with the exact same arguments as the current call.
<Smerdyakov> Which certainly leads to an infinite loop.
<Smerdyakov> And now I'm off! Good luck!
<veleno> o my good
<veleno> Smerdyakov solved
<veleno> s/map/rest solved :)
<ulfdoz_> re
_JusSx_ has joined #ocaml
Submarine has quit ["Leaving"]
_JusSx__ has quit [Read error: 110 (Connection timed out)]
smimou has quit [Read error: 131 (Connection reset by peer)]
smimou has joined #ocaml
mfurr has joined #ocaml
mauke has joined #ocaml
Snark has joined #ocaml
Gueben has joined #ocaml
maml has quit ["Leaving"]
pango has quit ["Leaving"]
maml has joined #ocaml
Amorphous has quit [Read error: 145 (Connection timed out)]
Amorphous has joined #ocaml
znutar has joined #ocaml
beta3 is now known as dan2
maml has quit ["Leaving"]
Herrchen_ has quit ["bye"]
Snark has quit ["Leaving"]
Amorphous has quit [Read error: 60 (Operation timed out)]
Amorphous has joined #ocaml
tintin has quit [Remote closed the connection]
<ulfdoz_> cya
tintin has joined #ocaml
Gueben has quit [Remote closed the connection]
__DL__ has quit [Read error: 104 (Connection reset by peer)]
vezenchio has quit [""Under democracy one party always devotes its chief energies to trying to prove that the other party is unfit to rule—and bot]
_JusSx_ has quit ["leaving"]
CosmicRay has quit ["Client exiting"]
TeXitoi has quit [Read error: 104 (Connection reset by peer)]
tintin has quit [Read error: 145 (Connection timed out)]
TeXitoi has joined #ocaml
eyda|mon has joined #ocaml
smimou has quit ["?"]
Submarine has joined #ocaml
znutar has quit [Read error: 60 (Operation timed out)]
vivek has joined #ocaml
vivek is now known as tintin
maml has joined #ocaml
eyda|mon has quit [Read error: 60 (Operation timed out)]
<maml> hello.
<maml> Is there a loss of time when an auxiliary function is defined localy ?
<maml> Like in:
<maml> let rev l = let rec aux acc = function [] -> acc | hd::tl -> aux tl (hd::acc) in aux [] l
<maml> oops
<maml> let rev l = let rec aux acc = function [] -> acc | hd::tl -> aux (hd::acc) tl in aux [] l
Smerdy has joined #ocaml
<maml> instead of defining the aux outside the rev function.
Smerdyakov has quit [Nick collision from services.]
Smerdy is now known as Smerdyakov
veleno has quit ["Client exiting"]
vodka-goo has quit []
vodka-goo has joined #ocaml
vodka-goo has quit [Client Quit]
Smerdyakov has quit [Client Quit]
mlh has joined #ocaml
Smerdyakov has joined #ocaml
dan2 has quit [Read error: 60 (Operation timed out)]
mfurr has quit ["Client exiting"]
dan2 has joined #ocaml
<Nutssh> maml: Don't worry about that. Implement it and look at the profile.
<Nutssh> None of my software has had its performance affected by any list operation. Usually the hotspots are elsewhere.
<Smerdyakov> I've had small list operation problems when I knowingly do quadratic things, but _still_ it's no more than 10% of time. :)
<Nutssh> :)
<Nutssh> I am a ruthless profiler --- unless I know that something is going to be quadratic with a large n. :)
<Smerdyakov> This case was quadratic in basic block sizes of Java bytecode programs.
<maml> Nutsecureshell, it isn't really for a pratical purpose. Just curiosity :).
<Nutssh> There's a ocaml performancy webpage. Verdict is that the difference is essentially irrelevant.
<Smerdyakov> Nutssh, difference between what and what?
<Nutssh> Building a closure vs passing the argument explicitly.