[tlaplus] Re: Sets with mixed type elements

["'Alex Shirley' via tlaplus" <tlaplus@xxxxxxxxxxxxxxxx>]

Does that mean that it wouldn't be possible switch based on type?

For example:

doTheThing(x) ==

    IF x \in Nat

    THEN \* Do something

    ELSE IF x = "none"

    THEN \* Do something else

    ELSE \* Something else as well

On Saturday, February 8, 2020 at 5:03:45 AM UTC+1 Shiyao MA wrote:

Elements of different types cannot be compared (or to say, unspecified).

Therefore, you cannot compare integer 1 with string "a".

Since a set requires unique elements, hence each element should be comparable against with each other.

There is one exception that, an element of "type" model value can be compared against other elements regardless of their type. The value is always false.

EGYM GmbH, Einsteinstraße 172, 81677 München
Geschäftsführer: Patrick Meininger, Philipp Roesch-Schlanderer, Florian Sauter, Christoph Bischoff
Gerichtsstand München | Amtsgericht München HRB 186394 | USt.-Id. DE275313632

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/113da86d-8323-4614-8f80-ab34f4262cf3n%40googlegroups.com.