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/
m3ga has joined #ocaml
<Guilmon> yay to widestudio bindings :)
<Guilmon> where can I add the link to WideStudio so others can use it?
<Guilmon> they work well btw :)
m3ga has quit ["disappearing into the sunset"]
yangsx has left #ocaml []
budjet has joined #ocaml
_fab has quit [Read error: 110 (Connection timed out)]
_fab has joined #ocaml
humasect has joined #ocaml
<humasect> " As far as I can tell OCaml doesn't have single-precision floating point numbers at all."
budjet has quit [Remote closed the connection]
<Guilmon> humasect: please don't mention the slashdot article
<Guilmon> humasect: also, Hi :)
monochrom has joined #ocaml
joey_ has joined #ocaml
<humasect> hello =) (i don't know anything about ocaml on slashdot.. must be recent)
<Guilmon> humasect: oh, I thought that was from the slashdot article
<Guilmon> humasect: there was a troll who posted his precious article on slashdot
<humasect> o_O
<Guilmon> I'm a C++ user, and I can say ocaml makes it easier, if not ability to have faster algorithms as long as you optimise the code yourself
<Guilmon> WideStudio is a nice toolkit :) now theres bindings for ocaml, yay
<humasect> i agree
<humasect> neat, all done ?
<humasect> oh, this one: http://developers.slashdot.org/article.pl?sid=05/03/14/2258219&tid=156&tid=8
* humasect doesn't mention it
<humasect> oh this is very recent. sorry.
* Nutssh finds ocaml well suited for some rather hefty analysis jobs.
<Smerdyakov> I'm sure there's no need to discuss why OCaml is useful, in this channel. :P
<Nutssh> :) I'm doing the sorts of use that most people would say I should use C/C++ for. I do need to try to relearn sml and try mlton.
<Smerdyakov> Yes, I remember your claims that you needed to do manual optimization because there wasn't enough inlining going on. :)
<Guilmon> I'm happy theres widestudio bindings :)
<Guilmon> though I think its weird how they use it :/
<Nutssh> What is widestudio?
<Guilmon> uses C_list, C_string and a couple others here and there, but rest is decent
<Smerdyakov> Guilmon, you should stop mentioning that, please, unless you say something with actual information content.
<Guilmon> Nutssh: a IDE + toolkit (gui and console)*(net and file),*(portablility)
<Smerdyakov> Guilmon, oh, and only information that people here are likely to care about.
<Guilmon> also, how would I add the project to Hump?
<Smerdyakov> You could try e-mailing. That might be the official way: http://caml.inria.fr/contact.en.html
<Smerdyakov> So typical of Caml people to make it unclear how people outside the inner circle can contribute. ;)
<Nutssh> Smerdyakov, it worked. Wish there was an ocamlton, then I might not have had to.
<Guilmon> Smerdyakov: maybe you could write a swig-mlton and Hirabayashi-san could write bindings to your precious mlton
<Smerdyakov> Guilmon, maybe I can ignore anyone who uses inappropriate "-san"'s.
<Guilmon> Smerdyakov: maybe I just need to stop talking to you.
<Guilmon> Smerdyakov: and maybe you need to stop sounding offensive.
<Smerdyakov> Guilmon, sorry. The thing is that you are in here basically acting as a non-stop advertisement for Widestudio.
<Guilmon> Smerdyakov: I'm excited.
<Smerdyakov> Guilmon, you just repeat over and over how great Widestudio is... hardly anything you say is specific to ML. We could substitue another language name for every occurrence of OCaml, and what you say would still make sense.
<monochrom> Do I get to advertise Haskell? Please? :)
<Guilmon> Smerdyakov: He was having trouble getting a couple classes to work with ocaml which were needed
<Guilmon> Smerdyakov: only if you stop advertising mlton like its the cup of christ
<Smerdyakov> Guilmon, I don't care. We have certain unofficial standards of how to act here, and I believe you are basically "spamming" the channel without saying anything new each time.
<Smerdyakov> Guilmon, I bring up MLton in particular situations where I can show how it would help someone with a problem he has mentioned.
<Guilmon> Smerdyakov: and you are not, how subliminal.
<Guilmon> Smerdyakov: no, you bring up mlton every chance you get.
<Smerdyakov> Guilmon, you act like an auto-join bot that starts talking to itself about WS every time it joins.
<Guilmon> Smerdyakov: maybe you should leave, you are the one abusing the rules and the people.
<Guilmon> Smerdyakov: *plonk*
<monochrom> Guilmon: *plonk*
<Guilmon> monochrom: *plonk*
<Guilmon> oh the ocaml site looks decent now. The logos look SOOO good.
<Smerdyakov> Does anyone else find Guilmon's pattern of spending 10 lines in a row talking about WS and its internal issues to be out of place and bothersome?
<monochrom> I think I've indicated my stand on this.
<Smerdyakov> monochrom, what was your stand?
<monochrom> On efnet #math there is a guy who says "files on math science religion are found at <his homepage url>" every week.
<monochrom> Most often he does so unsolicitedly.
<monochrom> We the ops there are on the blink of perm-banning him.
<monochrom> You see we grow tired of such advocations, even if it's just once a week, even if it's just one line.
<Smerdyakov> It's also largely unrelated to the channel subject.
<Smerdyakov> Guilmon, I'd like to see you find a time when I mentioned MLton other than in response to someone's problem with OCaml.
gim_ has joined #ocaml
gim has quit [Read error: 110 (Connection timed out)]
gim_ has quit [Read error: 113 (No route to host)]
gim_ has joined #ocaml
ulfdoz_ has joined #ocaml
<humasect> mlton seems unactive as well.
<Smerdyakov> What does that mean?
ulfdoz has quit [Read error: 145 (Connection timed out)]
<humasect> its face value
<Smerdyakov> How can a piece of software be "unactive"?
<humasect> it's associated maintainers can
<humasect> present it in such a state
<Smerdyakov> What makes you say that? It's one of the most actively developed compilers I've ever known.
<humasect> really.
<humasect> 2004x is the last public release, what am i missing?
<Smerdyakov> They release twice a year.
<humasect> ah
<monochrom> It would be odd for a compiler project to release more often than that.
<humasect> mmhmm
<monochrom> MLton has been developed for a long time. I think I saw it 7 years go. Given that it's spec, Standard ML, doesn't change, there is not much to add after so many years.
<monochrom> Bazaar zealots call it "unactive". I call it "mature", "ready".
<monochrom> s/it's/its/
<Smerdyakov> monochrom, who calls it "unactive"? Again, it is developed CONSTANTLY.
<monochrom> A Bazaar zealot calls a project "inactive" iff it is not released weekly.
<Smerdyakov> OK. So you didn't mean "mature" as a euphemism for "stagnant"?
<monochrom> No, of course not. I think lowly of Bazaar zealots.
<monochrom> I consider their "active" to be euphemism for "unstable", to put it mildly.
<monochrom> My opinion may be extremist for general cases. But for compilers I think everyone agrees that it would be an annoyance if you needed to upgrade every season.
<Smerdyakov> Well, that would only be annoying if you're not using a good package system.
<monochrom> That's probably uneventful if the upgrade doesn't break binary compatibility.
<Smerdyakov> I guess that could get painful. Theoretically, clever Debian packages could handle that automatically, but probably not. ;)
<Smerdyakov> Binary compatibility isn't a big issue with MLton, as a whole-program compiler.
<humasect> hm =)
<humasect> what would this mean: "However MLton cannot verify that your ML programs are correct, so you will problably need MLKit for this :)"
<monochrom> Does MLKit verify programs?
<humasect> pehdaps.
<humasect> *perhaps.
<monochrom> I suppose you don't have to worry about that sentence. It states a well-known tautology of little consequence.
<humasect> k.
dan2 has joined #ocaml
tintin has quit [Read error: 60 (Operation timed out)]
Guilmon has left #ocaml []
monochrom has quit ["me!"]
monochrom has joined #ocaml
vezenchio has joined #ocaml
monochrom has quit ["What is the meaning of "meaning"?"]
<vincenz> re
msh has joined #ocaml
<msh> afternoon.
<vincenz> morning here
__DL__ has joined #ocaml
<msh> aha. I was going to ask a question, but have just figured it.
<humasect> you win
<vincenz> woo
<vincenz> roadtri
<vincenz> p
Submarine has joined #ocaml
mlh has joined #ocaml
smimou has joined #ocaml
cognominal has quit [Read error: 54 (Connection reset by peer)]
cognominal has joined #ocaml
mlh has quit [Client Quit]
mattam has quit [Remote closed the connection]
msh has quit [Read error: 101 (Network is unreachable)]
msh has joined #ocaml
_fab has quit []
mattam has joined #ocaml
mattam has quit [Read error: 104 (Connection reset by peer)]
mattam has joined #ocaml
pango__ has joined #ocaml
mattam has quit ["Lost terminal"]
pango_ has quit [Read error: 110 (Connection timed out)]
Skal has joined #ocaml
_fab has joined #ocaml
_JusSx_ has joined #ocaml
cjohnson has joined #ocaml
humasect has quit [Read error: 54 (Connection reset by peer)]
humasect has joined #ocaml
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 both"]
_JusSx__ has joined #ocaml
_JusSx_ has quit [Read error: 110 (Connection timed out)]
humasect has quit [Read error: 54 (Connection reset by peer)]
humasect has joined #ocaml
__DL__ has quit [Read error: 104 (Connection reset by peer)]
_JusSx__ has quit ["Lost terminal"]
_fab has quit [Read error: 131 (Connection reset by peer)]
_fab has joined #ocaml
s3ng3k3 has joined #ocaml
s3ng3k3 has quit []
Submarine has quit ["Leaving"]
smimou has quit ["?"]
gpciceri has joined #ocaml
gpciceri_ has joined #ocaml
gpciceri has quit [Read error: 104 (Connection reset by peer)]
gpciceri_ has quit [Connection reset by peer]
gpciceri has joined #ocaml
gpciceri has quit [Client Quit]