adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.00.1 http://bit.ly/UHeZyT | http://www.ocaml-lang.org | Public logs at http://tunes.org/~nef/logs/ocaml/
iratsu has joined #ocaml
lolcathost has quit [Remote host closed the connection]
lolcathost has joined #ocaml
srcerer has joined #ocaml
ontologiae has quit [Ping timeout: 256 seconds]
lolcathost has quit [Ping timeout: 255 seconds]
madroach has quit [Ping timeout: 244 seconds]
iratsu has quit [Ping timeout: 252 seconds]
madroach has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
emmanuelux has quit [Remote host closed the connection]
weie has joined #ocaml
hcarty has quit [Ping timeout: 255 seconds]
hcarty has joined #ocaml
weie has quit [Quit: Leaving...]
myx has joined #ocaml
Yoric has joined #ocaml
gnuvince has joined #ocaml
Yoric has quit [Ping timeout: 255 seconds]
milosn has quit [Ping timeout: 265 seconds]
gour has joined #ocaml
ontologiae has joined #ocaml
Yoric has joined #ocaml
<gour> morning
<adrien> hi
<gour> "Devel. appl. with OCaml" book says that: fun x y -> 3*x + y;; is alternate or legacy form for defining func. exprs like function x -> function y -> 3*x + y;; which confuses me a bit?
ontologiae has quit [Ping timeout: 264 seconds]
<adrien> in which context: anonymous functions or
<adrien> let f = fun x y -> 3*x + y;;
<gour> 'cause the latter is "a more compact way of writing function expressions
<adrien> ?
<gour> yeag, anon. functions, i bet
<adrien> if you bind the function definition to a name, use: fun x y -> 3*x + y
<adrien> erf
<adrien> too early
<adrien> if you bind the function definition to a name, use: let f x y = 3*x + y
<adrien> if it's for an anonymous function: fun x y = 3*x + y
<adrien> basically that's it
<adrien> if you need a specific behaviour, you can do it a bit differently but that should cover almost all your needs
<gour> what about the above examples i wrote?
<gour> obsolete?
<gour> let f x y = 3*x + y is pretty much what i'd expect, similar to the way in haskell (with extra let)
<adrien> style is subjective
<adrien> (imho)
<gour> fun x y = 3*x + y is even nicer than lambda in haskell
<adrien> but it's a syntax error :P
<gour> thanks for the url...
<adrien> I thought it had a section about your question too actually :P
<gour> fun x y -> 3*x + y;; is alos nicer than haskell :-)
<adrien> :-)
<gour> the wonder still remains how is more compact form legacy one?
<adrien> dunno =)
<gour> :-)
<gour> the other book (hickey) mentions only 'legacy' form
adrien_o1w is now known as adrien_oww
milosn has joined #ocaml
jewel has joined #ocaml
AltGr has joined #ocaml
weie has joined #ocaml
Siphonblast has quit [Ping timeout: 260 seconds]
Yoric has quit [Ping timeout: 252 seconds]
eni has joined #ocaml
leoncamel has joined #ocaml
Siphonblast has joined #ocaml
Yoric has joined #ocaml
nimred has quit [Ping timeout: 244 seconds]
nimred has joined #ocaml
nimred has quit [Changing host]
nimred has joined #ocaml
Siphonblast has quit [Ping timeout: 264 seconds]
Kakadu has joined #ocaml
leoncamel has quit [Ping timeout: 252 seconds]
caligula_ has joined #ocaml
caligula__ has quit [Ping timeout: 255 seconds]
Siphonblast has joined #ocaml
_andre has joined #ocaml
eni has quit [Ping timeout: 252 seconds]
<orbitz> haskell's \ for lambda isn't that bad really
ontologiae has joined #ocaml
wmeyer``` has quit [Ping timeout: 246 seconds]
pango_ is now known as pangoafk
Yoric has quit [Remote host closed the connection]
Yoric has joined #ocaml
leoncamel has joined #ocaml
suyu has joined #ocaml
Yoric has quit [Ping timeout: 246 seconds]
Yoric has joined #ocaml
malc_ has joined #ocaml
pango_ has joined #ocaml
pangoafk has quit [Ping timeout: 264 seconds]
<Qrntz> orbitz, neither is its λ for lambda :-)
<troydm> i think you can use λ character in source code in haskell for lambdas
<Qrntz> that's what I'm saying
<Qrntz> it supports some Unicode syntax, but off the top of my head I remember only the actual lambda for defining lambdas
pango_ is now known as pangoafk
f[x] has quit [Remote host closed the connection]
f[x] has joined #ocaml
f[x] has quit [Read error: Connection reset by peer]
f[x] has joined #ocaml
<gour> arrows as as well
snowylike has joined #ocaml
ulfdoz has quit [Ping timeout: 252 seconds]
<Qrntz> pippijn, nice
<Qrntz> so that lambda is a substitute for both «fun» and «function»?
<pippijn> yes
<Qrntz> I wish that was allowed in standard syntax
snowylike has left #ocaml []
nimred has quit [Ping timeout: 252 seconds]
ontologiae has quit [Ping timeout: 246 seconds]
ontologiae has joined #ocaml
suyu has quit [Quit: suyu]
ontologiae has quit [Read error: Operation timed out]
nimred has joined #ocaml
nimred has quit [Changing host]
nimred has joined #ocaml
tane has joined #ocaml
Anarchos has joined #ocaml
milosn has quit [Quit: Reconnecting]
milosn has joined #ocaml
Kakadu has quit []
BiDOrD has joined #ocaml
BiDOrD_ has quit [Ping timeout: 255 seconds]
wmeyer` has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
LeNsTR is now known as lenstr
wmeyer` has quit [Ping timeout: 244 seconds]
ontologiae has joined #ocaml
vpm has quit [Quit: co'o]
vpm has joined #ocaml
jewel has quit [Ping timeout: 250 seconds]
jewel has joined #ocaml
vbmithr has joined #ocaml
cdidd has quit [Read error: Connection reset by peer]
leoncamel has quit [Ping timeout: 255 seconds]
tac-tics has joined #ocaml
gnuvince has quit [Ping timeout: 252 seconds]
tac-tics has quit [Quit: Page closed]
gnuvince has joined #ocaml
micro_ has left #ocaml []
pangoafk is now known as pango
fayden has quit [Ping timeout: 265 seconds]
fayden has joined #ocaml
pango is now known as pangoafk
Snark_ has joined #ocaml
Snark_ is now known as Snark
tane has quit [Quit: Verlassend]
fayden has quit [Ping timeout: 252 seconds]
fayden has joined #ocaml
_andre has quit [Quit: leaving]
tane has joined #ocaml
tane has quit [Ping timeout: 264 seconds]
* gour is wondering how long is "Real World OCaml" in 'production' and whether it will cover 4.0?
wormphlegm has quit [Quit: leaving]
wormphlegm has joined #ocaml
<orbitz> gour: latest words is Oct 2013
<orbitz> but who knows, Yaron and Anil are very busy people
emmanuelux has joined #ocaml
<areece> :wq
Siphonblast has quit [Ping timeout: 252 seconds]
<gour> orbitz: when was 1st deadling when the book was supposed to appear?
fayden has quit [Ping timeout: 244 seconds]
Snark has quit [Quit: Quitte]
<orbitz> gour: I think an early pub was suppose dto be around now?
<gour> orbitz: ta
Siphonblast has joined #ocaml
<orbitz> gour: ocaml really isn't too bad to get your feet wet with
<orbitz> My code now is signifcantly better than before, but I think it would be like that no matter
<gour> orbitz: sure, i do not plan to wait for RWO, but will, nevertheless, buy it ;)
<orbitz> of course
<orbitz> I'm sure it will be great
<orbitz> well, unless you decide you hate ocaml by then?
<orbitz> :)
<gour> base on what i read, many things are quite similar, from what i remember, with haskell, some syntax quirks here & there, but not many FP languages are available in similar league allowing me to do simple IO :-)
<gour> i read that ocaml used to be quite at the top of language-shootout, now it's a bit behind...other did catch or?
<gour> *others
jewel has quit [Ping timeout: 265 seconds]
<areece> has anyone here used ocamlgraph?
<orbitz> i don't know i havne't followed the history of the shootout
<orbitz> i have only found ocaml to be a performance limit for myself a few times, and even then I could probably have made it faster with some thought, but deadliens psuhed me to just do taht portion in C
<gour> orbitz: ok, fair-enough
<areece> I'm having difficulty in understanding the type error in this snippet of code
<areece> nearest I can tell, by construction, DJG.V.t = G.V.t
ulfdoz has joined #ocaml
gnuvince has quit [Ping timeout: 252 seconds]
<gour> is there some kind of roadmap what langauge features are going to be added/changed etc. in future revisions, like adding GADTs in 4.0?
weie has quit [Quit: Leaving...]
<adrien> you can look at the SVN and see the branches
<adrien> that's not a formal roadmap but it can be a hint
<gour> will take a look...tomorrow...now --> sleep
<gour> 'night folks
gour has quit [Quit: WeeChat 0.3.8]
AltGr has quit [Quit: Konversation terminated!]
Yoric has quit [Ping timeout: 252 seconds]
ontologiae has quit [Ping timeout: 260 seconds]
Pantoufle has quit [Quit: leaving]
gnuvince has joined #ocaml
myx has quit [Ping timeout: 250 seconds]
fayden has joined #ocaml
Anarchos has joined #ocaml
Siphonblast has quit [Ping timeout: 244 seconds]
milosn has quit [Ping timeout: 260 seconds]
milosn has joined #ocaml
Siphonblast has joined #ocaml
<areece> what does "unbound record field lable ..." mean?
<Qrntz> record labels are scoped
<Qrntz> that'll have to be either «DJV.(vertex { level = 0; vertex = "hello, world\n" })»
<Qrntz> or «DJV.vertex { DJV.level = 0; DJV.vertex = "hello, world\n" }»
<areece> oh, weird
<areece> ok, thanks
gnuvince has quit [Ping timeout: 252 seconds]
pangoafk is now known as pango
<Qrntz> it makes sense once you have modules that define records with equal names
<Qrntz> s/names/label names/
gnuvince has joined #ocaml
<Qrntz> you won't get label shadowing that way
<Qrntz> although I hear it's a feature that's being reworked to allow records with equally-named labels in the global scope, distinguished by traits other than definition locality
Ptivadvent is now known as Ptival
gnuvince has quit [Ping timeout: 252 seconds]
gnuvince has joined #ocaml
lorilan has quit [Quit: Quitte]
iratsu has joined #ocaml
cdidd has joined #ocaml
cdidd has quit [Ping timeout: 255 seconds]
iratsu has quit [Ping timeout: 252 seconds]
Yoric has joined #ocaml
hcarty has quit [Ping timeout: 245 seconds]
hcarty has joined #ocaml
cdidd has joined #ocaml
suyu has joined #ocaml
Yoric has quit [Ping timeout: 245 seconds]
malc_ has quit [Quit: leaving]
iratsu has joined #ocaml
suyu has quit [Quit: suyu]
mye has joined #ocaml
Catnaroek has joined #ocaml