dylan changed the topic of #ocaml to: OCaml 3.09.1 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/
ketty has quit ["Leaving."]
khaladan has quit [Read error: 104 (Connection reset by peer)]
Quinthius has quit ["Leaving"]
khaladan has joined #ocaml
carm has joined #ocaml
carm is now known as carm24
<carm24> hey guys, wondering if any one knows if some sort of stats pacakage for ocaml that provides say, a gaussian sampling function?
<dark_light> carm24, you could build it with a let, couldn't?
<carm24> dark_light, gaussian sampling is somewhat nontrivia to code efficiently. I stole an algorithm written in C and adopted to ocaml
<dark_light> carm24, you don't meant the gauss(x) function?
Submarine has quit ["Leaving"]
<carm24> dark_light, what gauss(x) function. explain
<dark_light> http://images.google.com.br/images?q=tbn:UIh16Xr_dMgoVM:rfv.insa-lyon.fr/~jolion/STAT/gauss.png
<dark_light> this function
<dark_light> omg 1.2mb... see on http://images.google.com.br/imgres?imgurl=http://rfv.insa-lyon.fr/~jolion/STAT/gauss.png&imgrefurl=http://rfv.insa-lyon.fr/~jolion/STAT/node45.html&h=536&w=768&sz=1209&tbnid=UIh16Xr_dMgoVM:&tbnh=98&tbnw=141&hl=pt-BR&start=13&prev=/images%3Fq%3Dgauss%26svnum%3D10%26hl%3Dpt-BR%26lr%3D%26client%3Dfirefox%26rls%3Dorg.mozilla:en-US:unofficial%26sa%3DN
<dark_light> :P
<carm24> links aren't working so great
<carm24> anyway suggest want to specify a mean and variance, and get a random sample from the distribution each time the function is called
<carm24> suggest = I just
<dark_light> no, it's not the gauss function i said
<carm24> anyway I got it working
<carm24> feel like there should be an ocaml stats package though. too bad no one has time to make one :)
<dark_light> (try this image http://tikal.bo.astro.it/~zavatti/bongo/gauss.gif IT'S the gauss function)
<carm24> of course
<carm24> I want to sample it
<carm24> useful to get smooth values when running experiments
<carm24> anyway I gotta get back to work. ttyl thanks
<dark_light> bye:)
<carm24> hey dark, still around?
Snark has joined #ocaml
<carm24> damnit
<dark_light> carm24, well, i am here
<dark_light> (what a lag, hahahaha)
<carm24> haha
<carm24> yeah I got some bizarro errors when compiling but specifying the ypes to things fixed it
<carm24> *types
<carm24> I love ocaml. Such a breath of fresh air
Smerdyakov has quit ["Leaving"]
ski has joined #ocaml
Snark has quit ["Leaving"]
pango is now known as pangoafk
pangoafk is now known as pango
<carm24> hey pango
mikeX has joined #ocaml
<carm24> hello mikeX'
mikeX_ has joined #ocaml
mikeX has quit [Read error: 113 (No route to host)]
mikeX_ is now known as mikeX
<carm24> hello?
<pango> hello
<zmdkrbou> hi
<carm24> ah hi guys
<carm24> just trying to distract myself from coding
<carm24> Hoping someone would say something about interesting about ocaml
<pango> when it happens, I browse mailing list archives... That's the fastest way to get answers to problems you didn't have yourself ;)
binary42 has joined #ocaml
mikeX has quit [Read error: 110 (Connection timed out)]
dvekravy has quit [Read error: 110 (Connection timed out)]
_JusSx_ has joined #ocaml
mikeX has joined #ocaml
joshcryer has quit [Client Quit]
_JusSx_ has quit ["leaving"]
_JusSx_ has joined #ocaml
<_JusSx_> hi i'm looking for an example of OptParse module of EXTLIB
coumbes has quit ["Leaving"]
julbouln is now known as heinrahll
heinrahll is now known as julbouln
julbouln has left #ocaml []
julbouln has joined #ocaml
desc has joined #ocaml
descender has quit [Read error: 110 (Connection timed out)]
Quinthius has joined #ocaml
Smerdyakov has joined #ocaml
Bigb[a]ng is now known as Bigbang
jcreigh has joined #ocaml
jcreigh has quit ["leaving"]
jcreigh has joined #ocaml
pango is now known as pangoafk
ski has quit [Read error: 110 (Connection timed out)]
jcreigh has quit ["leaving"]
pangoafk is now known as pango
mikeX_ has joined #ocaml
mikeX has quit [Read error: 110 (Connection timed out)]
ketty has joined #ocaml
Demitar__ has joined #ocaml
Demitar__ has quit [Read error: 104 (Connection reset by peer)]
Demitar__ has joined #ocaml
Demitar__ has quit [Read error: 104 (Connection reset by peer)]
Demitar__ has joined #ocaml
Smerdy has joined #ocaml
Demitar has quit [Read error: 110 (Connection timed out)]
Demitar__ is now known as Demitar
vitriol_ has joined #ocaml
<vitriol_> is there a way of doing something similar to haskell type classes without using objects?
vitriol_ has quit [Remote closed the connection]
vitriol_ has joined #ocaml
vitriol_ is now known as uno_
uno_ is now known as vitriol_
Smerdy has quit ["Leaving"]
Snark has joined #ocaml
<carm24> woohoo, I love writing small projects in ocaml. That way the TA's don't understand my code
<kmag> carm24: you should go all the way to INTERCAL
<kmag> carm24: but you do comment your code, right?
<kmag> carm24: they should be able to get the gist of your code from the comments
<kmag> carm24: ocaml syntax isn't that strange, either
<carm24> kmag: I'm just joking. I don't think I'm even supposed to submit the code
<kmag> back when I last used Ocaml, it was my favorite language
<carm24> kmag: and because I'm usually forced to use C++ for work related projects, I comment my code thoroughly
<Smerdyakov> carm24, are you Carmello?
<carm24> indeed
<kmag> but I'm too much out of practice with ocaml
<Smerdyakov> carm24, back in school, eh?
<carm24> Smerdyakov: finishing up reinforcement learning with rich sutton at UofA
<carm24> kmag: you like some language better then?
<Smerdyakov> Hm. A is a popular letter. What does it stand for? :)
<carm24> Smerdyakov: alberta
<kmag> carm24: not really... I use Python a lot at work
<kmag> carm24: it's still my favorite language, from what I remember :-(
<carm24> kmag: I've been dreaming up what ways of integrating ocaml into my research without pissing anyone off
<kmag> Unfortunately, mlDonkey is probably the most popular software written in Ocaml
<Smerdyakov> In my environment, ML is just the default language for research. Instead, I dream up ways of integrating Coq into my research witihout pissing anyone off. ;)
* kmag googles for Coq, hoping not to find anything indecent
<vitriol_> it would be great if there was more general purpose math libraries for Ocaml
<kmag> theorem prover?
<carm24> Smerdyakov: haha yeah I haven't decided If I like OCAML or ML better. I think it would come down to which one generates faster code
<Smerdyakov> For me, ML is a set containing OCaml and Standard ML, among other things.
<kmag> carm24: I prefer fast correct code to blazing fast incorrect code
<carm24> kmag: so do I. I believe both ML an dOCAML can do correct code. The question is which one compiles a faster version given the same algorithm
<Smerdyakov> kmag, if their web site doesn't make that clear, then there is a problem. :)
<kmag> Smerdyakov: my question was based on the google results
vitriol_ has quit ["Leaving"]
<Smerdyakov> carm24, I don't think there's any contest for serious projects made up of many modules: MLton is just obviously way more effective than the competition because it is a whole-program compiler.
<carm24> Smerdyakov: yeah I am debating on getting into MLton. Then again, I can make bindings from Ocaml to C/C++, which may be useful in the future
<kmag> Is there an Ocaml -> SML compiler?
<Smerdyakov> carm24, come on. Every mature language implementation allows C bindings.
<Smerdyakov> kmag, I've never heard of one.
<carm24> Smerdyakov: true, but I know how to do them in ocaml and have written them before
<Smerdyakov> I think, if anything, it's easier in MLton.
<carm24> Smerdyakov: ok so you're a big Mlton fan. I'm not disagreeing with you. I still need to compare ocaml and mlton some more though when I have a free moment (which is never)
<kmag> do any of you have much experience w/ Haskell?
<carm24> not really
<Smerdyakov> kmag, I have _some_.
<Smerdyakov> kmag, and lots of experience with pure functional programming in Coq.
<kmag> Smerdyakov: what are your impressions of Haskell?
<Smerdyakov> kmag, Haskell and ML are much more similar than alike. I think that pure functional programming is the future, and Haskell also has many interesting extensions that are worth looking at.
<Smerdyakov> Oops
<Smerdyakov> "More similar than different"
<carm24> Smerdyakov: you keep saying "pure" functional. what does that mean?
<Smerdyakov> carm24, no side effects, AKA referential transparency.
<kmag> carm24: mainly, all types are immutable
<flux__> haskell-people like to say 'side-effects are explicit' or something to that effect
<carm24> Smerdyakov: does that imply no references at all? like ocaml's let x = ref 0 ...?
<Smerdyakov> carm24, no references whose use is not made clear in the type of any function that manipulates them.
<carm24> Smerdyakov: made clear?
<Smerdyakov> In Haskell, types like (int -> IO int) instead of (int -> int).
<carm24> not famaliar with that syntax in former expression. is IO == Input / Output?
<Smerdyakov> IO is a particular monad. This is probably the point where you read something on the web if you are still interested.
<carm24> Smerdyakov: ok I'm am but I need to finish this bizarro paper I'm writing on using k-means with RL. later
* carm24 is away: gone
Bigbang is now known as Bigb[a]ng
mwc has joined #ocaml
mwc has left #ocaml []
slipstream has joined #ocaml
dark_light has quit [Connection timed out]
slipstream-- has quit [Read error: 110 (Connection timed out)]
Snark has quit ["Leaving"]
<Smerdyakov> Anyone want to see the future of web programming? :) http://laconic.sourceforge.net/demo/
<ketty> http://localhost/~adamc/fcgi/person - Firefox can't establish a connection to the server at localhost.
<ketty> :(
<mikeX_> ?! what's that
<Smerdyakov> ketty, yeah, it's for doing local demos.
<Smerdyakov> ketty, but you can view the source code.
<Smerdyakov> mikeX_, it is a demo of the future of web programming, of course.
<mikeX_> of course
<mikeX_> i vaguely recall a project written in o'caml (iirc) that claimed something similar
<Smerdyakov> Well, that doesn't help ME much, eh?
<mikeX_> :-P
<Smerdyakov> (Unless you remember more)
<Smerdyakov> But most likely they were wrong, while I am right.
<mikeX_> let's see if i can find a bookmark somewhere
<mikeX_> http://wdialog.sourceforge.net/ probably not what you were looking for
<Smerdyakov> You're the one looking for it.
<mikeX_> :)
<Smerdyakov> And, in any case, WDialog looks super primitive and unusable compared to Laconic.
<mikeX_> hmm I see
_JusSx_ has quit [Read error: 104 (Connection reset by peer)]
BetaTEST has joined #ocaml
<carm24> hey guys, is there anyway to repeat the last command in an ocaml interpreter easily?
<ketty> if you use ledit or rlwrap you can press the up-key :)
<carm24> ketty: yeah I am using kate to write ocaml code. I have the regular ocaml intepreter loaded in a terminal embedded into kate
<carm24> carm24: is there a preffered ocaml editor ide
<Smerdyakov> Emacs
<ketty> vim :)
<carm24> bleh no thanks :)
ski has joined #ocaml
jcreigh has joined #ocaml
Demitar__ has joined #ocaml
jcreigh has quit ["leaving"]
Demitar has quit [Read error: 110 (Connection timed out)]
mikeX has joined #ocaml
mikeX_ has quit [Read error: 110 (Connection timed out)]
ski_ has joined #ocaml
ski has quit [Nick collision from services.]
ski_ is now known as ski
BetaTEST has quit [Connection timed out]