00:09
KrispyKr1ngle has joined #ocaml
00:12
Submarine has quit ["Leaving"]
00:19
KrispyKringle has quit [No route to host]
00:33
KrispyKr1ngle has quit [Client Quit]
01:05
senko has joined #ocaml
01:51
Banana has joined #ocaml
02:35
mbh has quit [Read error: 104 (Connection reset by peer)]
02:42
gim has quit [Read error: 110 (Connection timed out)]
02:53
mbh has joined #ocaml
02:55
humasect has joined #ocaml
03:19
vezenchio has quit ["Greenspun's Tenth Rule of Programming: any sufficiently complicated C or Fortran program contains an ad hoc informally-specif]
03:40
mfurr has joined #ocaml
03:55
Banana has quit [Read error: 113 (No route to host)]
04:22
CosmicRay has quit ["Leaving"]
04:37
KrispyKringle has joined #ocaml
05:15
mfurr has quit ["Leaving"]
05:49
ne1 has quit ["Few people understand understanding."]
05:57
humasect has quit [Read error: 110 (Connection timed out)]
06:29
<
KrispyKringle >
this oreilly book is fantastic
06:29
<
KrispyKringle >
just wanted to throw that out there.
06:29
<
mbh >
KrispyKringle: you think?
06:29
<
mbh >
i think the oreilly book is outdated; i personally like the caltech tutorial
06:29
<
KrispyKringle >
so far. im only a little ways into it, but it seems pretty good.
06:29
<
KrispyKringle >
the caltech one is great for a brief synopsis
06:29
<
KrispyKringle >
it gives a good working overview.
06:30
<
KrispyKringle >
what's out of date in the orielly book?
06:30
<
mbh >
well, i found that some of the examples don't work
06:30
<
KrispyKringle >
oh, really? hmm.
06:30
<
mbh >
i don't remember which ones
06:30
<
KrispyKringle >
ill be ticked off if i run into that ;)
06:30
<
KrispyKringle >
well, i guess ill see.
06:31
<
KrispyKringle >
it's good reading, in either case. reasonably engaging, for a language book (though so was the caltech one).
06:31
<
mbh >
actually, to be fair, i haven't read the oreilly book carefully
06:31
<
KrispyKringle >
ah, well, ill see. dont know what the date is on it.
06:31
<
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
06:33
humasect has joined #ocaml
06:57
swarm has joined #ocaml
07:06
swarm has quit [tolkien.freenode.net irc.freenode.net]
07:06
mrvn has quit [tolkien.freenode.net irc.freenode.net]
07:06
judge has quit [tolkien.freenode.net irc.freenode.net]
07:06
det has quit [tolkien.freenode.net irc.freenode.net]
07:06
mbh has quit [tolkien.freenode.net irc.freenode.net]
07:06
stef_ has quit [tolkien.freenode.net irc.freenode.net]
07:06
mflux has quit [tolkien.freenode.net irc.freenode.net]
07:06
pango has quit [tolkien.freenode.net irc.freenode.net]
07:06
shawn has quit [tolkien.freenode.net irc.freenode.net]
07:06
dan2 has quit [tolkien.freenode.net irc.freenode.net]
07:06
mellum has quit [tolkien.freenode.net irc.freenode.net]
07:06
xqw has quit [tolkien.freenode.net irc.freenode.net]
07:06
pflanze has quit [tolkien.freenode.net irc.freenode.net]
07:06
skylan has quit [tolkien.freenode.net irc.freenode.net]
07:06
Riastradh has quit [tolkien.freenode.net irc.freenode.net]
07:06
noj has quit [tolkien.freenode.net irc.freenode.net]
07:06
cmeme has quit [tolkien.freenode.net irc.freenode.net]
07:06
neale has quit [tolkien.freenode.net irc.freenode.net]
07:06
calvin_ has quit [tolkien.freenode.net irc.freenode.net]
07:06
Hipo has quit [tolkien.freenode.net irc.freenode.net]
07:06
senko has quit [tolkien.freenode.net irc.freenode.net]
07:06
lodewijk has quit [tolkien.freenode.net irc.freenode.net]
07:06
CLxyz has quit [tolkien.freenode.net irc.freenode.net]
07:06
Excedrin has quit [tolkien.freenode.net irc.freenode.net]
07:06
oracle1 has quit [tolkien.freenode.net irc.freenode.net]
07:06
Hadaka has quit [tolkien.freenode.net irc.freenode.net]
07:06
avn has quit [tolkien.freenode.net irc.freenode.net]
07:06
avlondono has quit [tolkien.freenode.net irc.freenode.net]
07:06
dobrek_ has quit [tolkien.freenode.net irc.freenode.net]
07:07
mflux has joined #ocaml
07:07
cmeme has joined #ocaml
07:07
mbh has joined #ocaml
07:07
senko has joined #ocaml
07:07
det has joined #ocaml
07:07
pango has joined #ocaml
07:07
mrvn has joined #ocaml
07:07
stef_ has joined #ocaml
07:07
lodewijk has joined #ocaml
07:07
shawn has joined #ocaml
07:07
CLxyz has joined #ocaml
07:07
dan2 has joined #ocaml
07:07
Excedrin has joined #ocaml
07:07
judge has joined #ocaml
07:07
oracle1 has joined #ocaml
07:07
Hadaka has joined #ocaml
07:07
avn has joined #ocaml
07:07
avlondono has joined #ocaml
07:07
mellum has joined #ocaml
07:07
xqw has joined #ocaml
07:07
pflanze has joined #ocaml
07:07
noj has joined #ocaml
07:07
skylan has joined #ocaml
07:07
neale has joined #ocaml
07:07
dobrek_ has joined #ocaml
07:07
Riastradh has joined #ocaml
07:07
calvin_ has joined #ocaml
07:07
Hipo has joined #ocaml
07:10
humasect has quit [Read error: 104 (Connection reset by peer)]
07:40
Svrog has joined #ocaml
07:44
<
Svrog >
anyone alive in here?
07:47
<
Svrog >
would anyone be able to tell me what's the difference between "type +'a t" and "type 'a t"?
08:03
Shammah has joined #ocaml
08:04
Herrchen has joined #ocaml
08:10
<
Svrog >
hello Shammah and Herrchen
08:11
<
Herrchen >
hi Svrog
08:11
<
Svrog >
how goes it?
08:13
<
Svrog >
you wouldn't by any chance know what is the difference between "type +'a t" and "type 'a t"?
08:15
<
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
08:16
<
Svrog >
and for some reason several signatures in the ocaml stdlib seem to use the version with the '+' char
08:18
<
Herrchen >
the third paragraph after the BNF of type expressions
08:18
<
Herrchen >
the last sentence explains what this means
08:23
<
Svrog >
interesting... i've missed that for some reason
08:27
Submarine has joined #ocaml
08:42
<
Svrog >
hmm.. so then when/where exactly would one use -'a t?
08:46
<
Submarine >
do you understand what +'a means?
08:47
<
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"
08:48
<
Submarine >
from this, you easily come to -'a if you're on the left side of an arrow
08:49
smimou has joined #ocaml
08:51
<
Svrog >
yeah just figured it out..
08:51
<
Svrog >
but thanks anyway
09:00
<
Herrchen >
Svrog: sorry can't say anything more, didn't know there is something like +'a or -'a ...
09:00
<
Herrchen >
just searched for it in the manual
09:04
<
Svrog >
that's cool
09:06
<
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
09:08
<
Svrog >
i only came accross this few days ago when i had a look at the type signatures in the Map module
09:11
<
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
09:19
<
Svrog >
oh well.. i dont think ill ever need this anyway - i never found oo features of ocaml useful
09:20
<
Herrchen >
I have to go - happy new year to you all - bye
09:20
<
Svrog >
cya Herrchen and happy new year to you too
09:21
Herrchen has quit ["happy new year"]
09:39
Banana has joined #ocaml
10:00
mbh has quit [Read error: 60 (Operation timed out)]
10:38
<
Svrog >
i'm off too.. bye
13:02
gim has joined #ocaml
13:22
vezenchio has joined #ocaml
14:16
_JusSx_ has joined #ocaml
14:33
budjet has joined #ocaml
14:34
neale has quit [Read error: 110 (Connection timed out)]
15:11
Submarine has quit [Read error: 104 (Connection reset by peer)]
15:11
budjet has quit [Remote closed the connection]
15:28
Submarine has joined #ocaml
15:51
smimou has quit [Remote closed the connection]
15:52
smimou has joined #ocaml
15:56
tintin has joined #ocaml
16:02
drewr has joined #ocaml
16:12
budjet has joined #ocaml
16:22
mrsolo has quit [Read error: 113 (No route to host)]
16:33
budjet has quit [Remote closed the connection]
16:41
Riastradh has quit [Read error: 104 (Connection reset by peer)]
16:44
Riastradh has joined #ocaml
16:48
mbh has joined #ocaml
16:52
lodewijk has quit [Read error: 110 (Connection timed out)]
17:12
mrvn_ has joined #ocaml
17:20
mrvn has quit [Read error: 60 (Operation timed out)]
17:35
budjet has joined #ocaml
17:55
budjet has quit [Remote closed the connection]
18:01
pango has quit [Nick collision from services.]
18:01
pango has joined #ocaml
18:24
_JusSx__ has joined #ocaml
18:33
Smerdyakov has joined #ocaml
18:33
Submarine has quit [Read error: 54 (Connection reset by peer)]
18:34
mrsolo has joined #ocaml
18:37
_JusSx_ has quit [Read error: 110 (Connection timed out)]
18:56
budjet has joined #ocaml
18:57
tintin has quit [Read error: 110 (Connection timed out)]
18:59
_fab has joined #ocaml
19:01
lodewijk has joined #ocaml
19:09
whee has joined #ocaml
19:09
budjet has quit [Remote closed the connection]
19:12
fab__ has quit [Read error: 110 (Connection timed out)]
19:13
budjet has joined #ocaml
19:16
KrispyKringle has joined #ocaml
19:29
smimram has joined #ocaml
19:31
drewr has quit ["New kernel!"]
19:33
smimram has quit [Client Quit]
19:37
_JusSx__ has quit ["leaving"]
19:41
budjet has quit [Remote closed the connection]
19:43
smimou has quit [Read error: 110 (Connection timed out)]
20:08
drewr has joined #ocaml
20:13
vincenz_ has joined #ocaml
20:24
vincenz has quit [Read error: 110 (Connection timed out)]
20:33
humasect has joined #ocaml
20:40
quamaretto has joined #ocaml
20:45
drewr has quit ["ERC Version 4.0 $Revision: 1.719 $ (IRC client for Emacs)"]
20:49
KrispyKr1ngle has joined #ocaml
20:50
senko has quit ["Leaving"]
20:54
senko has joined #ocaml
21:05
KrispyKringle has quit [Read error: 113 (No route to host)]
21:17
Banana has quit [Read error: 104 (Connection reset by peer)]
21:19
KrispyKr1ngle has quit [Client Quit]
21:50
Smerdyakov has quit ["eat"]
21:56
drewr has joined #ocaml
22:02
budjet has joined #ocaml
22:09
drewr has quit ["foo"]
22:40
budjet has quit [Remote closed the connection]
23:05
Submarine has joined #ocaml
23:15
Smerdyakov has joined #ocaml