ayrnieu changed the topic of #ocaml to: OCaml 3.08.4 available! Archive of Caml Weekly News: http://sardes.inrialpes.fr/~aschmitt/cwn/ | 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/
smimou has quit ["?"]
batdog|gone has quit [Read error: 110 (Connection timed out)]
_shirogane has quit [Remote closed the connection]
revision17_ has quit [Read error: 104 (Connection reset by peer)]
UziMonkey has quit [Remote closed the connection]
<KrispyKringle> Is there a builtin OCaml equivalent to Haskell's Maybe type?
<KrispyKringle> Or should I just write my own?
<mauke> 'a option
<KrispyKringle> thanks
<KrispyKringle> And how does the constructor work there?
<KrispyKringle> Or whatever?
<mauke> type 'a option = None | Some 'a
<KrispyKringle> As in, do I have to return something like "Just a" versus
<KrispyKringle> "ah
<KrispyKringle> gotcha. thanks. :)
ski has quit ["night"]
<KrispyKringle> Can I not do something like "type action = Push of a' | Pop"? How would I create such a type with an abstract type?
<mauke> type 'a action = ... IIRC
<KrispyKringle> ah
<KrispyKringle> whoops. thanks :)
<KrispyKringle> hrm.
<KrispyKringle> naw. doesn't like that.
<KrispyKringle> let's see what google knows :)
<mauke> hrml
<mauke> # type 'a action = Push of 'a | Pop;;
<mauke> type 'a action = Push of 'a | Pop
<KrispyKringle> hrm. Yeah, It liked that. :)
<KrispyKringle> well, the top level liked that.
<KrispyKringle> seems to work now. mabe i had an invisible null char or something.
<KrispyKringle> Thanks, in any case.
<mauke> hmm, did you really have "Push of a'" instead of "Push of 'a"?
<KrispyKringle> Yes. :P
<KrispyKringle> Looks like.
<KrispyKringle> I didn't even notice till I undid my change and pasted the two side-by-side.
<KrispyKringle> Jesus.
cmeme has quit [Connection timed out]
mauke has quit [Remote closed the connection]
mikeX has joined #ocaml
batdog|gone has joined #ocaml
mauke has joined #ocaml
mikeX has quit ["Leaving"]
pango__ has joined #ocaml
pango_ has quit [Read error: 145 (Connection timed out)]
threeve has quit []
Skal has joined #ocaml
Revision17 has joined #ocaml
_fab has joined #ocaml
vodka-goo has joined #ocaml
vezenchio has joined #ocaml
smimou has joined #ocaml
smimou has quit ["?"]
vodka-goo has quit []
UziMonkey has joined #ocaml
UziMonkey has quit [Remote closed the connection]
mlh_ has quit [Client Quit]
Snark has joined #ocaml
Submarine has joined #ocaml
yozora has joined #ocaml
yozora has quit [Client Quit]
yozora has joined #ocaml
revision17_ has joined #ocaml
Revision17 has quit [Read error: 110 (Connection timed out)]
Schmurtz has joined #ocaml
Submarine has quit ["in Soviet Russia, Céline Dion owns you"]
TaXules has quit [Read error: 104 (Connection reset by peer)]
pango__ is now known as pango
Submarine has joined #ocaml
Submarine has quit ["in Soviet Russia, Céline Dion owns you"]
yozora has quit []
HPSB has joined #ocaml
HPSB is now known as TaXules
Submarine has joined #ocaml
Snark has quit [Read error: 110 (Connection timed out)]
smimram has joined #ocaml
menace has joined #ocaml
threeve has joined #ocaml
ulfdoz_ has joined #ocaml
ulfdoz has quit [Read error: 54 (Connection reset by peer)]
shirogane has joined #ocaml
Skal has quit [Read error: 54 (Connection reset by peer)]
Skal has joined #ocaml
__DL__ has joined #ocaml
mauke has quit [Remote closed the connection]
mauke has joined #ocaml
Schmurtz has quit [Read error: 113 (No route to host)]
ChipsterOne has joined #ocaml
shirogane has quit [Remote closed the connection]
cmeme has joined #ocaml
teiax has joined #ocaml
smimram has quit ["Leaving"]
mattam has quit [Connection timed out]
Banana has quit [Read error: 110 (Connection timed out)]
teiax has left #ocaml []
smimou has joined #ocaml
mattam has joined #ocaml
Banana has joined #ocaml
batdog|gone has quit [Read error: 110 (Connection timed out)]
ChipsterOne is now known as Chipster1
batdog|gone has joined #ocaml
vodka-goo has joined #ocaml
cmeme has quit [Connection timed out]
cmeme has joined #ocaml
<Chipster1> bon appétit tout le monde
gim has quit ["bbiaw"]
Snark has joined #ocaml
menace has quit []
mrsolo has joined #ocaml
mikeX has joined #ocaml
Skal has quit ["Client exiting"]
Skal has joined #ocaml
mikeX has quit ["Leaving"]
Submarine has quit ["in Soviet Russia, Céline Dion owns you"]
Schmurtz has joined #ocaml
Snark has quit ["Leaving"]
gim has joined #ocaml
Snark has joined #ocaml
Chipster1 has quit [Read error: 110 (Connection timed out)]
Chipster1 has joined #ocaml
cmeme has quit [Read error: 110 (Connection timed out)]
Submarine has joined #ocaml
Submarine_ has joined #ocaml
Submarine_ has left #ocaml []
<Chipster1> salut tout le monde
Chipster1 has quit []
__DL__ has quit [Remote closed the connection]
<Schmurtz> hello man
Snark has quit ["Leaving"]
cmeme has joined #ocaml
Submarine has quit ["Leaving"]
vodka-goo has quit []
mattam_ has joined #ocaml
Banana has quit [Read error: 104 (Connection reset by peer)]
mattam has quit [Read error: 104 (Connection reset by peer)]
Banana has joined #ocaml
vezenchio has quit ["Free Tibet with each Asian nation of a lesser or equal value"]
shirogane has joined #ocaml
threeve has quit []
smimou has quit ["?"]
threeve has joined #ocaml
descender has quit ["XML is like violence, if it doesn't solve the problem, just use more."]
_fab has quit [Read error: 104 (Connection reset by peer)]
descender has joined #ocaml
_fab has joined #ocaml
gim_ has joined #ocaml
mikeX has joined #ocaml
mikeX has quit [Remote closed the connection]
threeve has quit []
gim has quit [Read error: 110 (Connection timed out)]
mlh_ has joined #ocaml
Skal has quit [Read error: 60 (Operation timed out)]
Skal has joined #ocaml
threeve has joined #ocaml
descender has quit [Remote closed the connection]
descender has joined #ocaml
descender has quit [Remote closed the connection]
threeve has quit [Client Quit]
descender has joined #ocaml