dan2 changed the topic of #ocaml to: OCaml 3.08.2 available! | Archive of Caml Weekly News: http://sardes.inrialpes.fr/~aschmitt/cwn/ | A tutorial: http://merjis.com/richj/computers/ocaml/tutorial/ | 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/
KrispyKr1ngle has joined #ocaml
Submarine has quit ["Leaving"]
KrispyKringle has quit [No route to host]
KrispyKr1ngle has quit [Client Quit]
senko has joined #ocaml
Banana has joined #ocaml
mbh has quit [Read error: 104 (Connection reset by peer)]
gim has quit [Read error: 110 (Connection timed out)]
mbh has joined #ocaml
humasect has joined #ocaml
vezenchio has quit ["Greenspun's Tenth Rule of Programming: any sufficiently complicated C or Fortran program contains an ad hoc informally-specif]
mfurr has joined #ocaml
Banana has quit [Read error: 113 (No route to host)]
CosmicRay has quit ["Leaving"]
KrispyKringle has joined #ocaml
mfurr has quit ["Leaving"]
ne1 has quit ["Few people understand understanding."]
humasect has quit [Read error: 110 (Connection timed out)]
<KrispyKringle> this oreilly book is fantastic
<KrispyKringle> just wanted to throw that out there.
<mbh> KrispyKringle: you think?
<mbh> i think the oreilly book is outdated; i personally like the caltech tutorial
<KrispyKringle> so far. im only a little ways into it, but it seems pretty good.
<KrispyKringle> the caltech one is great for a brief synopsis
<KrispyKringle> it gives a good working overview.
<KrispyKringle> what's out of date in the orielly book?
<mbh> well, i found that some of the examples don't work
<KrispyKringle> oh, really? hmm.
<mbh> i don't remember which ones
<KrispyKringle> ill be ticked off if i run into that ;)
<KrispyKringle> well, i guess ill see.
<KrispyKringle> it's good reading, in either case. reasonably engaging, for a language book (though so was the caltech one).
<mbh> actually, to be fair, i haven't read the oreilly book carefully
<KrispyKringle> ah, well, ill see. dont know what the date is on it.
<KrispyKringle> i discovered a portion of it while going through some old lecture notes of mine. made me wonder if it was available online :P
humasect has joined #ocaml
swarm has joined #ocaml
swarm has quit [tolkien.freenode.net irc.freenode.net]
mrvn has quit [tolkien.freenode.net irc.freenode.net]
judge has quit [tolkien.freenode.net irc.freenode.net]
det has quit [tolkien.freenode.net irc.freenode.net]
mbh has quit [tolkien.freenode.net irc.freenode.net]
stef_ has quit [tolkien.freenode.net irc.freenode.net]
mflux has quit [tolkien.freenode.net irc.freenode.net]
pango has quit [tolkien.freenode.net irc.freenode.net]
shawn has quit [tolkien.freenode.net irc.freenode.net]
dan2 has quit [tolkien.freenode.net irc.freenode.net]
mellum has quit [tolkien.freenode.net irc.freenode.net]
xqw has quit [tolkien.freenode.net irc.freenode.net]
pflanze has quit [tolkien.freenode.net irc.freenode.net]
skylan has quit [tolkien.freenode.net irc.freenode.net]
Riastradh has quit [tolkien.freenode.net irc.freenode.net]
noj has quit [tolkien.freenode.net irc.freenode.net]
cmeme has quit [tolkien.freenode.net irc.freenode.net]
neale has quit [tolkien.freenode.net irc.freenode.net]
calvin_ has quit [tolkien.freenode.net irc.freenode.net]
Hipo has quit [tolkien.freenode.net irc.freenode.net]
senko has quit [tolkien.freenode.net irc.freenode.net]
lodewijk has quit [tolkien.freenode.net irc.freenode.net]
CLxyz has quit [tolkien.freenode.net irc.freenode.net]
Excedrin has quit [tolkien.freenode.net irc.freenode.net]
oracle1 has quit [tolkien.freenode.net irc.freenode.net]
Hadaka has quit [tolkien.freenode.net irc.freenode.net]
avn has quit [tolkien.freenode.net irc.freenode.net]
avlondono has quit [tolkien.freenode.net irc.freenode.net]
dobrek_ has quit [tolkien.freenode.net irc.freenode.net]
mflux has joined #ocaml
cmeme has joined #ocaml
mbh has joined #ocaml
senko has joined #ocaml
det has joined #ocaml
pango has joined #ocaml
mrvn has joined #ocaml
stef_ has joined #ocaml
lodewijk has joined #ocaml
shawn has joined #ocaml
CLxyz has joined #ocaml
dan2 has joined #ocaml
Excedrin has joined #ocaml
judge has joined #ocaml
oracle1 has joined #ocaml
Hadaka has joined #ocaml
avn has joined #ocaml
avlondono has joined #ocaml
mellum has joined #ocaml
xqw has joined #ocaml
pflanze has joined #ocaml
noj has joined #ocaml
skylan has joined #ocaml
neale has joined #ocaml
dobrek_ has joined #ocaml
Riastradh has joined #ocaml
calvin_ has joined #ocaml
Hipo has joined #ocaml
KrispyKringle has quit ["Get MacIrssi - http://www.g1m0.se/macirssi/"]
humasect has quit [Read error: 104 (Connection reset by peer)]
Svrog has joined #ocaml
<Svrog> hi
<Svrog> anyone alive in here?
<Svrog> would anyone be able to tell me what's the difference between "type +'a t" and "type 'a t"?
Shammah has joined #ocaml
Herrchen has joined #ocaml
<Svrog> hello Shammah and Herrchen
<Herrchen> hi Svrog
<Svrog> how goes it?
<Svrog> you wouldn't by any chance know what is the difference between "type +'a t" and "type 'a t"?
<Svrog> if there is any difference at all.. the type signature for an expression with the '+' char seems exactly the same as the one without it once you enter it in the ocaml top level system
<Svrog> and for some reason several signatures in the ocaml stdlib seem to use the version with the '+' char
<Herrchen> 'a is covariant - see http://caml.inria.fr/ocaml/htmlman/manual016.html
<Herrchen> the third paragraph after the BNF of type expressions
<Herrchen> the last sentence explains what this means
<Svrog> interesting... i've missed that for some reason
<Svrog> thanks
<Herrchen> np
Submarine has joined #ocaml
<Svrog> hmm.. so then when/where exactly would one use -'a t?
<Submarine> do you understand what +'a means?
<Submarine> it is for things like: "a non-mutable list of A is, a fortiori, a list of B if A is a sub-type of B"
<Submarine> from this, you easily come to -'a if you're on the left side of an arrow
smimou has joined #ocaml
<Svrog> yeah just figured it out..
<Svrog> but thanks anyway
<Herrchen> Svrog: sorry can't say anything more, didn't know there is something like +'a or -'a ...
<Herrchen> just searched for it in the manual
<Svrog> that's cool
<Svrog> i kept missing that section of the manual and even after i've read it it didnt seem all that clear - that post on the message board cleared it up a bit
<Svrog> i only came accross this few days ago when i had a look at the type signatures in the Map module
<Submarine> note that Java got that wrong when it accepted that X array is a subtype of Y array if X is a subtype of Y
<Svrog> oh well.. i dont think ill ever need this anyway - i never found oo features of ocaml useful
<Herrchen> I have to go - happy new year to you all - bye
<Svrog> cya Herrchen and happy new year to you too
Herrchen has quit ["happy new year"]
Banana has joined #ocaml
mbh has quit [Read error: 60 (Operation timed out)]
<Svrog> i'm off too.. bye
Svrog has quit [" HydraIRC -> http://www.hydrairc.com <- irc client ownage!"]
gim has joined #ocaml
vezenchio has joined #ocaml
_JusSx_ has joined #ocaml
budjet has joined #ocaml
neale has quit [Read error: 110 (Connection timed out)]
Submarine has quit [Read error: 104 (Connection reset by peer)]
budjet has quit [Remote closed the connection]
Submarine has joined #ocaml
smimou has quit [Remote closed the connection]
smimou has joined #ocaml
tintin has joined #ocaml
drewr has joined #ocaml
budjet has joined #ocaml
mrsolo has quit [Read error: 113 (No route to host)]
budjet has quit [Remote closed the connection]
Riastradh has quit [Read error: 104 (Connection reset by peer)]
Riastradh has joined #ocaml
mbh has joined #ocaml
lodewijk has quit [Read error: 110 (Connection timed out)]
mrvn_ has joined #ocaml
mrvn has quit [Read error: 60 (Operation timed out)]
budjet has joined #ocaml
budjet has quit [Remote closed the connection]
pango has quit [Nick collision from services.]
pango has joined #ocaml
_JusSx__ has joined #ocaml
Smerdyakov has joined #ocaml
Submarine has quit [Read error: 54 (Connection reset by peer)]
mrsolo has joined #ocaml
_JusSx_ has quit [Read error: 110 (Connection timed out)]
budjet has joined #ocaml
tintin has quit [Read error: 110 (Connection timed out)]
_fab has joined #ocaml
lodewijk has joined #ocaml
whee has joined #ocaml
budjet has quit [Remote closed the connection]
fab__ has quit [Read error: 110 (Connection timed out)]
budjet has joined #ocaml
KrispyKringle has joined #ocaml
smimram has joined #ocaml
drewr has quit ["New kernel!"]
smimram has quit [Client Quit]
_JusSx__ has quit ["leaving"]
budjet has quit [Remote closed the connection]
smimou has quit [Read error: 110 (Connection timed out)]
drewr has joined #ocaml
vincenz_ has joined #ocaml
vincenz has quit [Read error: 110 (Connection timed out)]
humasect has joined #ocaml
quamaretto has joined #ocaml
drewr has quit ["ERC Version 4.0 $Revision: 1.719 $ (IRC client for Emacs)"]
KrispyKr1ngle has joined #ocaml
senko has quit ["Leaving"]
senko has joined #ocaml
KrispyKringle has quit [Read error: 113 (No route to host)]
Banana has quit [Read error: 104 (Connection reset by peer)]
KrispyKr1ngle has quit [Client Quit]
whee has quit []
Smerdyakov has quit ["eat"]
drewr has joined #ocaml
budjet has joined #ocaml
drewr has quit ["foo"]
budjet has quit [Remote closed the connection]
Submarine has joined #ocaml
Smerdyakov has joined #ocaml