<bk_>
does a union on two sets do what i think it does
<Smerdyakov>
Answering that would require stepping inside your head.
<bk_>
set1 union set2 = netset (unified set1+set2)
<bk_>
erm newset
<bk_>
also your suggestion to eliminate the imperative features i used was right, i should do that
<Smerdyakov>
The OCaml Set union has the same semantics as the usual mathematical set union operation.
beezee has joined #ocaml
<bk_>
well :] if i was aware of what the usual mathmatical union operation exactly does, i probably wouldn't have asked, would i
<Smerdyakov>
OK. Sorry, most people who use OCaml are aware of that.
<bk_>
but since there's intersection, difference, compare etc. union probably does just that: create the union of two sets
<Smerdyakov>
The union of sets A and B is defined to be the set consisting only of elements found in either A or B (or both).
<Smerdyakov>
I'm confused.
<bk_>
yes, thanks
<bk_>
nm i'm confused, too
<Smerdyakov>
You just used "create the union of two sets" like you know what that means, but you say you didn't know the usual mathematical definition of set union?
brwill|work is now known as brwill
<bk_>
i suck at math
<bk_>
and i'm not very familiar w/ math terminology
<Smerdyakov>
Nonetheless, it seems you just used a word whose meaning you say you don't know, which is confusing to me.
<bk_>
i used it because i thought i know what it would do, i just wanted to make sure
<Smerdyakov>
Okeydokey.
<teratorn>
artichokey
beezee has quit ["BitchX: now with Olestra!"]
lewk has joined #ocaml
cm has quit ["changing servers"]
cm has joined #ocaml
polin8 has quit [Read error: 110 (Connection timed out)]
<bk_>
hm
<bk_>
the option type is pretty smart ie. None | Some of 'a
srv has joined #ocaml
rublik has joined #ocaml
CybeRDukE has joined #ocaml
rublik has quit [Read error: 113 (No route to host)]
<mattam>
bk_: useful for partial functions
<bk_>
yes
det has joined #ocaml
CybeRDukE has quit ["Life is like an Adventure... BUT COOL GRAPHICS"]
polin8 has joined #ocaml
srv has quit [Remote closed the connection]
lam_ has joined #ocaml
lam has quit [Read error: 110 (Connection timed out)]
lam_ is now known as lam
Smerdyakov has quit [Read error: 104 (Connection reset by peer)]
foxster has quit [Client Quit]
foxster has joined #ocaml
d-bug has joined #ocaml
CybeRDukE has joined #ocaml
foxster has quit [Client Quit]
srv has joined #ocaml
systems has joined #ocaml
CybeRDukE has quit ["Universe.SYS corrupted. Reboot? [Y/N]"]
bk_ has quit ["I'll be back"]
systems has quit ["Client Exiting"]
Vincenz has joined #ocaml
<Vincenz>
Hello
<d-bug>
hi Vincenz
<Vincenz>
:)
<d-bug>
brb
d-bug has quit []
CybeRDukE has joined #ocaml
Xcalibor has joined #ocaml
<Xcalibor>
hiyas
d-bug has joined #ocaml
<Xcalibor>
hi, d-bug
<d-bug>
hi
d-bug has quit [Read error: 104 (Connection reset by peer)]
docelic has joined #ocaml
d-bug has joined #ocaml
<Xcalibor>
re's
mattam_ has joined #ocaml
mattam has quit [Read error: 110 (Connection timed out)]
CybeRDukE has quit ["God is real... unless declared an integer."]
<Xcalibor>
joer
<Xcalibor>
oops
<Xcalibor>
sorry
<d-bug>
don't you ever do that again :)
Smerdyakov has joined #ocaml
Smerdy has joined #ocaml
d-bug has quit []
Smerdyakov has quit [Read error: 110 (Connection timed out)]
systems has joined #ocaml
Smerdy has quit [Read error: 110 (Connection timed out)]