gl changed the topic of #ocaml to: OCaml 3.07 ! -- Archive of Caml Weekly News: http://pauillac.inria.fr/~aschmitt/cwn , A tutorial: http://merjis.com/richj/computers/ocaml/tutorial/ , A free book: http://cristal.inria.fr/~remy/cours/appsem, Mailing List (best ml ever for any computer language): http://caml.inria.fr/bin/wilma/caml-list | http://icfpcontest.org/ !!
mmc is now known as mmc_away
mmc_away is now known as mmc
<async> Smerdyakov
mmc is now known as mmc_away
mmc_away is now known as mmc
sundeep has quit [Client Quit]
sundeep has joined #ocaml
CiscoKid has quit ["http://lice.codehack.com"]
sundeep has quit ["Client exiting"]
sundeep has joined #ocaml
<nidos> hi?
sundeep has quit ["Client exiting"]
<[1]platypus> nidos,hi
<nidos> hey!
<nidos> how ar eyou
<nidos> i am about to start useing ocaml! horray for me! :)
<nidos> horray!
[1]platypus has quit [Read error: 104 (Connection reset by peer)]
sundeep has joined #ocaml
sundeep has quit [Read error: 104 (Connection reset by peer)]
sundeep has joined #ocaml
rox has quit [Connection timed out]
kinners has joined #ocaml
rox has joined #ocaml
CiscoKid has joined #ocaml
sundeep has quit [Client Quit]
sundeep has joined #ocaml
sundeep has quit ["Client exiting"]
sundeep has joined #ocaml
kinners has quit ["leaving"]
sundeep has quit ["Client exiting"]
sundeep has joined #ocaml
Kinners has joined #ocaml
cjohnson has quit [Read error: 54 (Connection reset by peer)]
benja has joined #ocaml
<benja> hi all
<Kinners> hi benja
<benja> is it legal to do value x (){ value v; v = alloc (...) ...; return v} CAMLprim value y () { CAMLlocal1 (v); v = x (); CAMLreturn v;}
<benja> I mean not using CAMLlocal in the function x
<Kinners> someone else will have to answer that...
<Kinners> anyone here use vim for ocaml editing?
* benja use gedit which is pretty lame
<Kinners> I'm making a little vim function to help my poor brain
<benja> Is there any specialized ocaml editor, with an embeded ocaml lexer ?
bk_ has joined #ocaml
<Kinners> emacs has a ocaml mode, and someone did make an emacs clone in ocaml afaik
<bk_> morning
<Kinners> which doesn't answer your question as such :)
<Kinners> hi bk_
<benja> I've seen that OCamlBrowser come with an interresting editor but the tk look discouraged me
<Kinners> benja: yeah, anyway, the emacs clone is called efuns
<Kinners> it looks a bit out of date
<benja> where do the people in this channel come from ?
<Kinners> lots of places, I'm from new zealand
<bk_> germany
<benja> Is the ocaml developpement mostly done in France or it's more international ?
<bk_> the development of the language itself is done at inria project crystal in france
<benja> is there any external contributor ?
<bk_> many
<bk_> in the form of apps and libraries at least
<benja> I mean on the ocaml core ?
<bk_> no, that's all done by the inria folks
<benja> are there any of them in this channel ?
<bk_> i guess not
<benja> do you know any place where I can follow the ocaml developpement more closely ?
<benja> I guess the mailing list
<Kinners> bug database and cvs sources?
<benja> so what are you using to code in ocaml ?
<benja> speaking of editor
<bk_> emacs w/ tuareg mode
<Kinners> <- vim
* CiscoKid uses vim
* vegai uses a text editor ;P
ne1 has quit ["To understand recursion, you must first understand recursion."]
<vegai> hey, can I load a module dynamically if my main program is compiled natively?
Snark has joined #ocaml
Kinners has quit ["leaving"]
Boojum has joined #ocaml
Snark has quit [Read error: 110 (Connection timed out)]
Boojum is now known as Snark
dobrek has joined #ocaml
dobrek_ has quit [Read error: 110 (Connection timed out)]
CiscoKid has quit ["http://lice.codehack.com"]
gim has joined #ocaml
__DL__ has joined #ocaml
kinners has joined #ocaml
__DL__ has quit ["Bye Bye"]
nidos_ has joined #ocaml
nidos has quit [Client Quit]
mattam_ has joined #ocaml
ayrcier has joined #ocaml
ayrnieu has quit [Read error: 104 (Connection reset by peer)]
mattam has quit [Read error: 60 (Operation timed out)]
ayrcier is now known as ayrnieu
nidos_ has quit [Remote closed the connection]
karryall has joined #ocaml
Shammah has quit [zelazny.freenode.net irc.freenode.net]
Riastradh has quit [zelazny.freenode.net irc.freenode.net]
gzl has quit [zelazny.freenode.net irc.freenode.net]
karryall has quit [zelazny.freenode.net irc.freenode.net]
det has quit [zelazny.freenode.net irc.freenode.net]
gim has quit [zelazny.freenode.net irc.freenode.net]
Snark has quit [zelazny.freenode.net irc.freenode.net]
Hadaka has quit [zelazny.freenode.net irc.freenode.net]
kosmikus|away has quit [zelazny.freenode.net irc.freenode.net]
dobrek has quit [zelazny.freenode.net irc.freenode.net]
benja has quit [zelazny.freenode.net irc.freenode.net]
platypus_ has quit [zelazny.freenode.net irc.freenode.net]
_fab has quit [zelazny.freenode.net irc.freenode.net]
Oniroi has quit [zelazny.freenode.net irc.freenode.net]
Banana has quit [zelazny.freenode.net irc.freenode.net]
mattam_ has quit [zelazny.freenode.net irc.freenode.net]
trch has quit [zelazny.freenode.net irc.freenode.net]
simon- has quit [zelazny.freenode.net irc.freenode.net]
Lemmih has quit [zelazny.freenode.net irc.freenode.net]
async has quit [zelazny.freenode.net irc.freenode.net]
bk_ has quit [zelazny.freenode.net irc.freenode.net]
tyler has quit [zelazny.freenode.net irc.freenode.net]
skaller has quit [zelazny.freenode.net irc.freenode.net]
skylan has quit [zelazny.freenode.net irc.freenode.net]
shawn has quit [zelazny.freenode.net irc.freenode.net]
gl has quit [zelazny.freenode.net irc.freenode.net]
lam has quit [zelazny.freenode.net irc.freenode.net]
slashvar[ejcp] has quit [zelazny.freenode.net irc.freenode.net]
yella has quit [zelazny.freenode.net irc.freenode.net]
noss has quit [zelazny.freenode.net irc.freenode.net]
rox has quit [zelazny.freenode.net irc.freenode.net]
mmc has quit [zelazny.freenode.net irc.freenode.net]
Hipo has quit [zelazny.freenode.net irc.freenode.net]
pattern has quit [zelazny.freenode.net irc.freenode.net]
cmeme has quit [zelazny.freenode.net irc.freenode.net]
jarod has quit [zelazny.freenode.net irc.freenode.net]
srv has quit [zelazny.freenode.net irc.freenode.net]
vegai has quit [zelazny.freenode.net irc.freenode.net]
smkl has quit [zelazny.freenode.net irc.freenode.net]
mellum has quit [zelazny.freenode.net irc.freenode.net]
Smerdyakov has quit [zelazny.freenode.net irc.freenode.net]
JPL-Justin-away has quit [zelazny.freenode.net irc.freenode.net]
vegai has joined #ocaml
srv has joined #ocaml
smkl has joined #ocaml
jarod has joined #ocaml
yella has joined #ocaml
lam has joined #ocaml
gl has joined #ocaml
async has joined #ocaml
cmeme has joined #ocaml
Oniroi has joined #ocaml
Banana has joined #ocaml
pattern has joined #ocaml
Lemmih has joined #ocaml
simon- has joined #ocaml
slashvar[ejcp] has joined #ocaml
shawn has joined #ocaml
skylan has joined #ocaml
trch has joined #ocaml
det has joined #ocaml
Hadaka has joined #ocaml
kosmikus|away has joined #ocaml
_fab has joined #ocaml
skaller has joined #ocaml
Hipo has joined #ocaml
platypus_ has joined #ocaml
mmc has joined #ocaml
tyler has joined #ocaml
noss has joined #ocaml
rox has joined #ocaml
benja has joined #ocaml
bk_ has joined #ocaml
Snark has joined #ocaml
dobrek has joined #ocaml
gim has joined #ocaml
mattam_ has joined #ocaml
karryall has joined #ocaml
Riastradh has joined #ocaml
gzl has joined #ocaml
mellum has joined #ocaml
Smerdyakov has joined #ocaml
JPL-Justin-away has joined #ocaml
Shammah has joined #ocaml
vezenchio has joined #ocaml
Submarine has joined #ocaml
dh has joined #ocaml
skaller has quit ["Client Exiting"]
shawn_ has joined #ocaml
shawn has quit [Read error: 60 (Operation timed out)]
Zaius has joined #ocaml
kinners has quit ["leaving"]
mattam_ is now known as mattam
rox has quit [Connection timed out]
Shammah has quit [Read error: 110 (Connection timed out)]
tautologico has joined #ocaml
rox has joined #ocaml
platypus_ has quit [Read error: 60 (Operation timed out)]
cjohnson has joined #ocaml
dobrek has quit [Read error: 54 (Connection reset by peer)]
mrsolo has joined #ocaml
dh has quit ["42"]
mrsolo has quit [Read error: 110 (Connection timed out)]
platypus has joined #ocaml
bk_ has quit ["Leaving IRC - dircproxy 1.1.0"]
_shawn has joined #ocaml
shawn_ has quit [Read error: 104 (Connection reset by peer)]
Callidus has quit [Read error: 104 (Connection reset by peer)]
Callidus has joined #ocaml
<Snark> good night
Snark has left #ocaml []
Zaius has quit ["Miranda IM! Smaller, Faster, Easier. http://miranda-im.org"]
tautologico has quit ["Leaving"]
Submarine has left #ocaml []
ne1 has joined #ocaml
_shawn has quit [Read error: 104 (Connection reset by peer)]
Shammah has joined #ocaml
async has quit ["leaving"]
<ayrnieu> Please consider http://tenacity.merseine.nu:8000/Erlang.files/hq9plus.erl -- written in Erlang, true, but it talks some of the disgraceful O'Caml implementation of HQ9+ (at http://www.cliff.biffle.org/esoterica/hq9plus.ml)
<gzl> how's 'match' different from just using conditionals?
<ayrnieu> gzl - I don't understand your question, sorry.
<gzl> um, the 'match' keyword. for example:
bzzbzz has joined #ocaml
<gzl> match expr with pattern1 -> expr1 | pattern2 -> expr2, etc
<Smerdyakov> gzl, match binds variables within the patterns.
<Smerdyakov> gzl, and it's a much more compact notation, even without binding variables.
<ayrnieu> and it allows a more readable programming style, I imagine.
<gzl> sure, it's compact and readable. i was just asking about how it functionally differs from just straight conditions
<gzl> conditionals
<Smerdyakov> And did I answer your question?
<gzl> yes, though i'm not exactly sure how binding variables within the patterns makes it differ from normal conditionals
<Smerdyakov> match expr with Some x -> x + 1 | None -> 0
<Smerdyakov> There is no analogue with "if"/
<ayrnieu> gzl - curiously, why did you want to know? What differences did you expect?
<gzl> i want to know because they
<gzl> i want to know because they use and mention match in a book i'm reading, and the implication was that it's more powerful than normal conditionals
<gzl> i didn't expect any specific differences, though it was obvious that they're not exactly the same
<Smerdyakov> gzl, now did I answer your question?
<gzl> Smerdyakov: ok, thanks
<gzl> yes, thanks
<Smerdyakov> Also, I don't understand how "being more compact" is not a "specific difference."
<gzl> by difference i mean a functional difference, not a syntactic difference
<Smerdyakov> What's the "functional difference" between OCaml and machine code?
<gzl> in that match is not *just* a more compact and readable way of doing the same thing; it also does things that have no analogue with if
<gzl> Smerdyakov: none
<ayrnieu> I don't care much for this notion of 'functional difference', then. but OK.
<gzl> match can do some things 'if' can't. i was wondering what exactly they were. that's all
<Smerdyakov> It does do things that have no analogue with if, but it would be trivial to change OCaml to have constructions that would not require you to use match.
<gzl> fine, but that's a different question
<Smerdyakov> match tree with Node (Node (Leaf x, Leaf y), Node _) -> x + y
<Smerdyakov> Like that... much more verbose to do it with if in Java.
<gzl> hm, ok. well, never mind what i said about functional difference, it was poorly phrased
cjohnson has quit [Read error: 110 (Connection timed out)]
bzzbzz has quit [Read error: 110 (Connection timed out)]
Shammah has quit [Read error: 110 (Connection timed out)]
shawn has joined #ocaml
gl has left #ocaml []
gl has joined #ocaml
GreyLensman has joined #ocaml