mfp changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.11.2 released | Inscription for OCaml Meeting 2010 is opened http://wiki.cocan.org/events/europe/ocamlmeetingparis2010
drewbert has joined #ocaml
pimmhogeling has quit [Ping timeout: 265 seconds]
<drewbert> hello. could someone take a look at http://pastebin.ca/1848730, and tell me what is necessary to overcome the error and return an int list
ygrek has quit [Ping timeout: 245 seconds]
oc131 has quit [Ping timeout: 260 seconds]
<Camarade_Tux> drewbert: you need an 'else' clause in the 'if'
<Camarade_Tux> otherwise, ocaml assumes 'else ()'
<drewbert> Camarade_Tux: thanks a bunch
<Camarade_Tux> =)
Mr_Awesome has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]
tmaedaZ has quit [Ping timeout: 260 seconds]
Amorphous has quit [Read error: Connection reset by peer]
tmaedaZ has joined #ocaml
Amorphous has joined #ocaml
<drewbert> could someone take a look at -- http://pastebin.ca/1848755 ?
<drewbert> oh wait!
<drewbert> I see it
<drewbert> nevermind
jeddhaberstro has joined #ocaml
maskd has quit [Quit: leaving]
EricFisher has joined #ocaml
derdon has quit [Quit: derdon]
drewbert has left #ocaml []
tmaedaZ is now known as tmaeda
drk-sd has quit [Quit: dodo]
yakischloba has quit [Quit: Leaving.]
krankkatze has quit [Ping timeout: 246 seconds]
enthymeme has joined #ocaml
jeddhaberstro has quit [Quit: jeddhaberstro]
smimou has quit [Ping timeout: 258 seconds]
smimou has joined #ocaml
tmaeda has quit [Ping timeout: 240 seconds]
tmaeda has joined #ocaml
caligula__ has quit [Read error: Connection reset by peer]
tmaeda is now known as tmaedaZ
caligula__ has joined #ocaml
tmaedaZ is now known as tmaeda
yakischloba has joined #ocaml
Associat0r has joined #ocaml
Associat0r has quit [Client Quit]
ztfw` has joined #ocaml
ztfw has quit [Ping timeout: 260 seconds]
msalzberg_ has joined #ocaml
enthymeme has quit [Quit: brb, router hop.]
<msalzberg_> i have a noob question about using the Option module I found on this page..http://ocaml-lib.sourceforge.net/doc/Option.html... i assume it is in the std lib?
<msalzberg_> and to use it, all I should have to do is Option.get (some var)?
_unK has quit [Remote host closed the connection]
<orbitz> msalzberg_: I don't think there is any good reason ot assume it is the stdlib
<msalzberg_> oh alright, bummer
valross has quit [Ping timeout: 276 seconds]
valross has joined #ocaml
ulfdoz has joined #ocaml
yakischloba has quit [Quit: Leaving.]
enthymeme has joined #ocaml
<EricFisher> What does @@ mean in OCaml?
<julm> I guess nothing unless you have it defined somewhere
<EricFisher> Ah, so does this mean that in OCaml, such as "@@" or "+++" can be a legal function name?
<julm> yep
<julm> let (@@) = fun a b -> ...
<EricFisher> interesting.
valross has quit [Read error: Connection reset by peer]
msalzberg_ has quit [Quit: msalzberg_]
enthymeme has quit [Quit: *thud*]
valross has joined #ocaml
<EricFisher> Hi, what does s' and s'' mean?
ulfdoz has quit [Ping timeout: 252 seconds]
<olegfink> ' doesn't have special meaning in identifiers when not in the first position. usually it is used to denote values derived in some way from the base, as it is in maths.
<EricFisher> olegfink: Thanks :-)
Yoric has joined #ocaml
smimou has quit [Read error: Operation timed out]
smimou has joined #ocaml
ygrek has joined #ocaml
oc13 has joined #ocaml
smimou has quit [Ping timeout: 268 seconds]
ttamttam has joined #ocaml
Yoric has quit [Quit: Yoric]
smimou has joined #ocaml
smimou has quit [Read error: Operation timed out]
zhijie has joined #ocaml
ztfw`` has joined #ocaml
ztfw` has quit [Ping timeout: 252 seconds]
smimou has joined #ocaml
spearalot has joined #ocaml
f[x] has joined #ocaml
<Camarade_Tux> it could be nice for the toplevel :-)
mikeX has quit [Ping timeout: 258 seconds]
mikeX has joined #ocaml
Yoric has joined #ocaml
pimmhogeling has joined #ocaml
<flux> anything would be nice for the toplevel :). however, given the availability of libeditline, I'd rather pick that..
ikaros has joined #ocaml
zhijie has quit [Read error: Connection reset by peer]
zhijie has joined #ocaml
hyperboreean has joined #ocaml
zhijie has quit [Client Quit]
<Camarade_Tux> yeah, it'd be definitely nicer to have libeditline but I'd be happy with linenoise too
<Camarade_Tux> libeditline has more features, linenoise is much smaller and may be easier to integrate into the toplevel (easier API for instance)
valross has quit [Quit: Ex-Chat]
<olegfink> actually it's not like people is still using 70s-style terminals, so it might finally be okay to have a graphical program for interactive editing?
<Camarade_Tux> olegfink: hmmmm http://omploader.org/vMzlydg :P (that was spaghetti code I wasn't happy with: save your eyes, don't read ;-) )
barismetin has joined #ocaml
barismetin has quit [Changing host]
barismetin has joined #ocaml
<olegfink> Camarade_Tux: heh. http://omploader.org/vM3d1bw
rprichard has joined #ocaml
<olegfink> (full keyboard/mouse editing, including previous lines, copy/paste etc.)
<Camarade_Tux> heh :P
<Camarade_Tux> what is it?
<Camarade_Tux> (I mean, details)
<olegfink> it's stock 9term, though something about it could be changed
<Camarade_Tux> I guess not many people have it installed however =/
<olegfink> yes, and unfortunately no widely used version of unix comes with a tool like this (which is strange)
<Camarade_Tux> well, I had never heard about it before (although I knew plan9)
<olegfink> 9term doesn't really exist on plan9, for it is a port of a core aspect of the plan9 interface to unix
EricFisher has left #ocaml []
<olegfink> (and as such it's pretty heavy, i.e. it uses a more or less portable graphics implementation (at least with x11 and cocoa backends) instead of being written e.g. just with xlib)
orphee has joined #ocaml
<olegfink> Camarade_Tux: by the way, ocaml comes with ocamlbrowser that includes something of the sort, though not that usable
<Camarade_Tux> ah, right, I had forgotten about that editor in ocamlbrowser
<Camarade_Tux> quite nice actually
<Camarade_Tux> and going to be late again, bbl =)
avsm has joined #ocaml
rprichard has quit [Ping timeout: 252 seconds]
spearalot has quit [Quit: Computer has gone to sleep]
ttamttam has quit [Quit: Leaving.]
ttamttam has joined #ocaml
tmaeda is now known as tmaedaZ
spearalot has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]
derdon has joined #ocaml
<flux> hmph, using **> and |> in the same function gives a slight perlish feeling of timtowtdi :)
<mrvn> <!-- -->
_andre has joined #ocaml
<flux> hmm, how would one find the list of nodes (and edges) reachable in a directed graph from a given nice with OcamlGraph?
<flux> by making use of the existing functions, instead of writing the (shortish) algorithm, of course :)
<flux> in other words, is something this simple just missing from it, or am I just not finding it..
orphee has quit [Quit: rcirc on GNU Emacs 22.1.1]
<flux> ah, it was me all along, Prune_unreachable ;)
<flux> gah, but it's apparently a recent addition, as my ocamlgraph doesn't know about it
<flux> or not. I had bumped into the documentation or some other ocaml library dealing with graphs :)
barismetin has quit [Ping timeout: 240 seconds]
orphee has joined #ocaml
spearalot has quit [Quit: Computer has gone to sleep]
derdon has quit [Quit: derdon]
pimmhogeling has quit [Read error: Connection reset by peer]
<flux> interesting, binary file (executable) analysis in ocaml: http://bap.ece.cmu.edu/
<thelema> flux: do you still have problems with BatString.quote?
<flux> thelema, well, not really, as I just use String.escape :). but I think my analysis does indicate there is a problem.
<flux> thelema, did you try doing this: String.quote "hello";; and then again String.quote "hello";; ?
tmaedaZ is now known as tmaeda
<thelema> huh, you're right.
<thelema> It's likely the result of some needed eta expansion.
<flux> yes
<thelema> trivial fix.
<thelema> I'll push in a bit.
<flux> btw, why not use String.escaped?
<flux> ah, nvm, there was a difference which I just had forgotten
<flux> although the difference apparently is that String.quote sticks actual quotes around the string
spearalot has joined #ocaml
derdon has joined #ocaml
Alpounet has quit [Quit: ``Do what you think you can't do.'']
Alpounet has joined #ocaml
bind_return has joined #ocaml
pimmhogeling has joined #ocaml
CcSsNET has quit [Quit: User disconnected]
thieusoai has quit [Quit: Leaving]
thrasibule has quit [Ping timeout: 258 seconds]
bind_return has quit [Quit: Leaving]
pimmhogeling has quit [Ping timeout: 265 seconds]
_zack has joined #ocaml
spearalot has quit [Quit: -arividerchi]
_zack has quit [Ping timeout: 256 seconds]
_unK has joined #ocaml
pimmhogeling has joined #ocaml
f[x] has quit [Ping timeout: 268 seconds]
<eldragon> Robin Milner R.I.P. 1934-01-13 2010-03-20
f[x] has joined #ocaml
<eldragon> In memoriam of LCF, type-inference, ML, type-safe exception handling, calculus of communicating systems, pi-calculus.
<orbitz> dam
sgnb has quit [Remote host closed the connection]
struktured has quit [Remote host closed the connection]
sgnb has joined #ocaml
struktured has joined #ocaml
<orbitz> eldragon: is it proven: citation needed on wiki
<eldragon> orbitz, go to funeral and request the citation.
<orbitz> eldragon: I can't find an obit online either. how did you find out?
<orbitz> eldragon: i know, and it says citation needed...
<eldragon> orbitz, if you need a citation, go to funeral and request the citation.
<orbitz> eldragon: Do you undertand that wikipedia is not necessiarly an accurate place for information?
pimmhogeling has quit [Ping timeout: 265 seconds]
svenl has joined #ocaml
bzzbzz has joined #ocaml
<avsm> It is unfortunately true
<avsm> From his son and daughter, via Andrew Pitts: "We are sorry to announce that Robin Milner died on Saturday 20th March, in Cambridge, just three days after the funeral of his wife, Lucy."
<mrvn> avsm: no more than other sources, no less too unfortunately. On the whole.
sgnb` has joined #ocaml
<orbitz> avsm: Ohad posted on LtU too
Ori_B_ has joined #ocaml
<orbitz> malcolm from #haskell put citation from the LtU post on wiki
_zack has joined #ocaml
<mrvn> Someone needs to start an alternative to wikipedia so they can site each other.
<mrvn> cite even
sgnb has quit [*.net *.split]
Ori_B has quit [*.net *.split]
jimmyb2187 has quit [*.net *.split]
pookleblinky has quit [*.net *.split]
<eldragon> avsm, Robin Milner and his wife died together?
<avsm> she passed away a little earlier; her funeral was last week
<eldragon> Lucy Milner died at before of 17th March?
pookleblinky has joined #ocaml
<flux> if the quote is accurate, then it is to be believed it is so. I doubt the funeral would be arranged immediately on the day of the death.
<eldragon> his death maybe compassional
jonafan_ is now known as jonafan
jimmyb2187 has joined #ocaml
joewilliams_away is now known as joewilliams
<eldragon> my hypothesis is that Robin Milner commited passional suicide, more addicted to computation's life than his life w/ his wife.
<orbitz> that's nice
<mrvn> You mean he died of a broken heart.
f[x] has quit [Ping timeout: 276 seconds]
<eldragon> mrvn, i think that he died due to his failed promises that he said to his wife.
f[x] has joined #ocaml
<derdon> he was depressed because he imagined a life without his wife
thieusoai has joined #ocaml
<eldragon> derdon, and also addicted to computation's research.
<orbitz> I think it is likely none of us knew Milner well enough to hypothesize about his death. and eldragon is likely torlling
<eldragon> hahaha orbitz
yakischloba has joined #ocaml
<orbitz> tro-lo-lo
jcaose has joined #ocaml
avsm has quit [Ping timeout: 246 seconds]
pimmhogeling has joined #ocaml
MrHeavy has quit [Quit: leaving]
jcaose has quit [Quit: Leaving]
jcaose has joined #ocaml
findum has quit [Quit: Changing server]
pimmhogeling has quit [Ping timeout: 245 seconds]
findum has joined #ocaml
ztfw`` has left #ocaml []
f[x] has quit [Ping timeout: 240 seconds]
f[x] has joined #ocaml
tmaeda is now known as tmaedaZ
tmaedaZ is now known as tmaeda
<Alpounet> thelema, will you attend ocaml-meeting 2010 ?
<Alpounet> give a talk about aaa ?
pookleblinky has quit [Ping timeout: 260 seconds]
<thelema> Alpounet: sadly, I'm stuck in the US then.
<Alpounet> ok
<julm> :(
<thelema> feh, the world would be better served by better documentation.
<thelema> instead of me preparing a presentation.
<derdon> fortunately, there is sphinx to make documentors happy :)
<thelema> derdon: what's that?
orphee has quit [Remote host closed the connection]
philtor has joined #ocaml
pookleblinky has joined #ocaml
<eldragon> Robin Milner http://www.cl.cam.ac.uk/~rm135/10.jpg R.I.P.
_zack has quit [Ping timeout: 246 seconds]
krankkatze has joined #ocaml
f[x] has quit [Ping timeout: 240 seconds]
philtor has quit [Ping timeout: 246 seconds]
f[x] has joined #ocaml
f[x] has quit [Ping timeout: 240 seconds]
<derdon> thelema: sphinx.pocoo.org
<thelema> sphinx vs. ocamldoc?
_zack has joined #ocaml
f[x] has joined #ocaml
* julm hates ocamldoc
dmarkey has quit [Remote host closed the connection]
dmarkey has joined #ocaml
drk-sd has joined #ocaml
<derdon> thelema: ocamldoc is nearly useless. sphinx is much better, try it
<thelema> I see two things that ocamldoc doesn't do - syntax highting of embedded code and extensions that do automatic testing, etc.
<thelema> is this why sphinx is much better?
<derdon> thelema: sphinx is better, because it is not intended to be a purely API documentation generator
<derdon> thelema: you use ReST as a markup language
<derdon> thelema: you can change the style easily and define own themes
<derdon> thelema: and in the next version there will be domains - and I will be the one who adds OCaml support :)
<thelema> well, I'm not committed to ocamldoc for documentation for batteries, but there is a bunch of existing documentation that'd have to be migrated somehow.
<derdon> yes, is it a problem for you?
<derdon> the work is worth doing it
<thelema> to do the migration myself? Doesn't sound that appealing.
<thelema> as nice as ReST is...
<derdon> ReST is awesome!
<thelema> can I ask people to install sphinx to compile the documentation? I'm guessing not - I'll have to include prebuilt docs into the release tarballs
<thelema> which makes the release process more complicated
<thelema> I'm kinda looking forward to an awesome version of ocamlbuild so I can drop the wierd dependency on omake (as nice as it is)
<derdon> thelema: a documentation is not compiled?!
<thelema> derdon: ? batteries' documentation is not prebuilt.
<derdon> thelema: in sphinx, it is written in rst files and then converted to html files
<thelema> ok
<derdon> thelema: do you call this process 'compiling'?
ttamttam has quit [Quit: Leaving.]
<thelema> no, building the documentation is just building.
<thelema> I don't think about compiling the documentation.
<thelema> it's 'generated'
<derdon> right, so do I
<thelema> oh, I did say "compile the documentation"... huh
_zack has quit [Ping timeout: 252 seconds]
f[x] has quit [Ping timeout: 276 seconds]
Yoric has quit [Quit: Yoric]
f[x] has joined #ocaml
Associat0r has joined #ocaml
avsm has joined #ocaml
ikaros has joined #ocaml
enthymeme has joined #ocaml
_zack has joined #ocaml
Associat0r has quit [Quit: Associat0r]
krankkatze has quit [Ping timeout: 245 seconds]
Submarine has joined #ocaml
_zack has quit [Ping timeout: 258 seconds]
f[x] has quit [Ping timeout: 268 seconds]
f[x] has joined #ocaml
_zack has joined #ocaml
_zack has quit [Client Quit]
f[x] has quit [Ping timeout: 240 seconds]
f[x] has joined #ocaml
Demitar has joined #ocaml
drk-sd has quit [Quit: g2g]
boscop_ has joined #ocaml
boscop has quit [Ping timeout: 260 seconds]
boscop_ has left #ocaml []
boscop has joined #ocaml
ulfdoz has joined #ocaml
ttamttam has joined #ocaml
<boscop> this site (http://xahlee.org/ocaml/pattern_matching.html) says, when I want to transform a 3-tuple like (x,y,z) into (x,z) when x equals y, this doesn't work: let d = (3, 3, 4) in match d with ( a, a, c ) -> (a, c);;
<boscop> how would I have to write it instead?
<ulfdoz> I prefer bouml for uml.
<ulfdoz> ewin
<mfp> boscop: | (a,b,c) when a = b -> (a, c) | ...
<boscop> ah, thanks
f[x] has quit [Ping timeout: 276 seconds]
f[x] has joined #ocaml
<orbitz> oh god, xahlee!
<Alpounet> haha
<orbitz> boscop: print it out and burn it
f[x] has quit [Ping timeout: 268 seconds]
f[x] has joined #ocaml
jeddhaberstro has joined #ocaml
f[x] has quit [Ping timeout: 268 seconds]
f[x] has joined #ocaml
avsm1 has joined #ocaml
avsm has quit [Ping timeout: 246 seconds]
krankkatze has joined #ocaml
_andre has quit [Quit: *puff*]
<derdon> I love streams :)
<derdon> are they comparable to Python's generators?
<thelema> I use enum, which is more similar, and a bit more general.
<thelema> Yes, they're comparable
<thelema> they don't get created in the same way - there's no yield in ocaml
<derdon> ok, what are enums?
<derdon> yes, but the usage is similar
MrEvil has joined #ocaml
<derdon> thelema: you said enums are more general than streams
<derdon> thelema: can you explain it?
ttamttam has quit [Quit: Leaving.]
<thelema> Stream.enum converts from a stream to an enum - there's no loss.
<thelema> Converting the other way, you lose the quick cloning and quick length abilities
Submarine has quit [Ping timeout: 245 seconds]
<derdon> ok, so will use enums whenever I think of streams :)
Submarine has joined #ocaml
<derdon> thelema: are you working on any OCaml project (besides Batteries) you can show me so that I can learn from the code?
<thelema> Not great code, but it's got some fun bits in it.
<derdon> thanks :)
Yoric has joined #ocaml
Submarine has quit [Quit: Leaving]
ulfdoz has quit [Ping timeout: 258 seconds]
Demitar has quit [Quit: Bubbles!]
MrEvil has quit [Quit: Leaving]
Yoric has quit [Quit: Yoric]
MrEvil has joined #ocaml
jeddhaberstro has quit [Quit: jeddhaberstro]
jcaose has quit [Ping timeout: 264 seconds]
maattd has quit [Ping timeout: 260 seconds]
maattd has joined #ocaml
oc13 has quit [Ping timeout: 260 seconds]
Yoric has joined #ocaml
avsm1 has quit [Quit: Leaving.]
ygrek has quit [Ping timeout: 245 seconds]
jeddhaberstro has joined #ocaml
exim has joined #ocaml
Yoric has quit [Quit: Yoric]
exim has quit [Remote host closed the connection]
Associat0r has joined #ocaml
caligula_ has joined #ocaml
Associat0r has quit [Quit: Associat0r]
caligula__ has quit [Ping timeout: 264 seconds]
valross has joined #ocaml