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?
<
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>
whoops. thanks :)
<
KrispyKringle>
hrm.
<
KrispyKringle>
naw. doesn't like that.
<
KrispyKringle>
let's see what google knows :)
<
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"]
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
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