gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.0 http://bit.ly/aNZBUp
olauzon has quit [Quit: olauzon]
naufraghi has quit [Quit: naufraghi]
ikaros has quit [Quit: Leave the magic to Houdini]
khia0 has joined #ocaml
khia0 has left #ocaml []
ocaml_jm has quit [Remote host closed the connection]
smerz has quit [Quit: Ex-Chat]
kmicinski has joined #ocaml
boscop_ has joined #ocaml
boscop has quit [Ping timeout: 240 seconds]
drunK has quit [Remote host closed the connection]
boscop_ is now known as boscop
Amorphous has quit [Ping timeout: 272 seconds]
Amorphous has joined #ocaml
banisterfiend has joined #ocaml
<banisterfiend> hat would be an advantage in learning ocaml over haskell?
<banisterfiend> what*(
joewilliams is now known as joewilliams_away
<kmicinski> banisterfiend, exposure to strict vs. lazy side of things?
<kmicinski> I don't know haskell so I can't speak beyond that, but I'd say that would be a reason
<banisterfiend> kmicinski: but im coming from Ruby/C so i already know about strict?
<kmicinski> banisterfiend, but not a strict *functional* language, and besides, that's a bad excuse, who doesn't know C?
<kmicinski> :p
<banisterfiend> hehe
<banisterfiend> i just wonder if ocaml would provide any mind expansion over and above what i'd get from leraning haskell?
<kmicinski> The functional languages are pretty alike, especially since they're more conceptually oriented rather than architecture oriented
<kmicinski> you might do better to learn the syntax and points of both, and then really learn one of them
<kmicinski> I'm reading Okasaki's book now and he gives code in both sml and haskell
<banisterfiend> cheers
<kmicinski> banisterfiend, good luck, I'd like to learn haskell well fyi :-)
boscop has quit [Ping timeout: 240 seconds]
kmicinski_ has joined #ocaml
banisterfiend has quit [Ping timeout: 255 seconds]
kmicinski has quit [Ping timeout: 265 seconds]
kmicinski_ is now known as kmicinski
banisterfiend has joined #ocaml
edwin has joined #ocaml
rixed_ has joined #ocaml
nimred has quit [Quit: leaving]
rixed_ has quit [Ping timeout: 272 seconds]
nimred has joined #ocaml
nimred has quit [Client Quit]
nimred has joined #ocaml
nimred has quit [Client Quit]
nimred has joined #ocaml
yezariaely has joined #ocaml
yezariaely has quit [Quit: Leaving.]
ftrvxmtrx has quit [Ping timeout: 264 seconds]
ulfdoz_ has joined #ocaml
ulfdoz has quit [Read error: Operation timed out]
ulfdoz_ is now known as ulfdoz
ftrvxmtrx has joined #ocaml
nimred has quit [Quit: leaving]
<kaustuv> banisterfiend: the real advantage to learning Haskell over OCaml is to appreciate both the difficulty and the amazing properties of pure code. Laziness in Haskell is almost always a negative (which is why GHC goes to extraordinary lengths to get rid of it when possible), but the pure-by-defaultness of Haskell is absolutely worth the price.
nimred has joined #ocaml
<banisterfiend> kaustuv: what i thought laziness as a great feature of haskell, yet you're saying it's a 'negative' ?
<banisterfiend> was*
<kaustuv> Yes, laziness as the default makes your code unpredictable and nearly impossible to analyze without profilers. You would need years of hard won experience to reason about the space complexity of Haskell code.
<banisterfiend> kaustuv: do the haskell designers agree with you now though, they've learned their lesson? or do they maintain laziness is a good thing?
<banisterfiend> like, is this just your opinion, or is what you're saying the general consensus now...and it just took ppl a whie to realize it?
<kaustuv> I have no idea what the Haskell designers think, but I've been in the audience of a few talks where Simon Peyton-Jones has claimed that laziness was not an essential feature of Haskell.
<banisterfiend> oh ok
<flux> it is an essential feature of soem haskell demos, though
<flux> for example this is cool: input <- read_data "input"; write_data "output" input
<flux> and while input contains all the data as a list of characters and write_data writes it into a file, all the data is never in the memory, so it works with huge files as well
<flux> too bad that is impractical in real-life applications, though, but it makes a nice demo ;)
<kaustuv> Note: I am not saying laziness is useless. For instance, you could achieve that exact same property with BatLazyList if you wanted.
<kmicinski> where'd you learn haskell?
<kmicinski> the standard book "real world haskell" seems a bit too... real world for me...
<banisterfiend> kmicinski: what do you mean 'real world' ?
<kmicinski> I'd like a slightly more theoretical coverage of the material it presents
<kmicinski> SPJ had a set of books where he wrote in haskell mostly
<kmicinski> so I suppose that's a good reference
<kmicinski> but I didn't know if there was a 'gem' out there I was missing
kaustuv has quit [Read error: Connection reset by peer]
<kmicinski> "A history of Haskell: being lazy with class" seems promising
kaustuv has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
_andre has joined #ocaml
kmicinski has quit [Ping timeout: 250 seconds]
ikaros has joined #ocaml
Anarchos has joined #ocaml
<Anarchos> Is there a way to embed the ocaml interpreter in the source code of another application in order to avoid calls to fork/exec ?
naufraghi has joined #ocaml
<mrvn> Anarchos: that is called linking
opla2 has quit [Ping timeout: 260 seconds]
<Anarchos> mrvn yes but what about the stdin/stdout of the toplevel ?
<mrvn> it will use yours I bet
<mrvn> but you can call the toplevel functions instead of running it interactively and do your own input/output.
<Anarchos> mrvn which functions ?
<mrvn> That you have to google I'm afraid. Been years since I looked into it.
<Anarchos> mrvn no problem, maybet you speak about caml_interprete()
ftrvxmtrx has joined #ocaml
jm_ocaml has joined #ocaml
boscop has joined #ocaml
<NaCl> adrien: pm?
Edward__ has joined #ocaml
<adrien> NaCl: of course
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
unkanon_ has joined #ocaml
naufraghi has left #ocaml []
avsm has quit [Quit: Leaving.]
Smerdyakov has quit [Quit: Leaving]
Asmadeus has quit [Ping timeout: 250 seconds]
joewilliams_away is now known as joewilliams
almaisan-away is now known as al-maisan
al-maisan is now known as almaisan-away
ftrvxmtrx has quit [Remote host closed the connection]
avsm has joined #ocaml
drunK has joined #ocaml
smerz has joined #ocaml
kmicinski has joined #ocaml
tautologico has joined #ocaml
<tautologico> is there some admin from the ocamlcore forge here?
<hcarty> tautologico: He may not be around, but gildor is who you want
<hcarty> tautologico: Or you can use the newly added bug report link in the footer of the forge pages if it's a bug :-)
<tautologico> thanks
<tautologico> I don't know if it's a bug
<tautologico> I can't checkout a SVN repository non-anonymously through SSH, although I can get it anonymously
<hcarty> tautologico: A repository you own or are a member of?
<tautologico> yes
<tautologico> I always get svn: Network connection closed unexpectedly
<hcarty> Hopefully gildor will be around to answer your question. If not, it's probably worth emailing or submitting a bug report.
<tautologico> I am listed as a project admin
avsm has quit [Quit: Leaving.]
jm_ocaml has quit [Ping timeout: 272 seconds]
kmicinski has quit [Ping timeout: 240 seconds]
_unK has joined #ocaml
drunK has quit [Ping timeout: 240 seconds]
strlen_ is now known as strlen
_unK is now known as drunK
yezariaely has joined #ocaml
rixed_ has joined #ocaml
lamawithonel_ has quit [Remote host closed the connection]
theDroggl_ is now known as theDroggl
kmicinski has joined #ocaml
kmicinski has quit [Ping timeout: 240 seconds]
ygrek has joined #ocaml
_andre has quit [Quit: leaving]
alpounet has joined #ocaml
jm_ocaml has joined #ocaml
<ygrek> gildor, btw currently all the hudson urls on the project page lead to "permission deined" for anon users
<ygrek> that was not the case initially
<ygrek> probably the same rbac configuration issue
yezariaely has left #ocaml []
<tautologico> ygrek: are you an admin of the forge?
<ygrek> no
<tautologico> oh
cthuluh has quit [Read error: Operation timed out]
cthuluh has joined #ocaml
opla2 has joined #ocaml
mbac_ has quit [Remote host closed the connection]
myu2 has quit [Read error: Connection reset by peer]
myu2 has joined #ocaml
unkanon_ has left #ocaml []
metasyntax` has quit [Quit: Be seeing you.]
banisterfiend has quit [Ping timeout: 276 seconds]
avsm has joined #ocaml
ccasin has joined #ocaml
banisterfiend has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
almaisan-away is now known as al-maisan
mbac has joined #ocaml
al-maisan is now known as almaisan-away
fraggle_ has quit [Ping timeout: 240 seconds]
jm_ocaml has quit [Remote host closed the connection]
fraggle_ has joined #ocaml
SEcki has joined #ocaml
tautologico has quit [Quit: tautologico]
edwin has quit [Remote host closed the connection]
mnabil_ has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]
mnabil_ has quit [Remote host closed the connection]
rixed_ has quit [Ping timeout: 246 seconds]